Question 1 : voir fichier q1.aadl Question 2 : utiliser AADLInspector pour produire cet ordonnancement à partir du fichier q2_partitionne.aadl Question 3 : AADLInspector ne supporte pas actuellement un ordonnancement global mais il est possible de faire cette analyse avec Cheddar. Le fichier q3.xmlv3 est le fichier Cheddar XML modélisant la version "ordonnancement global" pour cet exercice. Enfin, le fichier q3.jpeg est la réponse, cad l'ordonnancement global calculé par cheddar a partir du fichier q3.xmlv3