Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées - Archive ouverte HAL Access content directly
Theses Year : 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

(1)
1

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 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.

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : pastel-00002122 , version 1

Cite

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⟩
338 View
2016 Download

Share

Gmail Facebook Twitter LinkedIn More