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.
- les systèmes de transition et le produit de synchronisation,
- les réseaux de Petri,
- les automates temporisés,
- les automates à contraintes,
- les systèmes hybrides.
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.