Team VASY

Members
Overall Objectives
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Contracts and Grants with Industry

The OpenEmbeDD Project

Participants : Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe.

OpenEmbeDD is a French national project of Rntl (Réseau National des Technologies Logicielles ). The goal of OpenEmbeDD is to develop an open-source, generic, standard software engineering platform for real-time embedded systems, such as those developed by Airbus , Cs , France Telecom , and Thales . Within an Eclipse framework, this platform will combine the principles of model-driven engineering with those of formal methods.

OpenEmbeDD started in May 2006 for three years. In 2006, our contributions focused on the identification of a model-based architecture for Cadp and the definition of the Fiacre intermediate model for embedded systems (see §  6.2.3 ).


previous
next

Logo Inria