Accueil || Parcours || Recherche || S'enregistrer || Mon Compte || Contacts || Aide || Langues
Zalila, Bechir (2008) Configuration et déploiement d'applications temps-réel réparties embarquées à l'aide d'un langage de description d'architecture. Doctorat Informatique et Réseaux, Département Informatique et Réseaux, ENST.
Plein texte disponible en tant que :
|
|
Résumé
La production de systèmes temps-réel répartis embarqués (TR2E) est une
opération lourde en temps et en coût de développement. De plus, les
applications temps-réel doivent satisfaire des contraintes dures pour
assurer leur bon fonctionnement (respect des échéances temporelles...).
L'utilisation des langages de description d'architecture vise à réduire
le coût de développement de ces applications. AADL (Architecture
Analysis & Design Language) fait partie de cette famille de langages. Il
propose la notion de ``composant'' (matériel ou logiciel) dont la
sémantique bien définie permet de décrire plusieurs aspects d'un système
TR2E. Les différentes contraintes qui doivent être satisfaites sont
intégrées dans le modèle AADL sous forme de propriétés. Ce travail de
thèse exploite les fonctionnalités offertes par AADL pour spécifier les
besoins exacts d'une application AADL afin de la produire
automatiquement. En effet, le processus de production que nous proposons
(1) génère automatiquement le code pour intégrer les composants
applicatifs à la plate-forme d'exécution, (2) génère automatiquement une
importante partie des composants intergiciels taillés sur mesure pour
l'application et (3) déploie automatiquement les composants applicatifs
et intergiciels afin d'obtenir un système fortement dédié à
l'application. Notamment, la plate-forme d'exécution supportant les
composants AADL est elle même configurée statiquement en fonction des
propriétés spécifiées. L'approche adoptée réduit le temps de
développement et permet d'obtenir un code personnalisé et analysable. La
configuration et le déploiement (souvent séparés du processus de
développement) sont désormais automatiques et intégrés à la chaîne de
production.
| Type d'EPrint: | Thèse (Doctorat) |
|---|---|
| Directeur de Thèse: | Pautet, Laurent et Hugues, Jérôme |
| Date: | 07 Novembre 2008 |
| Jury de Thèse: | Malenfant, Jacques et Kermarrec, Yvon et Seinturier, Lionel et Feiler, Peter et Gasperoni, Franco et Pautet, Laurent et Hugues, Jérôme |
| Ecole Doctorale: | ED 130 INFORMATIQUE, TELECOMMUNICATIONS ET ELECTRONIQUE (EDITE) |
| Discipline: | Informatique et Réseaux |
| Fonds: | TELECOM ParisTech (ENST) |
| Institution: | ENST |
| Laboratoire: | Département Informatique et Réseaux |
| Sujets: | 2. Sciences et technologies de l'information et de la communication |
| Mots-clés libres: | Systèmes répartis, Systèmes embarqués, Temps-réel, Configuration, Déploiement, Génération de code, Ocarina, PolyORB-HI, Aadl, Distributed systems, Embedded systems, Real-time, Configuration, Deployment, Code generation, Ocarina, PolyORB-HI, Aadl |
| Code ID: | 4314 |
| Déposé par : | Bechir Zalila |
| Déposé le : | 09 Janvier 2009 |
Administrateurs de l'archive uniquement : éditer cet enregistrement