Résumé

Les systèmes embarqués, de plus en plus omniprésents, sont chargés d'assurer notre confort, notre santé ou notre sécurité. Opérant dans le monde physique réel, ils intègrent de nombreux composants matériels et logiciels. Cette hétérogénéité, couplée aux contraintes dynamiques et temps réel de ces systèmes, rend particulièrement complexe la garantie de leur sûreté de fonctionnement et leur certification.
L'approche fondée sur les contrats ouvre de nouvelles voies pour spécifier ces systèmes et démontrer la pertinence de l'intégration des composants, tout en garantissant leurs propriétés et leur fiabilité.

This email address is being protected from spambots. You need JavaScript enabled to view it.