Modélisation et validation des systèmes réactifs : un langage synchrone à base d'automates
Modélisation et validation des systèmes réactifs : un langage synchrone à base d'automates
Résumé
Il n'y a pas, à ma connaissance, de règle communément admise sur ce qui peut constituer un document d'habilitation à diriger des recherches. Il est bon, toutefois, de s'interroger sur la finalité d'un tel document, outre la satisfaction personnelle de rassembler et d'organiser des idées jusque là encore un peu dispersées. Il m'a semblé qu'un exposé purement technique n'était pas de nature à mettre en valeur l'aptitude à organiser, orienter des recherches, sans même parler de les diriger. Il apparaissait donc qu'il fallût plutôt présenter une démarche, un ensemble structuré de motivations, montrer comment les problèmes étaient apparus, comment s'effectuent les choix et comment les travaux sont articulés. Vaste programme... La difficulté de l'exercice réside dans le fait qu'il est impossible de présenter une démarche indépendamment du sujet technique sur lequel elle s'est exercée, lorsque cette démarche s'est forgée de pair avec le sujet. Le présent document revêt donc un certain caractère autobiographique dans l'exposé de l'approche suivie et de ses évolutions, en particulier lorsqu'il s'agit de reconnaître les influences extérieures qui ont orienté mon travail. Cela me paraît toutefois relever de la plus élémentaire honnêteté intellectuelle et mériter, à ce titre, de figurer ici. Ce document n'a pas d'ambition de présentation synthétique d'un domaine de recherche, ce qui serait présomptueux. Ce n'est pas non plus un document très technique présentant un ensemble de résultats fondamentaux. J'aimerais plutôt y démontrer une certaine cohérence des directions suivies, et comment les résultats convergent. Ce n'est au fond qu'une mise en forme des réflexions que m'inspirent dix années de travail qui, certes, ont conduit à la définition et à l'implantation d'un langage, mais qui, surtout, constituent mon apprentissage du métier d'enseignant/chercheur. L'essentiel des travaux d'écrits, toutefois, concernent la définition et l'implantation d'un langage de programmation synchrone baptisé ARGOS, pour la modélisation et la validation des
systèmes dits "réactifs", et ce document devrait pouvoir constituer, au moins pendant un certain temps, le document de référence sur ARGOS.
Origine : Fichiers produits par l'(les) auteur(s)