verde - itea3.org posters... · the purpose of the verde project is to develop a solution for...
TRANSCRIPT
-
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