NOTE! This site uses cookies and similar technologies.

If you not change browser settings, you agree to it. Learn more

I understand

Learn more about cookies at : http://www.aboutcookies.org/Default.aspx?page=1

Events Calendar

Séminaire CEA LIST 12.0 | Systèmes cyber-physiques critiques : approche par contrats
Tuesday, 14 April 2015, 12:00 -  1:00

banner web 04

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.

Contact This email address is being protected from spambots. You need JavaScript enabled to view it.
Location Nano-INNOV, amphithéâtre 33, bâtiment 862, Palaiseau

Back