Cours pour COMASIC
Cette UE se focalise sur les premières étapes du cycle de vie d'un projet. Il s'agit d'appréhender les besoins et de les transformer en exigences à respecter dès la conception du système.
Cet
enseignement présente les concepts et la formalisation d'exigences selon une méthode orientée buts.
- Teacher: Sylvie Vignes

Ce cours présente les concepts principaux de la sûreté de fonctionnement
abordé sous un angle fortement mathématisé (systèmes de transition
probabilisés, logique pour le traitement du risque). Mise en pratique via des études de cas pratiques.
- Teacher: Thomas Robert