Construction robuste de systemes logiciels surs de fonctionnement

par TITOS SARIDAKIS

Thèse de doctorat en Informatique

Sous la direction de Jean-Pierre Banâtre.

Soutenue en 1999

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Les liens indissolubles entre les ordinateurs et les defaillances ont conduit a l'invention d'une variete de techniques de tolerance aux fautes, pour satisfaire, potentiellement, toutes les exigences concernant la surete de fonctionnement. En consequence, la construction de systemes surs de fonctionnement n'est plus basee sur l'invention des mecanismes qui fournissent les garanties de surete de fonctionnement desirees, mais plutot sur la selection parmi des techniques existantes, de celle qui convient le mieux pour les exigences du systeme. Ensuite, une codification de la technique selectionnee peut servir comme index pour extraire d'un repertoire contenant des mecanismes de tolerance aux fautes, celui qui met en oeuvre la technique selectionnee. Il en resulte que la construction de systemes surs de fonctionnement devient un processus de transformation d'un ensemble de contraintes de surete de fonctionnement dans un mecanisme de tolerance aux fautes qui les satisfait. Le but de cette these est d'assurer la nature robuste de la construction de systemes surs de fonctionnement, en fondant le processus de selection sur une base formelle. Plus precisement, cette base formelle se compose de : % un modele de systeme exprimer en terme d'etats et d'actions, qui permet la specification des proprietes de surete de fonctionnement dans une logique temporelle de predicats % une relation de raffinement de proprietes de surete de fonctionnement, une relation de raffinement de specifications de systemes, et leur correlation. % des moyens pour deriver automatiquement l'impact architectural d'une propriete de surete de fonctionnement sur les specifications d'un systeme. % un schema de classification, qui capture les relations de raffinement des proprietes et des specifications. Ce schema structure le contenu d'un repertoire de mecanismes de tolerance aux fautes, et facilite le processus de selection susmentionne. La contribution pratique de cette these est evaluee dans le cadre de l'environnement de developpement aster. La base formelle est adaptee aux specificites d'aster, et un outil est presente, qui exploit le schema de classification pour effectuer l'analyse des exigences concernant la surete de fonctionnement. Cet outil est integre dans l'environnement aster, et remplace l'outil standard pour l'extraction de mecanismes de tolerance aux fautes. Les resultats de l'analyse des exigences fournissent aussi les instructions pour l'integration des mecanismes de tolerance aux fautes selectionnes dans la structure du systeme. Bien qu'elle ne soit pas innovatrice, puisqu'elle utilise des techniques bien connues relevant des domaines des specifications formelles, de l'analyse des exigences, des architectures logicielles, et de la re-utilisation du logiciel, l'originalite de cette these repose sur la combinaison des technologies existantes pour le benefice de la construction des systemes. La nature robuste de cette construction est garantie par l'analyse rigoureuse et le raffinement correct des exigences d'un systeme concernant la surete de fonctionnement.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 168 p.
  • Annexes : 69 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Non disponible pour le PEB
  • Cote : TA RENNES 1999/51
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.