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.

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.

Site de soumission du cours INF280. Pour plus d'information, cf la page du cours.