De la composition des systemes temporises

par SEBASTIEN BORNOT

Thèse de doctorat en Sciences et techniques

Sous la direction de Joseph Sifakis.

Soutenue en 1998

à Grenoble 1 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    La composition des systemes temporises est source de nombreux problemes, notamment de blocage. Nous proposons un cadre de description compositionnelle des systemes temporises qui preserve la reactivite temporelle, a savoir que si le systeme ne peut reagir, alors le temps peut avancer. Nous effectuons d'abord une etude preliminaire sur la specification des evolutions temporelles dans les systemes, debouchant sur la definition de mecanismes de description adequats. Ceci nous permet de definir une classe de modeles temporises temporellement reactifs, par construction. Nous definissons sur cette classe des operateurs de choix et de composition parallele qui preservent cette propriete. En outre, les operateurs sont definis de sorte a preserver l'activite dans le sens ou si a partir d'un etat une action est possible dans un composant, alors une action est possible dans la composition. L'operateur de composition parallele respecte egalement la propriete de progres maximal grace a l'utilisation d'operateurs de choix avec priorites qui favorise les synchronisations. Un cadre general est donne pour exprimer differents modes de synchronisation, parmi lesquels on retiendra and (synchronisation classique), max (synchronisation avec attente) et min (interruption). Pour terminer, nous developpons une approche algebrique pour une sous-classe des modeles consideres.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 90 p.
  • Annexes : 18 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.