Approche pour la conception de systèmes aéronautiques innovants en vue doptimiser larchitecture. Application au système portes passagerReport as inadecuate




Approche pour la conception de systèmes aéronautiques innovants en vue doptimiser larchitecture. Application au système portes passager - Download this document for free, or read online. Document in PDF available to download.

1 LAAS - Laboratoire d-analyse et d-architecture des systèmes Toulouse

Abstract : This thesis lies at the crossroads of systems engineering and model-driven engineering. A set of requirements engineering and architectural design processes have been defined. We adapted MDA approach concepts to derive design and validation methods and define an information model. This information model has been implemented as a SysML profile, and allow formal verification of methodological rules and system properties. VHDL-AMS models have been used as a complementary mean for system validation purpose. A metamodel-based transformation between SysML model and VHDL-AMS has been defined and implemented.

Résumé : 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 Suvre 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.

da fr

keyword : System engineering System validation Model-based engineering System simulation

Mots-clés : Ingénierie système Validation système Ingénierie dirigée par les modèles Simulation





Author: Jean Verries -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents