LogoLogo

Verries, Jean. Approche pour la conception de systèmes aéronautiques innovants en vue d'optimiser l'architecture. Application au systèmes portes passagers

Verries, Jean (2010) Approche pour la conception de systèmes aéronautiques innovants en vue d'optimiser l'architecture. Application au systèmes portes passagers.

[img]PDF (Accès restreint. S'adresser à l'accueil de la BU Sciences de Toulouse) - Accès intranet - nécessite un logiciel de visualisation PDF comme GSview, Xpdf or Adobe Acrobat Reader
2077Kb

Résumé en francais

Les travaux de cette thèse se situent à l'intersection des domaines de l'ingénierie système et de l'ingénierie dirigée par les modèles. Un ensemble de processus d'ingénierie des exigences et de conception architecturale système a été proposé. Sur la base du standard MDA, des méthodes de conception et de validation ont été définies et mise en œuvre autour d'un modèle d'information. Celui-ci a été réalisé comme un profil du langage SysML, et permet la vérification formelle de règles et de propriétés systèmes au moyen de contraintes OCL. Afin de compléter la méthodologie sur le plan de la validation système, des modèles en langage VHDL-AMS ont été intégrés à la méthodologie. Cette approche nous a amené à étudier un certains nombre de transformations de modèles, pour lesquelles nous avons choisi de travailler au niveau des métamodèles.

Sous la direction du :
Directeur de thèse
Sahraoui, Abd-El-Kader
Paludetto, Mario
Ecole doctorale:Systèmes
laboratoire/Unité de recherche :Laboratoire d'Analyse et d'Architecture des Systèmes (LAAS) - CNRS
Mots-clés libres :Ingénierie système - Validation système - Ingénierie dirigée par les modèles - Simulation
Sujets :Informatique
Déposé le :01 Sep 2010 10:45