Vergnaud, Thomas (2006) Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées. PhD thesis informatique & réseaux, ENST.
Full text available as:
|
|
Alternative Locations: http://ocarina.enst.fr/biblio/these_thomas_vergnaud.pdf
Abstract
La construction d'une application répartie fait en général intervenir une couche logicielle particulière, appelée intergiciel, qui prend en charge la transmission des données entre les différents nœuds de l'application. L'usage d'un intergiciel pouvant être adapté aux conditions particulières d'une application donnée s'avère être un bon compromis entre performances et coût de développement.
La conception d'applications pour les systèmes embarqués temps-réel implique la prise en compte de certaines contraintes spécifiques à ce domaine, que ce soit en terme fiabilité ou de dimensions à la fois temporelles et spatiales. Ces contraintes doivent notamment être respectées par l'intergiciel.
L'objet de ces travaux est la description des applications temps-réel réparties embarquées en vue de configurer automatiquement l'intergiciel adéquat. L'étude se focalise sur la définition d'un processus de conception permettant d'intégrer les phases de description, de vérification et de génération de l'application complète.
Pour cela, nous nous reposons sur le langage de description d'architecture AADL. Nous l'exploitons comme passerelle entre la phase de description de l'architecture applicative, les formalismes de vérification, la génération du code exécutable et la configuration de l'exécutif réparti. Nous montrons comment spécifier un exécutif pour AADL afin de produire automatiquement le code applicatif et l'intergiciel pour une application répartie. Nous montrons également comment exploiter ces spécifications pour produire un réseau de Petri afin d'étudier l'intégrité des flux d'exécution dans l'architecture.
Afin de valider notre processus de conception, nous avons conçu et développé Ocarina, un compilateur pour AADL qui utilise l'intergiciel schizophrène PolyORB comme exécutif.
| Item Type: | PhD Thesis (PhD) |
|---|---|
| Thesis Supervisor: | Pautet, Laurent and Kordon, Fabrice |
| Date: | December 2006 |
| Board of examiners: | Kermarrec, Yvon and Pradat-Peyre, Jean-François and Gervais, Marie-Pierre and Singhoff, Frank |
| Ecole Doctorale: | ED 130 INFORMATIQUE, TELECOMMUNICATIONS ET ELECTRONIQUE (EDITE) |
| Discipline: | informatique & réseaux |
| Collection (Fonds): | ENST ENST |
| Institution: | ENST |
| Subjects: | 2. Information and Communication Sciences and Technologies |
| Uncontrolled Keywords: | Aadl, Ocarina, PolyORB, Génération de code, Modélisation, réseaux de Petri |
Table of content
1- Introduction
2 - Description de la configuration d'une application répartie
3 - AADL, un langage pour décrire les architectures
4 - Utilisation d'AADL pour décrire une application répartie
5 - Génération de code pour l'enveloppe applicative
6 - Construction et configuration de l'interface avec l'intergiciel
7 - Vérification formelle de la structure des applications
8 - Mise en pratique
9 - Conclusions et perspectives
| ID Code: | 2153 |
|---|---|
| Deposited By: | Thomas Vergnaud |
| Deposited On: | 09 March 2007 |
Repository Staff Only: edit this item