Ingénierie des systèmes critiques

Combined lecture and tutorial classes : 20.00 h
Individual work : 10.00 h

third year module

Ce cours justifie l'utilisation de méthodes formelles dans les développement de systèmes critiques ou pas par une présentation de cas réels ; il brosse un panorama des techniques existantes et des outils disponibles et fait une présentation critique d'utilisations industrielles effectives.

• méthodes formelles et leur nécessité
• formalismes
• analyse d'incidents technologiques liés aux systèmes informatisés
• exemples réels d'utilisation
• ingénierie des méthodes formelles
• vérification exhaustive de modèles.