(CercleFinance.com) - Thales et le CEA annoncent la signature d'un accord de partenariat pour créer leur nouveau laboratoire commun dédié aux méthodes formelles pour le logiciel. Il regroupera des équipes de CEA Tech et de Thales qui mutualiseront leur savoir-faire et leur expertise pour mettre en place de nouvelles méthodes formelles de validation des logiciels et des systèmes critiques.

Dans le domaine industriel, la validation des logiciels et des systèmes critiques représente une part significative du coût de développement, notamment lorsqu'elle fait appel à des démarches manuelles d'analyse, de test ou d'audit.

Or, les outils mathématiques des méthodes dites 'formelles' rendent possibles l'automatisation partielle du processus, et peuvent modifier l'approche de validation, par exemple en remplaçant des campagnes de tests exhaustives par des méthodes analytiques.

L'Institut CEA-List de CEA Tech développe depuis de nombreuses années ces techniques et ces outils au bénéfice des industriels dans les domaines critiques de l'énergie, de l'aéronautique, du naval, du ferroviaire, mais aussi dans le domaine de la robotique médicale, ou celui de la sécurité logicielle. Elles apportent une sécurité de fonctionnement renforcée et permettent de raccourcir les délais de développement du logiciel.

Copyright (c) 2015 CercleFinance.com. Tous droits réservés.