You are here:  Navigation > Public space > Notre offre > News
 

Thales et le CEA main dans la main

Le groupe Thales et le CEA Tech, partenaires pour créer un laboratoire commun dédié aux technologies des méthodes formelles pour le développement logiciel. Cette entité commune mutualisera savoir-faire et expertise pour mettre en place ces nouvelles techniques de validation des logiciels et des systèmes critiques. ​

_________________________________________________________________________

Dans le domaine industriel, ces travaux de validation représentent une part significative du coût de développement.
Or, les outils mathématiques des méthodes dites “formelles” rendent possible l’automatisation partielle du processus grâce à des techniques de conception et d’analyse de logiciels ou de systèmes basées sur des théories mathématiques algébriques.
L’institut CEA-List du CEA Tech développe depuis longtemps ces techniques et outils au bénéfice des industriels dans les domaines de l’énergie, de l’aéronautique, du naval, du ferroviaire, mais aussi dans le domaine de la robotique médicale.
Jean Therme, directeur de CEA Tech apprécient grandement sa collaboration avec Marko Erman, directeur technique de Thales qui exprime ainsi leur satisfaction à tous deux : « (...) ce laboratoire commun (...) permettra (...) d'accélerer le déploiement des méthodes formelles dans le groupe, avec pour objectif la performance de l'ingénierie».

Source - Communiqué de presse CEA - 25/06/2015
____________
Thales en bref
Site
Twitter
CEA en bref
Site
Twitter 
____________ 

Information

Editor :

Rédactrice news locales Ecobiz

Published


Themes :