Modelisation et validation d'applications temps reel distribuees

par ERIC NASSOR

Thèse de doctorat en Sciences appliquées

Sous la direction de Guy Vidal-Naquet.

Soutenue en 1992

à Paris 11 .

    mots clés mots clés


  • Résumé

    Ce travail presente les bases de l'architecture d'un systeme distribue, temps reel, sur de fonctionnement, se pretant bien a la validation. Ce systeme est base sur une implementation distribuee du modele synchrone a l'aide d'un temps logique distinct du temps reel. Une analyse temporelle du fonctionnement du systeme permet d'assurer le respect de la semantique synchrone, ainsi que le respect des contraintes temporelles de l'application. Des mecanismes de tolerance aux fautes peuvent etre decrits de maniere synchrone, la semantique des fautes, qui est precisee dans le langage, etant respectee a l'implementation. La distinction entre le temps reel et le temps logique entraine des modifications dans les techniques classiques de validation: la notion de temps reel est introduite dans la logique temporelle utilisee comme langage de specification, et les techniques de modelchecking sont modifiees pour en tenir compte


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 98 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-010780
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.