|
. la plate-forme Polychrony, un environnement de programmation pour la conception des composants logiciels répondant au plus haut niveau de fiabilité pour l'ingénierie des systèmes embarqués. Polychrony est diffusé en tant que logiciel libre. Il est intégré dans plusieurs plates-formes: OpenEmbeDD (http://openembedd.inria.fr), Topcased de Airbus Industrie (http://www.topcased.org), SpaCIFY la plate-forme pour le développement des logiciels spatiaux (http://spacify.gforge.enseeiht.fr), et en cours d'intégration dans la plate-forme développement de système de sécurité-critique, Polarsys (http://polarsys.org).
|