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

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 complexeGRENOBLE1-BU Sciences (384212103) / SudocSudocFranceF