VERification-oriented & component-based model Driven · 2014-02-26 ITEA 3 Launch Event Germany 2014...
Transcript of VERification-oriented & component-based model Driven · 2014-02-26 ITEA 3 Launch Event Germany 2014...
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:
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
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
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
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
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
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 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
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
Virtual
HW
CY xxx
Virtual
HW
CY xxx
= 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 on 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