Ects : 2

Enseignant responsable :

• FLORIAN JAMAIN

Volume horaire : 21

Description du contenu de l'enseignement :

Introduction au développement sécuritaire et aux méthodes formelles. L'objectif du cours est de présenter les enjeux d'un développement qui peut avoir des conséquences très graves en cas de défaut et d'apporter des solutions aussi bien niveau software via les méthodes formelles que hardware en utilisant un calculateur sécuritaire.

• Introduction générale : Le monde du sécuritaire.
• Introduction aux Méthodes Formelles.
• Initiation à la Méthode B et à l'Atelier B : Spécification et
• Implémentation.
• La Clearsy Safety Platform et ses contraintes.
• Programmation en B CSP.