Une approche intégrée pour la validation et la génération de systèmes critiques par raffinement incrémental de modèles architecturaux

Résumé : L’augmentation de la complexité des systèmes temps-réel répartis embarqués (TR2E) et leur implication dans de nombreux domaines de notre quotidien imposent de nouvelles mé thodes de réalisation. Dans les domaines dits critiques (transport, médecine...) ces systèmes doivent satisfaire des contraintes dures pour garantir leur bon fonctionnement et éviter toutes défaillances qui engendreraient des conséquences financières ou humaines dramatiques. L’Ingénierie Dirigée par les Modèles (IDM) introduit le “modèle” - i.e. une description abstraite du système - et un ensemble d’outils (édition, transformation...) permettant la simplification et l’automatisation des étapes de conception, de validation et de génération du système. Ainsi, différentes abstractions du système sont élaborées dans des formalismes spécifiques de manière à couvrir un aspect du système et à permettre la réutilisation des outils d’analyse et de génération existants. Cependant, ces multiples représentations évoluent à des niveaux d’abstractions différents et il n’est pas toujours évident de mettre en corrélation système analysé et système généré. Ce travail de thèse exploite les concepts et les mécanismes offerts par l’IDM pour améliorer la fiabilité du processus de réalisation des systèmes critiques basé sur les modèles. L’approche que nous avons définie repose sur la définition du langage de modélisation architecturale et comportementale AADL-HI Ravenscar - un sous-ensemble du langage AADL (Architecture Analysis & Design Language) et de son annexe comportementale - contraint pour permettre conjointement l’analyse et la génération de l’ensemble des composants de l’application y compris de son exécutif, avec une sémantique proche d’un langage de programmation impératif...
Type de document :
Thèse
Autre [cs.OH]. Télécom ParisTech, 2012. Français. 〈NNT : 2012ENST0036〉
Liste complète des métadonnées

Littérature citée [78 références]  Voir  Masquer  Télécharger

https://pastel.archives-ouvertes.fr/tel-01136580
Contributeur : Abes Star <>
Soumis le : vendredi 27 mars 2015 - 15:32:07
Dernière modification le : jeudi 11 janvier 2018 - 06:23:39
Document(s) archivé(s) le : jeudi 2 juillet 2015 - 08:40:35

Fichier

TheseLasnierV2.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01136580, version 1

Citation

Gilles Lasnier. Une approche intégrée pour la validation et la génération de systèmes critiques par raffinement incrémental de modèles architecturaux. Autre [cs.OH]. Télécom ParisTech, 2012. Français. 〈NNT : 2012ENST0036〉. 〈tel-01136580〉

Partager

Métriques

Consultations de la notice

228

Téléchargements de fichiers

539