Thèse soutenue

Un cadre formel pour la modélisation et la vérification compositionnelles et hétérogènes des systèmes avioniques modulaires intégrés

FR  |  
EN
Auteur / Autrice : Rémi Delmas
Direction : Yamine Aït-AmeurVirginie Wiels
Type : Thèse de doctorat
Discipline(s) : Programmation et systèmes
Date : Soutenance en 2004
Etablissement(s) : Toulouse, ENSAE

Résumé

FR

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.