Effets des mécanismes d'exception sur la structure des logiciels : Application aux systémes ADA sûrs de fonctionnement

par Alain Marpinard

Thèse de doctorat en Automatique. Informatique industrielle

Sous la direction de Gilles Motet.

Soutenue en 1993

à Toulouse, INSA .


  • Pas de résumé disponible.


  • Résumé

    La conception de systemes complexes necessite une decomposition du probleme en plusieurs sous-problemes, resolus separement. Un logiciel est ainsi generalement concu comme une hierarchie fonctionnelle de sous-systemes modulaires. Cette hierarchie se retrouve egalement dans l'architecture du logiciel, du fait des constructions syntaxiques utilisees. La conception d'application distingue frequemment la definition d'un comportement habituel de l'application de celle d'un comportement exceptionnel, a la fois dans le temps et dans la localisation. Le but de notre etude consiste a evaluer les consequences d'une prise en compte distincte des evenements exceptionnels sur la structure d'une application logicielle prealablement definie. L'architecture etablie ayant ete conditionnee par la conception du traitement courant, elle pourra etre remise en cause lorsque les traitements exceptionnels seront consideres. Le concepteur doit disposer de moyens permettant de maitriser ces evenements (moyens d'eviter leur apparition, ou moyens de detection et de reaction). Apres avoir rappele les principes et techniques de la surete de fonctionnement, en etudiant principalement les aspects structurels, nous comparons les mecanismes d'exception de divers langages de programmation en degageant leurs caracteristiques communes vis-a-vis de la structure des programmes les utilisant. Cette synthese nous permet de mettre en evidence les caracteristiques du langage ada par rapport a son mecanisme d'exception utilise pour implanter les traitements d'evenements exceptionnels specifies. Les difficultes rencontrees et l'importance des modifications de traitements nous ont conduit a etudier et a implanter un prototype d'aide a l'evaluation des consequences de la prise en compte d'un evenement exceptionnel sur la structure syntaxique. Cette etude est basee sur le graphe de controle de l'application d'origine et sur les modifications de structure engendrees pour l'obtention du comportement exceptionnel souhaite. Les utilisations, extensions ou ameliorations possibles de cet outil sont ensuite developpees, concluant notre redaction

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 185 p

Où se trouve cette thèse ?

  • Bibliothèque : Institut national des sciences appliquées. Bibliothèque centrale.
  • Disponible pour le PEB
  • Cote : 1993/232/MAR
  • Bibliothèque :
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.