Modélisation des systèmes temps-réel répartis embarqués pour la ...

Modélisation des systèmes temps-réel répartis embarqués
VII-5.2 Modélisation des sous-programmes . . . . . . . . . . . . . . . . . . . 133
VII-5.3 Modélisation des séquences d’appel de sous-programmes . . . . . . . 135
VII-5.4 Exemple complet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
VII-6 Intégration des descriptions comportementales . . . . . . . . . . . . . . . . . . 140
VII-6.1 Composant sans modélisation comportementale . . . . . . . . . . . . . 140
VII-6.2 Composant possédant une description comportementale . . . . . . . . 140
VII-6.3 Séquence d’appel pure . . . . . . . . . . . . . . . . . . . . . . . . . . 141
VII-6.4 Composant hybride . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
VII-7 Propriétés étudiées sur l’architecture . . . . . . . . . . . . . . . . . . . . . . . 142
VII-7.1 Cohérence des communications . . . . . . . . . . . . . . . . . . . . . 142
VII-7.2 Absence de blocages . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
VII-7.3 Déterminisme des valeurs . . . . . . . . . . . . . . . . . . . . . . . . 146
VII-8 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
VIII Mise en pratique 149
VIII-1 Ocarina, un compilateur pour AADL . . . . . . . . . . . . . . . . . . . . . . . 149
VIII-1.1 Principes généraux . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
VIII-1.2 Structure du modèle d’Ocarina . . . . . . . . . . . . . . . . . . . . . . 151
VIII-1.3 Organisation d’Ocarina . . . . . . . . . . . . . . . . . . . . . . . . . . 152
VIII-1.4 Intégration d’Ocarina dans des applications tierces . . . . . . . . . . . 155
VIII-2 Évaluation des performances d’exécution . . . . . . . . . . . . . . . . . . . . . 156
VIII-2.1 Définition de l’architecture AADL . . . . . . . . . . . . . . . . . . . . 156
VIII-2.2 Mise en place des applications-témoins . . . . . . . . . . . . . . . . . 160
VIII-2.3 Résultats . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
VIII-3 Évaluation de la transformation en réseaux de Petri . . . . . . . . . . . . . . . . 165
VIII-3.1 Motifs AADL de base . . . . . . . . . . . . . . . . . . . . . . . . . . 166
VIII-3.2 Exemple de taille réelle . . . . . . . . . . . . . . . . . . . . . . . . . 167
VIII-3.3 Étude de l’application de test . . . . . . . . . . . . . . . . . . . . . . . 168
VIII-4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
IX Conclusions et perspectives 171
IX-1 Conception conjointe de l’application et l’intergiciel . . . . . . . . . . . . . . . 171
IX-1.1 AADL comme support pour un cycle de conception . . . . . . . . . . 172
IX-1.2 Exploitation des descriptions AADL . . . . . . . . . . . . . . . . . . . 172
IX-2 Perspectives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
IX-2.1 Production automatique d’intergiciels en AADL . . . . . . . . . . . . 173
IX-2.2 Raffinement des spécifications de l’exécutif . . . . . . . . . . . . . . . 174
IX-2.3 Automatisation de la réduction des architectures . . . . . . . . . . . . 174
IX-2.4 Correspondances entre AADL et d’autres représentations . . . . . . . . 174
IX-2.5 Reconfiguration dynamique de l’exécutif . . . . . . . . . . . . . . . . 174
IX-2.6 Intégration dans la démarche MDA . . . . . . . . . . . . . . . . . . . 175
x c○ 2007 Thomas Vergnaud