Approche pour la conception de systèmes aéronautiques innovants en vue d'optimiser l'architecture. Application au système portes passager
Résumé
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.
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.
Loading...