SE206
Les compte-redus de TP sont à déposer sur le moodle du cours. Les instructions sont précisées sur ce moodle. Une clé d’enregistrement est fournie aux élèves en début d’UE. Si, après la première séance de TP, vous n’avez pas la clé d’enregistrement, contactez le responsable de l’UE.
TP 1 – TP Preuve d’équivalence de circuits logiques
TP 2 – TP UPPAAL: introduction au model checking
TP 3 – TP AADL: analyses temporelles
TP 4 – TP EMF Génération de code: présentation, instructions et archive à compléter
SE746
TP 1 – TP AADL: analyses temporelles
TP 2 – TP AADL: approche trajectoire
SE767
TP UPPAAL: introduction au model checking
Eléments à rendre : une archive (zip, ou tar.gz) contenant
- le modèle UPPAAL (fichier .xml) et les queries utilisés pour répondre aux questions II.6, II.7, et II.8
- un compte rendu synthétique qui explique la signification des résultats obtenus (validité des hypothèses, résultats, etc.)
- le modèle UPPAAL (fichier .xml) et les queries utilisés pour répondre aux questions de la partie III
- un compte rendu synthétique qui explique la signification des résultats obtenus (validité des hypothèses, résultat, etc.)