Étude d'une sémantique de la réactivité : variations autour du modèle synchrone et application aux systèmes embarqués / Frédéric Boniol ; sous la direction de Bernard Lecussan

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 1997

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Systèmes embarqués (informatique)

Lécussan, Bernard (Directeur de thèse / thesis advisor)

École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (Organisme de soutenance / degree-grantor)

Relation : Étude d'une sémantique de la réactivité : variations autour du modèle synchrone et application aux systèmes embarqués / Frédéric Boniol ; sous la direction de Bernard Lecussan / Grenoble : Atelier national de reproduction des thèses , 1997

Résumé / Abstract : La conception et la maîtrise des systèmes embarqués constituent un défi majeur dont l'importance va croissante avec l'essor des aéronefs modernes. La complexité de ces systèmes réside essentiellement dans leur caractère à la fois critique, temps-réel et largement distribué. Face à cette complexité, des avioneurs tels que Aerospatiale ou Dassault-Aviation ont choisi les approches synchrones LUSTRE et ESTEREL pour la spécification des équipements d'une architecture avionique. Or, s'il est effectivement admis que ces langages sont de bons candidats pour la spécification de systèmes réactifs conceptuellement centralisés, il peut paraître plus discutables de construire globalement en LUSTRE ou ESTEREL un système avionique complet par nature largement décentralisé. L'objectif de cette thèse est de tenter d'apporter un élément de réponse à cette difficulté apparente au travers d'un modèle multi-formalismes reposant d'une part sur les langages LUSTRE et ESTEREL, et d'autre part sur une sémantique de la concurrence synchrone faible. L'idée proposée consiste d'une part à construire un système réparti, tel qu'un système avionique, sous la forme d'un ensemble de processus réactifs communicants (les équipements) spécifiés séparément en LUSTRE ou ESTEREL, et d'autre part à asseoir la communication et la concurrence sur une hypothèse abstraite et simplificatrice consistant à considérer que ces processus (a) sont asynchrones avec une horloge de globale, (b) réagissent simultanément et instantanément à chaque tick de cette horloge, et (c) communiquent en diffusant des signaux et / ou des flots de données, cette diffusion durant une unité de temps de l'horloge de base. L'intérêt escompté de cette approche est d'offrir ainsi un cadre simple et rigoureux pour la conception de systèmes embarqués largement répartis, intégrant des formalismes de conception proches de ceux utilisés par les avioneurs, tout en répondant aux exigences inhérentes à ce domaine, à savoir le déterminisme, la modularité, et les besoins de vérification.