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

par Rémi Delmas

Thèse de doctorat en Programmation et systèmes

Sous la direction de Yamine Aït-Ameur et de Virginie Wiels.


  • 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.

  • Titre traduit

    A formal framework for the heterogeneous, compositional modelling and verification of integrated modular avionics systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (X-166 p.)
  • Annexes : Bibliogr. p. 159-166

Où se trouve cette thèse\u00a0?

  • Bibliothèque : ISAE-SUPAERO Institut Supérieur de l'Aéronautique et de l'Espace. Service documentation.
  • Disponible pour le PEB
  • Cote : 2004/400 DEL
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.