Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 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

Résumé

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 noeuds de l'application. 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.

Domaines

Fichier principal
Vignette du fichier
these_thomas_vergnaud.pdf (1.43 Mo) Télécharger le fichier
Loading...

Dates et versions

pastel-00002122 , version 1 (29-01-2007)

Identifiants

  • HAL Id : pastel-00002122 , version 1

Citer

Thomas Vergnaud. Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées. domain_other. Télécom ParisTech, 2006. English. ⟨NNT : ⟩. ⟨pastel-00002122⟩
355 Consultations
2863 Téléchargements

Partager

Gmail Facebook X LinkedIn More