La validation des logiciels : un enjeu critique majeur

Les logiciels embarqués dans les systèmes complexes modernes ont la capacité de transformer les objets du monde physique en objets numériques, intelligents, autonomes et communicants. L’émergence des technologies dites de « l’objet connecté » amplifie cette révolution. Le déploiement généralisé des systèmes à logiciel prépondérant impacte l’ensemble des activités industrielles et des services pour lesquels la maîtrise de la disponibilité et de la sécurité de ces derniers constitue un élément-clé.