Déclinaison d'exigences de sécurité, du niveau système vers le niveau logiciel, assistée par des modèles formels

par Sophie Humbert

Thèse de doctorat en Sciences Physiques et de l'Ingénieur. Sûreté de fonctionnement

Sous la direction de Yves Dutuit, Jean-Marc Bosc et de Charles Castel.

Soutenue en 2008

à Bordeaux 1 .


  • Résumé

    Les turbomoteurs d'hélicoptère incluent des logiciels de contrôle de plus en plus élaborés et complexes. Pour répondre aux exigences de sécurité de ce type de système, il convient de décliner précisément les exigences système en exigences logicielles. Nos travaux ont porté sur l'amélioration de cette phase de déclinaison d'exigences. Nous proposons une démarche en deux étapes. La première consiste à modéliser, en language AltaRIca, les propagations de pannes potentielles de composants du système, en intégrant des hypothèses de modes de défaillance sur les parties matérielles et logicielles. L'analyse de ce modèle permet d'évaluer la sûreté de l'architecture du système envisagée, et de déduire des exigences élémentaires, en particulier sur les fonctions logicielles. Ces exigences imposent que certains comportements logiciels ne se produisent pas. La seconde étape porte sur le raffinement de ces exigences afin de les rendre vérifiables sur le modèle de conception SCADE du logiciel.

  • Titre traduit

    Derivation of safety requirements, from the system level down to the software level, aided by formal models


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (154 p.)
  • Annexes : Bibliogr. p. 149-154. Annexes

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Non disponible pour le PEB
  • Cote : FTA 3580
  • Bibliothèque : Université de Caen Normandie. Bibliothèque Pierre Sineux (Droit-Lettres).
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.