EI Uppaal

Projet

Projet d'EI de la ST Systèmes critiques et logiciels prépondérants.

• On utilise le logiciel Uppaal
• On réalise plusieurs modèles implémentant le standard TCAS2
• On développe en parallèle un algorithme

Modèles

Actuellement, le projet compte 2 modèles :

• Modèle A (développé par Roman)
• Modèle B (développé par Malo)