VERDEVERification-oriented & component-based model Driven
Engineering for real-time embedded systems• • • • • • • • • • • • •
• • • • • • • • • • • • • • • • • • •
UNIQUE SELLING POINTS / BUSINESS VALUE n Validated by
multi-domain use cases
(space, railway, radio-communications, automotive) based on
standards like MARTE, LwCCM, SCA, AUTOSAR, SystemC
n Close collaboration between industrials and technology
providers
OBJECTIVES n Iterative and incremental approaches for RTE
systems based on MARTE
- Based on testing strategies and validation techniques -
Applied on component oriented execution environments
n Foster industrialization - Focus on methodological aspects
adapted for several domains
(EXPECTED) RESULTS n A validation-driven methodological
process (set of rules) supported by engineering tools via the
MARTE standard
n Adaptation of existing component execution platforms to
support this approach
n Consolidation of existing non-functional analysis techniques
(timing, power consumption) and connection with models and
execution platforms
n Model-based testing (test generation, environment simulation)
to enable early validation on the development platform
PROJECT SUMMARY
The purpose of the VERDE project is to develop a solution for
iterative, incremental,
development and validation of real-time embedded systems and to
foster the industrialisation of
this solution. While preserving the typical V-cycle, it promotes
a more iterative and incremental
approach, based on models and driven by early validation and
verification activities.
Component
Container
ApplicationComponent
Execution Platform
Eclipse UML Modelling Tool
No
n-F
unc
tion
al P
rop
erty
A
nal
ysis
To
ols
Timing
Powerconsumption
Reliability
Test scenariomodeling
Test case derivationIn
teg
rate
d T
estin
g T
ool
s
Iterative, Incremental,Validation-Driven Methodology
Enhanced Component Models
MARTEmodels
SoftwareAnalysis
SoftwareDesign
Component design(structure, behaviour)
Component assembly and deployment
Analysis and testscenarios
Executionmeasurements
IVV
Testingstrategies
Container and test
Generators+
AdministrationTools
Tes
t ca
ses
Generation for execution
and trace
CONTACTProject Leader: Olivier HachetTHALES ~ Palaiseau, France
~ Tel: +33 1 69 41 55 97, Fax: +33 1 69 75 31 79Email:
[email protected] ~ Website: www.itea-verde.org
Norway
Germany
PROJECT CONSORTIUM
WORK PACKAGES OVERVIEW
VERDEVERification-oriented & component-based model Driven
Engineering for real-time embedded systems• • • • • • • • • • • • •
• • • • • • • • • • • • • • • • • • •
WP7-
Mana
geme
nt
WP6
-Diss
emina
tion a
nd Ex
ploita
tion
WP3Execution Platform
WP4 Non-Functional Properties Analysis
WP5Model-based
Testing
WP2 – Methodological and Tool Integration Framework
WP1 - Industrial Cases
Railway Space Software Radio
Requirements
- Requirements to ensure overall consistency- Common,
transversal modelling technology - Languages, tools, methods and
process elements
Integrated solution for VerificationDriven Engineering
Automotive
France
PROJECT START June 2009 PROJECT END November 2012
CONTACTProject Leader: Olivier HachetTHALES ~ Palaiseau, France
~ Tel: +33 1 69 41 55 97, Fax: +33 1 69 75 31 79Email:
[email protected] ~ Website: www.itea-verde.org
VERDEVERification-oriented & component-based model Driven
Engineering for real-time embedded systems• • • • • • • • • • • • •
• • • • • • • • • • • • • • • • • • •
SELECTED BENEFITS n Faster development of simulation models
for
complex multi core microcontroller systems while increasing
quality
n Early availability of high quality and fast simulation models
for pre-silicon tool adaption and software implementation
n Development process based on precise models improves
cooperation between partners, suppliers and customers compared to
paper based information
n Well founded design decisions in early development phases
based on execution of various model variants
n Simplified maintenance and consistent documentation due to
continuous tracing of requirements through the whole flow
AUTOMOTIVE SHOW CASEA simplified model of an electric vehicle is
used as common base to demonstrate partner contributions. It
applies the VERDE methodology to various challenges engineers are
facing. The Electronic Control Unit (ECU) running the embedded
control software is connected via FlexRay to its environment. It
interacts with a real CAN steering device and a physic simulation
representing the rest of the environment.
CONTACTProject Leader: Olivier HachetTHALES ~ Palaiseau, France
~ Tel: +33 1 69 41 55 97, Fax: +33 1 69 75 31 79Email:
[email protected] ~ Website: www.itea-verde.org