Modélisation et validation des systèmes réactifs : un langage synchrone à base d'automates - VERIMAG Accéder directement au contenu
Hdr Année : 1997

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

Florence Maraninchi

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.
Fichier principal
Vignette du fichier
Habilitation.pdf (1.08 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

tel-03840029 , version 1 (07-11-2022)

Licence

Paternité

Identifiants

  • HAL Id : tel-03840029 , version 1

Citer

Florence Maraninchi. Modélisation et validation des systèmes réactifs : un langage synchrone à base d'automates. Systèmes embarqués. Grenoble 1 UJF - Université Joseph Fourier, 1997. ⟨tel-03840029⟩
52 Consultations
40 Téléchargements

Partager

Gmail Facebook X LinkedIn More