Course Syllabus 2013/2014
 
PDF Extract Anglais
Français
index
Module : IS301
Title :
Ingénierie des systèmes critiques
Number of hours :
Combined lecture and tutorial classes : 20.00 h
Individual work : 10.00 h
Level :
third year module
Abstract :
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.
Plan :
    • 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.