formation par la recherche / formation doctorale / enseignement, stages / sujets de thèses

Description et évaluation d'architectures de communication à l'aide de Signal

Localisation : Irisa, Rennes

Equipe Epatr

Responsable : Thierry Gautier, Paul Le Guernic

Mot-clés : systèmes réactifs, langages synchrones, interface synchrone-asynchrone, distribution, modèles de communication, OS temps réel.

Sujet : Le développement d'applications critiques dans un langage temps réel synchrone tel que Signal ou Lustre permet de disposer à la fois d'outils de vérification de propriétés de programmes et d'outils de génération automatique de code.

Une méthodologie de distribution des programmes synchrones Signal consiste, par des transformations de programmes respectant la sémantique du programme d'origine, à obtenir un nouveau programme reflétant l'architecture d'implantation considérée. Les communications entre processeurs sont représentées par les communications synchrones usuelles ; sur chacun des processeurs, le programme peut être mono ou multi-tâche.

Afin de permettre une mise en oeuvre effective sur une architecture multi-processeur générale (communications asynchrones...), il y a lieu d'une part de permettre la désynchronisation des communications, et d'autre part de faire éventuellement appel aux primitives d'un OS temps réel (typiquement, Arinc) pour la communication et la gestion des tâches.

Le sujet proposé consiste à modéliser les architectures de communication considérées en définissant en Signal un ensemble de primitives génériques, et à utiliser cette modélisation pour permettre l'évaluation temporelle de l'application décrite sur l'architecture d'implémentation. Les modèles considérés devront permettre d'étudier des ordonnancements préemptifs et, lorsque c'est possible, utiliser les résultats de méthodes d'analyse existantes (RMA...).

La thèse se situe dans le cadre d'un projet européen IST, SafeAir (Advanced Design Tools for Aircraft Systems and Airborne Software), dont les partenaires sont les suivants : Aérospatiale-Matra/Airbus, DaimlerChrysler Aerospace Airbus, Israeli Aircraft Industrie, Snecma Moteurs, I-Logix, TNI, Telelogic, Siemens, OFFIS et l'INRIA.