TD AFDX – trajectoire

Le sujet de TD se trouve ici. La correction ici.

TD AADL Pacemaker

Le TD AADL s’appuie sur une spécification d’un pacemaker. La spécification en question se trouve ici. Le sujet de TD proprement dit se trouve ici.