Question 1 : voir fichier q1.aadl Question 2 : Une solution possible est celle donnée par le fichier q2.aadl On affecte les tâches en regroupant celles qui ont des périodes harmoniques. En effet, un jeu de tâches harmoniques permet d'atteindre un taux d'utilisation de 1 tout en respectant toutes les échéances. Les tâches SUPER et STAT sont donc sur un processeur et les 4 tâches PORT_x sont regroupées sur un second processeur, ce qui conduit à des taux d'utilisation de 0.76 et de 0.32 ... et donc toutes les échéances seront respectées. Question 3 : utiliser AADLInspector pour produire cet ordonnancement à partir de q2.aadl Question 4 : voir le fichier q2.aadl et en particulier les 2 processeurs, les 2 processus ainsi que les bindings associés (cf. le composant system)