VER ification-oriented & component-based model D riven E - - PowerPoint PPT Presentation

VERification-oriented & component-based model Driven Engineering for real-time embedded systems

2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world

VERDE: Cost Reduced and Accelerated Embedded Systems Development

Alexander Viehl, FZI Forschungszentrum Informatik viehl@fzi.de

Grant No: 01IS09012

Funded by:

2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world 2

• European leadership, high employment and added value
• Strongly increasing complexity – system and design
• Innovation mainly driven by software

– E.g. 80% of new functions in recent automotive products – Verification, validation and test have a share of up to 70%

• f development efforts

 Comprehensive engineering needed

Scope: Software-intensive Systems

2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world 3

• Approaches and methodologies (excerpt)

– Model-driven, model-based, model-centric design and engineering – Component-based design – Platform-based design – Virtual prototyping – Early V&V through model-based testing and test-driven development – Formal techniques

• Challenges

– Hardware-dependencies, legacy components, limited resources – Real-time, power, safety and reliability – Solutions tailored for specific application domains and end-users – Different approaches and methodologies often not interconnected – Methodologies often not yet industrialized – Domain-specific tools

– …

Embedded Software Engineering

2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world 4

• Component-based design

– Structured design, composition, deployment and parameterization of (embedded) software at platform-independent level – Comprehensive consideration of underlying hardware platform is still missing

• Example AUTOSAR:

– Developed for automotive software systems engineering, supported by domain-specific tools – Very well specified methodology, heavy-weight to use and introduce – Not (directly) applicable to other industrial application domains

Component-based design

SWC SWC SWC

Virtual Functional Bus

RTE Run-time Environment Basic Software (OS)

ECU Abstraktion Services Communication Standardized Interface µC Abstraction

Automotive ECU Hardware Complex Device drivers SWC SWC SWC

AUTOSAR Interfaces Standardized Interfaces Standardized Interfaces

Standardized Interface

AUTOSAR Interfaces

2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world 5

• Develop a solution for the iterative and incremental

development and validation of RTE systems

– Integrate MDE, Component-based infrastructures and Verification & Validation techniques – Enable rapid prototyping through projection and execution on component-based platforms – Enable model-based testing and test-driven development – Enable early validation of non-functional properties (performance, resource usage…)

• Foster the industrialization of this solution

– Through cross-domain business cases (software radio, space, automotive…) – With a strong focus on methodological aspects (how to) – dealing with component- based approach – Close cross-country collaboration between mature technology providers and industrials

VERDE: Project objectives

“A sound integration of standards to improve quality & productivity”

2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world 6

VERDE Overview: Countries

France Germany Norway

2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world 7

VERDE Overview: Multi Domain Application

Automotive Railway Techno providers and Research Labs Space Radio Com Energy

2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world 8

• Early validation of non-functional properties (performance, resource usage…)
• Test generation for functional and non functional validation
• Integration of model-based techniques for

iterative / incremental process

VERDE: Tool Infrastructure principle

Component Container Application Component

Execution Platform Eclipse UML Modelling Tool Non-Functional Property Analysis Tools Timing Power consumption Reliability Test scenario modeling Test case derivation Integrated Testing Tools

Iterative, Incremental, Validation-Driven Methodology

Enhanced Component Models MARTE models

Software Analysis Software Design

Component design (structure, behaviour) Component assembly and deployment Analysis and test scenarios

Execution measurements

IVV

Testing strategies

Container and test Generators + Administration Tools Test cases

Generation for execution and trace

2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world 9

• Industrial requirements, use-cases and evaluation criteria;

Showcases for all domains

– Evaluation of enhancements through VERDE

• Light-weight cross-domain component model

– Mappings to e.g. AUTOSAR, CCM, MyCCM, SCA defined

• Common methodology

– Cross domain – Process, methodological steps and patterns

• Eclipse-based tooling framework

– Integrates open-source and commercial tools – Tools developed during VERDE

• Standardization activities
• Exploitation
• Identification of future research needs

Project outcomes

2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world 10

• 237 end-user requirements at project start
• 75% of them have been fully covered

– Others partially covered or not relevant

• Evaluation based on quantified evaluation criteria

Coverage of user requirements

0 % 10 % 20 % 30 % 40 % 50 % 60 % 70 % 80 % 90 % 100 % 1.2.1 TCF Software Radio 1.3.1 TAS Space 1.3.1 AST Space 1.4.1 ALS Railway 1.5.1 BOS Automotive 1.7.1 WEG Energy

2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world 11

Automotive Showcase Aspect: Simulation Models for Hardware

Faster and better with Virtual Hardware

Benefit Requirements Software Hardware Product Requirements Software Virtual Hardware Product Hardware

= e.g. early integration testing

Classic System Development

2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world 12

Automotive Showcase Summary – VERDE highlights

Hand-coding of virtual hardware Generation of virtual hardware Decoupled development tools and multiple modeling languages Seamless design flow with VERDE Eclipse and a single VERDE modeling language Simulation models available after silicon Simulation models available before silicon Rough performance estimation for multi-core software More precise and very efficient estimation with model focused

• n timing

2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world 13

Automotive Showcase Review Summary – Quantified Exploitation Perspective

Up to 50% of virtual hardware code can be generated automatically VERDE Eclipse covers 100% of virtual hardware tool functions: Requirements, Modelling, Implementation, Verification, Visualisation Risk for redesign (at least 500k Euro and 3 months) due to incorrect concepts reduced Methodology for highly efficient multi-core software exploration (Hundreds of experiments within minutes) developed

2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world 14

• From project output to programme outcome

Exploitation: Process for research projects

Benefit realization

Post-Transition (ensure acceptance of improvements Transition (implement improvements) Pre-Transition (prepare improvements)

Ongoing development improved development 8 6 3 1 project 2 Output Enabler Outcome Wide adoption Identification of needed improvement Improvement made available Managing Successful Programmes (MSP™) from the UK Cabinet office project project project project 4 5 7

2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world 15

ITEA-Safe BMBF SPES XT

Market Feedback Evaluation

SME exploitation example of VERDE

• Eclipse based Requirements Tooling

Yakindu Requirements and Yakindu Crema as Commercial Products Increasing Need for Eclipse based requirements engineering

Goal: Expand portfolio, address new markets. ITEA-VERDE 2010 2009 2011 2012 2013 2014

Release of Eclipse RMF Yakindu Requirements Eclipse RMF

BMBF IMES ITEA Amalthea

Yakindu CRemA Release of CReMA

2015

CReMA support for variants Commercial use of RMF

Managing Successful Programmes (MSP™) from the UK Cabinet office

2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world 16

• Methodology and tooling framework for cost reduced

and accelerated development of Embedded Systems

• Cross-domain applicability along the design process
• Enabled by bringing together industries and

technology providers from across Europe

• High exploitation potential for all participating entities

– Establishing cross-domain collaboration – Creation of cross-border value chains – Widening the applicability of previously domain-specific tools

Conclusion

2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world 17