Strategie d'integration de la methode b dans la contruction du logiciel critique

par SOUAD TAOUIL TRAVERSON

Thèse de doctorat en Sciences appliquées

Sous la direction de SYLVIE VIGNES.

Soutenue en 1997

à l'ENST .

    mots clés mots clés


  • Résumé

    La methode b est, actuellement, utilisee essentiellement pour le developpement de systemes de securite. De cette pratique, il ressort, surtout si l'objectif est de controler le respect des exigences de securite, le besoin d'adapter le cycle de vie, et d'y associer un support methodique. Le logiciel critique, plus specialement celui dedie a des systemes de controle-commande doit etre concu en separant les besoins de securite de ceux de fonctionnement. L'originalite de la demarche methodique proposee dans cette these est de conforter cette separation tout en s'inscrivant dans la continuite de l'analyse systeme. Les contraintes concernant le logiciel sont formalisees dans l'analyse preliminaire puis constituent les elements structurants de la modelisation formelle. Cette methode fournit la tracabilite precise correspondant aux exigences de developpement du logiciel critique en tirant profit de la technique de verification formelle inherente a la methode b. Un cycle de developpement adapte a pu s'en deduire. De plus, l'analyse preliminaire a la specification formelle presente l'avantage de fournir aux experts du domaine d'application, un document de support pour la validation du logiciel. L'etude de cas klv#1 integralement formel, logiciel critique, analyse de securite, guide methodique.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 159 P.
  • Annexes : 54 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Télécom ParisTech. Bibliothèque scientifique et technique.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.