Section: Contracts and Grants with Industry
In 2005, the Vasy team contributed to the preparation of two future projects:
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. Officially approved in 2005, OpenEmbeDD will start in January 2006 for three years.
Multival ( Validation of Multiprocessor Multithreaded Architectures ) is a project proposed in the framework of Minalogic , the French pôle de compétitivité dedicated to micro-nano technologies and embedded software for systems on chip. Multival addresses verification and performance evaluation issues for three innovative asynchronous architectures developed by Bull , Cea/Leti , and ST Microelectronics . In December 2005, Multival was officially approved by Minalogic as part of its Emsoc / Atelier du Futur program.