Ada 95 et les systemes distribues : la tolerance aux fautes

par LAURENT NANA TCHAMNDA

Thèse de doctorat en Infomatique

Sous la direction de M. RAYNAL.

Soutenue en 1996

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Des statistiques recentes effectuees par bell northern research et tandem computers montrent que la tolerance aux fautes logicielles constitue actuellement le goulot d'etranglement en matiere de surete de fonctionnement. D'apres ces statistiques, dans les systemes incorporant les mecanismes de tolerance aux fautes, environ 65% des defaillances sont dues au logiciel. Parmi les raisons qui justifient la forte proportion des defaillances dues au logiciel, nous pouvons citer l'insuffisance des mecanismes de tolerance aux fautes fournis par les langages de programmation et l'absence d'outils logiciels pour le developpement d'applications tolerantes aux fautes. En effet, dans la plupart des langages de programmation existants, le seul mecanisme de tolerance aux fautes disponible est le mecanisme des exceptions. Bien que ce mecanisme soit efficace pour des situations anticipees, il est inefficace pour des situations non anticipees. Notre travail a porte essentiellement sur l'etude et l'integration de mecanismes complementaires de tolerance aux fautes logicielles dans les langages de programmation existants et leurs outils associes (compilateurs, preprocesseurs), et plus particulierement dans le langage ada 95 et le compilateur gnat (gnu nyu ada translator). Nous avions deux objectifs principaux: d'une part, fournir un environnement minimal pour le developpement d'applications tolerantes aux fautes, qu'elles soient centralisees ou distribuees, et d'autre part, experimenter les nouvelles structures du langage ada 95 dans le cadre de la tolerance aux fautes et de la programmation d'applications distribuees. Nous avons procede en quatre phases principales: l'etude et l'integration des blocs de recouvrement en environnement centralise, la mise en uvre de l'annexe distribuee du langage ada 95 dans le compilateur gnat, l'extension de notre modele initial de blocs de recouvrement pour permettre leur execution en environnement distribue, et la conception d'un modele pour la replication et la reconfiguration d'applications distribuees ada 95


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 153 P.
  • Annexes : 106 REF.

Où se trouve cette thèse ?

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