Modélisation Sécuritaire : Initiation aux Méthodes Formelles

ECTS : 2

Lecturer in charge : Florian JAMAIN

Language of instruction : French

Teaching hours : 21

Course content:

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.