Observation et mise au point pour un calculateur distribue temps reel critique

par NICOLAS HUBART

Thèse de doctorat en Sciences appliquées

Sous la direction de CLAUDE GIRAULT.

Soutenue en 1997

à Paris 6 .

    mots clés mots clés


  • Résumé

    Nous definissons dans ce rapport une architecture de mise au point pour un calculateur de regulation de turboreacteur. Ce futur calculateur a la particularite d'etre distribue, temps reel critique et tolerant aux fautes. Notre solution peut etre qualifiee de hybride dans la mesure ou elle fait appel a des moyens d'observation materiels non intrusifs et a des moyens d'analyse hors-ligne par logiciels. L'observation est realisee en temps reel a l'aide d'unites d'observation et de dialogue locales (uodl) distribuees sur chacun des sites du systeme, et d'un site dedie a la surveillance du reseau de communication (les messages sont diffuses). Les logiciels d'analyse des informations observees sont implantes sur une station centrale externe au calculateur embarque afin de reduire leur cout de developpement (logiciels non critiques), de faciliter leur evolution et de ne pas induire de perturbation quant au deroulement de l'application temps reel. La station centrale a egalement pour role de piloter les unites d'observation embarquees. Les logiciels d'analyse qui sont definis permettent d'historiser les informations significatives observees et de verifier des proprietes distribuees. Une uodl dispose egalement de deux fonctions supplementaires qui permettent de modifier les donnees et les instructions lues par le microprocesseur du site concerne (injection de fautes), et d'injecter une interruption materielle sur le microprocesseur a une date globale precise (participation a la pose d'un point d'arret global coherent). Cette architecture couvre tout le cycle de vie du calculateur embarque, depuis son developpement jusqu'a son exploitation (les moyens d'observation sont operationnels en vol).


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 138 P.
  • Annexes : 67 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1997 786
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1997
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.