Description et simulation de systèmes réactifs non-déterministes

par Yvan Roux

Thèse de doctorat en Informatique. Systèmes et communication

Sous la direction de Pascal Raymond.

Soutenue en 2004

à Grenoble, INPG .

    mots clés mots clés


  • Résumé

    Ce travail s'inscrit dans le cadre de la programmation et de la validation des systèmes réactifs synchrones. La propriété fondamentale attendue des systèmes réactifs opérationnels est sans doute le déterminisme. Cependant, au cours du développement et de la validation de ces systèmes, exprimer et simuler du non déterminisme peut s'avérer très utile. En phase de test, il peut permettre de décrire les comportements possibles de l'environnement. Plus généralement, au cours du développement, certains modules non totalement développés peuvent être décrit comme des systèmes indéterministes pour permettre une simulation précoce de l'ensemble. Nous proposons dans cette thèse une technologie qui permet de décrire et simuler de tels systèmes. Dans un premier volet, nous définissons un langage de haut niveau, baptisé Lutin, qui adopte le style impératif et séquentiel des expressions régulières. Aux opérateurs réguliers (choix, boucle) sont adjoints des poids relatifs permettant demaîtriser finement l'indéterminisme. Dans un deuxième volet, nous étudions la simulation de ces systèmes en définissant une machine abstraite plus générale, basée sur des automates concurrents. Le simulateur associé a été implémenté et intégré dans l'environnement de test dédié aux programmes Lustre. De plus, nous avons développé un outil de simulation plus général qui permet d'intégrer divers modules synchrones (écrits en Lustre, Esterel, Lutin etc). Cet outil permet d'obtenir assez simplement un prototype simulable pour les applications complexe


  • Pas de résumé disponible.

  • Titre traduit

    Describing and simuling non deterministic reactive systems


  • Résumé

    This work takes place in the domain of programming and validating synchronous reactive systems. The most important expected property of reactive systems iscertainly determinism. However, while designing and validating such systems, expressing non determinism may be useful. For testing, it can be used to describe the possible behaviors of the environment. More generally, while developing a big application, partially designed modules may be described as non deterministic systems in order to allow early simulation of the whole application. In this thesis, we propose a technology for describing and simulating such non deterministic systems. In a first part, we propose a high-level, user-friendly language based on the imperative and sequential style of regular expressions. Regular operators are completed by relative weights in order to control non determinism. In a second part, we study the simulation of those systems by defining a more general abstract machine, based on concurrent automata. The associated simulator has been implemented and is now integrated into the testing tool dedicated to Lustre program (Lurette). We have also developed a more general simulation tool which allows to merge several synchronous modules(written in Lustre, Esterel Lutin or other). This tool is a way to obtain quite easily a running prototype for complex, heterogenous applications.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : iv-122 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p.107-110

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.
  • Non disponible pour le PEB
  • Cote : TS04/INPG/0025
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS04/INPG/0025/D
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.