Thèse soutenue

Argos : un langage graphique pour la conception, la description et la validation des systèmes réactifs
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Florence Maraninchi
Direction : Jacques Voiron
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1990
Etablissement(s) : Grenoble 1

Résumé

FR

Ce travail definit le langage argos pour la description des systemes reactifs, et l'environnement de validation argonaute. Argos possede une syntaxe graphique. Les systemes reactifs y sont decrits par des compositions d'automates communicants. Les principales compositions sont: la mise en parallele, et une operation de raffinement introduite pour supporter une methode de conception hierarchique. Une semantique operationnelle est donnee en s'appuyant sur une syntaxe textuelle equivalente a la syntaxe graphique. Le modele d'un programme argos est un systeme de transitions etiquetees. Des comparaisons avec d'autres langages utilises dans le domaine sont effectuees. Trois exemples complets sont traites: montre a affichage numerique, protocole de la fenetre glissante, protocole avec connexion et deconnexion. Argonaute permet d'editer graphiquement des descriptions de systemes en argos, de les compiler en systemes de transitions etiquetees, puis de produire une animation graphique de leur comportement. Il est aussi possible d'utiliser d'autres outils pour evaluer des formules de logique temporelle sur le modele, ou pour reduire et comparer les modeles