<

publicité

br> L'institut CEA LIST et Esterel Technologies annoncent la création de leur laboratoire commun, LISTEREL Critical Software Lab, dédié au développement des technologies de conception de systèmes critiques avancés.

Au sein de la Direction de la recherche technologique, l’institut CEA LIST mène des recherches sur les systèmes numériques. Esterel Technologies est le principal fournisseur mondial d’outils de conception, de validation et de génération de code pour les applications critiques embarquées à partir de leur description formelle sous forme de modèle. Esterel Technologies est une société privée basée à Elancourt, France et à Boston, Massachusetts, USA, avec des agences commerciales en Allemagne, au Royaume-Uni, en Russie et en Chine.

La création de LISTEREL Critical Software Laboratory a été favorisée par une première collaboration dans le cadre des projets Usine Logicielle du pôle de compétitivité System@TIC Paris-Région et le projet européen FP7 INTERESTED coordonné par Esterel Technologies.
L’équipe commune Esterel Technologies-CEA LIST s’intéresse déjà à certains inhibiteurs essentiels du développement des systèmes critiques, dont la conception système, la précision numérique des algorithmes, ainsi que les solutions de validation et de sûreté avancées.

Initialement conçues et développées en commun par les équipes du CEA LIST et d’Esterel Technologies, ces solutions seront commercialisées grâce aux ressources de marketing et de vente d’Esterel Technologies.