verification-oriented & component-based model driven · 2014-02-26 itea 3 launch event germany...

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 [email protected]

Grant No: 01IS09012

Funded by:

mailto:[email protected]

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%

of development efforts Comprehensive engineering needed

Scope: Software-intensive Systems


• 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


• 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

Bas

ic S

oftw

are

(OS)

ECU Abstraktion Services Communication

Standardized Interface

µC Abstraction

Automotive ECU Hardware

Com

plex

D

evic

e dr

iver

s

SWC SWC SWC AUTOSAR Interfaces

Standardized Interfaces

Standardized Interfaces

Stan

dard

ized

In

terf

ace

AUTOSAR Interfaces


• 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”


VERDE Overview: Countries

France

Germany

Norway


VERDE Overview: Multi Domain Application

Automotive Railway

Techno providers and Research Labs

Space Radio Com Energy


• 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

ApplicationComponent

Execution Platform

Eclipse UML Modelling Tool

Non-

Func

tiona

l Pro

perty

An

alys

is To

ols

Timing

Powerconsumption

Reliability

Test scenariomodeling

Test case derivationIn

tegr

ated

Test

ing

Tool

sIterative, Incremental,Validation-Driven Methodology

Enhanced Component Models

MARTEmodels

SoftwareAnalysis

SoftwareDesign

Component design(structure, behaviour)

Component assembly and deployment

Analysis and testscenarios

Execution measurements

IVV

Testingstrategies

Container and test

Generators+

AdministrationTools

Test

cas

es

Generation for execution

and trace


• 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


• 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 SoftwareRadio

1.3.1 TAS Space 1.3.1 AST Space 1.4.1 ALS Railway 1.5.1 BOSAutomotive

1.7.1 WEG Energy


Automotive Showcase

Aspect: Simulation Models for Hardware

Faster and better with Virtual Hardware

Benefit

Requirements Software Hardware Product

Requirements

Software Virtual Hardware Product Hardware

Virtual

HW

CY xxx

Virtual

HW

CY xxx

= e.g. early integration testing

Classic System Development


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 on timing


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


• 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


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


• 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

verification-oriented & component-based model driven · 2014-02-26 itea 3 launch event germany...

Documents