Contrats industriels
Document Actions
Espresso participe aux contrats industriels suivants
- P (FUI) The goal of Project P is to support the model-driven engineering of high-integrity embedded real-time systems by providing an open code generation framework.
- VERISYNC (ANR) Le but de ce projet est de formellement prouver la justesse de transformations essentielles qu'un modèle subit pendant sa compilation au code exécutable.
- OPEES (ITEA) : Consortium pour la définition, l'élaboration et le déploiement d'une plate-forme ouverte pour l'ingénierie de systèmes embarqués.
- CESAR ( ARTEMISA) stands for "Cost-efficient methods and processes for safety relevant embedded systems"
- Artist2 : Réseau d'excellence pour la conception des systèmes embarqués.
Fondation EADS
Projets antérieurs
- Spacify (RNTL) : Ingénierie des modèles et méthodes formelles intégrées pour le développement des logiciels des vols spatiaux.
- Topcased (ANR) : (an MDE) Toolkit In OPen source for Critical Applications & SystEms Development.
- FotoVP (ANR) : Outils formels pour le prototypage virtuel des systèmes embarqués.
- OpenEmbeDD (RNTL) : plate-forme open-source d'ingénierie dirigée par les modèles pour le temps réel et l'embarqué
- CAROLL
- EXPRESSO (RNTL) : Real Time Java for embedded systems.
- SafeAir (IST) : Advanced Design Tools for Aircraft Systems and Airborne Software.