Auteur / Autrice : | Rémi Delmas |
Direction : | Yamine Aït-Ameur, Virginie Wiels |
Type : | Thèse de doctorat |
Discipline(s) : | Programmation et systèmes |
Date : | Soutenance en 2004 |
Etablissement(s) : | École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) |
Résumé
Ces travaux présentent un cadre formel orienté composant, dédié à la spécification hétérogène des systèmes avioniques modulaires intégrés, permettant de fédérer des analyses formelles issues de vues orientées métier différentes (fonctionnelle, performances temps réel). Le cadre est exprimé dans les formalismes des théories des catégories et des institutions. Le calcul de composition des composants définissant l'architecture d'ion système, ainsi que la collection des différents modèles formels hétérogènes utilisés pour l'analyse des propriétés du système y sont représentés de manière homogène. Les contraintes de cohérence structurelle et sémantique entre ces modèles apparaissent explicitement dans le cadre. Ceci facilite la vérification compositionnelle de propriétés complexes du système, grâce à l'utilisation du paradigme de raisonnement compositionnel hétérogène. L'approche est illustrée par les résultats obtenus sur une étude de cas réaliste, traitant d'un sous-système de gestion de gouvernes d'un avion civil.