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.
Thales figure parmi les leaders européens de la fabrication et de la commercialisation d'équipements et de systèmes électroniques destinés aux secteurs de l'aérospatial, du transport, de la défense et de la sécurité. Le CA par famille de produits se répartit comme suit :
- systèmes de défense et de sécurité (53,4%) : systèmes d'information et de communication sécurisés (systèmes de commandement et de contrôle, systèmes de communication, de protection, de cybersécurité, etc.), systèmes de mission de défense (systèmes de guerre électronique et drones), systèmes terrestres et aériens (systèmes de défense aérienne, de contrôle aérien, systèmes et missiles de défense terrestre, et systèmes optroniques) ;
- systèmes aérospatiaux (28,4%) : équipements d'avionique (équipements de cockpit, de multimédia de cabine, de simulation) et systèmes spatiaux (satellites, charges utiles, etc.) ;
- solutions d'identification et de sécurité numériques (18,2%).
En outre, le groupe détient une participation de 35% dans Naval Group (fabrication d'équipements navals à destination des secteurs de la défense et de l'énergie nucléaire).
La répartition géographique du CA est la suivante : France (29,5%), Royaume Uni (6,6%), Europe (24,8%), Etats-Unis et Canada (14%), Asie (9,4%), Proche et Moyen Orient (6%), Australie et Nouvelle-Zélande (4,4%) et autres (5,3%).