Validation et Analyse des Performances

Introduction

Dans les chapitres précédents, nous avons défini un processus pour l’analyse et la production d’une application TR2E critique à partir de la description architecturale et comportementale complète de ses composants applicatifs et intergiciels. Ce modèle est obtenu par un processus de transformation raffinant la description architecturale initiale de l’application selon les restrictions et les patrons de notre profil AADL-HI Ravenscar visant à garantir l’analysabilité et la génération des composants modélisés. La bibliothèque de composants intergiciels POLYORB-HI-AADL, basée sur l’implantation POLYORB-HI-Ada, couplée à ce processus permet l’intégration des composants intergiciels (sélectionnés et configurés) requis par l’application. Ce chapitre présente l’application de notre processus d’analyse et d’implantation de systèmes critiques à travers l’étude de cas sur lequel nous nous sommes appuyés tout au long de 189 Validation et Analyse des Performances Chapitre 10. Validation et Analyse des Performances ce manuscrit. Dans la section 10.2, nous rappelons brièvement l’étude de cas et sa description AADL initiale. Dans la section 10.3, nous présentons le modèle raffiné obtenu par notre chaîne de transformation et les résultats des analyses Ravenscar (sur modèle) et d’ordonnancement. La section 10.4 présente nos résultats relatifs au code généré. La section 10.5 présente les comparaisons avec l’approche OCARINA. La section 10.6 conclut ce chapitre.

L’étude de cas Ravenscar

Le cas d’étude Ravenscar que nous proposons pour valider notre approche est issu du guide pour les recommandations du profil Ravenscar [Burns et al., 2004] et a été repris et revisité pour en faire une application répartie dans le but de valider une partie des travaux de notre équipe sur l’outil OCARINA. Dans cette section, nous présentons les éléments décrits par le cas d’étude et ceux ajoutés pour mettre en œuvre la répartition puis nous rappelons sa modélisation à l’aide du langage AADL. 10.2.1 Description détaillée Exemple initial Le cas d’étude Ravenscar (voir figure 10.1, processus Workload_Manager) de l’exemple Ravenscar présenté par [Burns et al., 2004] décrit un système de gestion de charges de travail variables, pouvant recevoir des interruptions, assuré par différentes entités actives. Une entité périodique de forte priorité Regular_Producer traite les charges de travail régulières. Sous certaines conditions, celle-ci délégue des charges irrégulières (supplémentaires) à l’entité sporadique On_Call_Producer de priorité moins élevée. Le tampon Request_Buffer gère la file d’attente des ordres des travaux supplémentaires entre les deux entités. Les interruptions gérées par le système sont placées dans la file d’attente Event_Queue qui est consultée par l’entité sporadique de très forte priorité External_Event_Server. Le traitement des interruptions est, par la suite, délégué à l’entité sporadique Activation_Log- _Reader de très faible priorité réveillé de temps en temps par l’entité périodique principale Regular_Producer. Celle-ci consulte le journal Activation_Log des interruptions à traiter que remplit l’entité External_Event_Server. Enfin, l’entité passive Production_Workload effectue le traitement des charges de travail des différentes tâches. Exemple distribué Pour transformer l’exemple Ravenscar initial en application répartie, [Zalila et al., 2008] propose d’encapsuler le système décrit précédemment dans un processus (Workload_Manager) et d’ajouter le processus Interruption_Simulator (contenant l’entité active External_- Event_Source) pour la génération aléatoire des interruptions. Pour compléter ce passage au distribué, les deux processus s’exécutent sur deux processeurs distincts et communiquent via un bus. Caractéristiques temporelles Le tableau 10.1 présente les caractéristiques des entités actives. Le pire temps d’exécution a été déduit par [Zalila et al., 2008] à partir de l’analyse du code Ada décrivant leur compor190 c 2012 Gilles LASNIER 10.2. L’étude de cas Ravenscar tement. La colonne Période des entités sporadiques indique le temps minimal entre deux déclenchements d’activité.