The main goal is to improve the system-and-software development process for critical embedded real-time systems, in the Aerospace and Transportation domains by :
- Identifying and developing proven critical system families architecture, using a proof based development process supported by formal notations, component models, and innovative processes and tools.
- Developing associated building blocks that can be composed, tailored and verified in open frameworks that shall be reused and shared by European teams across multi domain projects.
Formal verification and simulation of AADL models (via a translation into Lustre/Scade).
— Nicolas Halbwachs (Cluster manager)
— Pascal Raymond
— Xavier Nicollin
— Erwan Jahier
— Louis Mandel
— Susanne Graf
— Iulian Ober
"Simulation and verification of asynchronous systems by means of a synchronous model."
Nicolas Halbwachs, Louis Mandel
"Virtual execution of AADL models via a translation into synchronous programs."
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens
"Synchronous Modeling and Validation of Priority Inheritance Schedulers."
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
- Esterel Technologies
- ASTRIUM (EADS) SAS
- CS/Systèmes d’Information
- Univeristy of Padua
— ALENIA SPAZIO SpA
— Axlog Ingenierie
— DASSAULT Aviation
— DIT/UPM university of Madrid
— Dutch Space BV
— EADS Corporate Research Center
— EADS-Space Transportation
— MBDA France
— European Software Institute
— ETH -Swiss Federal Institute of Technology
— INTECS HRT
— Prover Technology
— Terma A/S
— Vienna University of Technology.