next up previous
Next: Sujet : Intégration des Up: Sujets de thèse autour Previous: Le projet AltaRica

Sujet : Modélisation et vérification temporelles en AltaRica

 

Fiche signalétique

Responsable Antoine Rauzy 05 56 84 60 83 Antoine.Rauzy@labri.u-bordeaux.fr
Collaborateur Alain Griffault 05 56 84 69 15 Alain.Griffault@labri.u-bordeaux.fr
Equipe MVTsi
Titre
Modélisation et vérification temporelles en AltaRica.
Catégorie Théorique et expérimentale
Position/AltaRica Définition du langage
Court et Moyen termes
Financement Bourse de thèse MENRT

Présentation du sujet

Contexte

Les systèmes critiques et/ou complexes représentant des systèmes industriels font très souvent références au temps. Celui-ci sert pour indiquer des informations de natures quelques fois très différentes :

Le sémantique de l'actuelle version du langage AltaRica vis à vis du temps est la suivante : les événements et le changement global d'état qui en découle sont de durée nulle. C'est à dire, que le langage AltaRica permet de décrire des systèmes réactifs, ou le temps est assimilable aux entiers naturels.

Le langage AltaRica semble donc insuffisant pour traiter un certain nombre de problèmes pour lesquels il a été défini.

Travail demandé

Le sujet de la thèse est l'étude du temps dans le projet AltaRica. Un premier travail consistera à recenser et à formaliser les besoins en terme d'ordonnancement, d'observateurs et de contrôleur de modèle AltaRica.

Une seconde étape consistera à comparer les puissances d'expression des modèles d'automates temporisés et/ou hybrides par rapport aux automates à contraintes AltaRica.

La phase terminale devra, non seulement aboutir à des préconisations pour le projet AltaRica; mais également à des recommandations d'ordre méthodologiques pour la description en AltaRica d'un système temporisé.

Environnement

La thèse s'appuiera évidemment sur les exemples temps-réels académiques, mais également sur plusieurs exemples de systèmes industriels qui sont d'ores et déjà disponibles (au LaBRI) et font l'objet de collaboration entre le LaBRI et divers partenaires industriels (CEA, Aerospatiale).


next up previous
Next: Sujet : Intégration des Up: Sujets de thèse autour Previous: Le projet AltaRica

Equipe Modélisation, Vérification et Test des systèmes informatisés
Fri May 15 10:32:44 CEST 1998