Université Bordeaux 1 - Master S&T Informatique - Parcours Ingénierie des Systèmes Critiques


Formalismes de Description de Systèmes

Description

Les systèmes doivent (afin de pouvoir être étudiés) être décrits dans un formalisme capable de représenter leurs différents comportements. L'utilisation d'outils tels que : DesignCPN, Hy-Tech, Kronos, Spin, Uppaal, ... permettra d'illustrer le cours par l'étude de nombreux exemples académiques.

Enseignants

Contrôle des connaissances

Examen écrit de 3h
Contrôle continu

Veuillez reporter toute erreur ou omission à Alain Griffault.

Dernière mise à jour effectuée le 2 octobre 2006.