Laboratory for Analysis and Architecture of Systems
The objective of this work is to control complex system modeling throughout the design process, but also in the very early stages of the life-cycle in order to validate and verify the system to be designed. The objective of our contribution, in compliance with that of the System Engineering community, is to obtain a rupture-free design flow in order to minimize the costs of realization, integration, validation, operation, and maintenance phases. This vision of system design leads naturally to a design process oriented work (modeling, model integration). Studies on model integration rely on instances, models, and meta-models; this leads us to a three-level structure: an object and/or function level, a component-oriented model level, and a level for direct expression of basic models (object level) into meta-models (UML, ADL, or HLA).
We aim at proposing a methodolical approach for the design of heterogenous systems based on MDI (Model Driven Engineering) and the EIA-632 standard.
System validation activity has been addressed through two model types: requirement models (capture phase) and architecture models, both being expressed in SysML. Two aspects of this validation were studied. The first aspect concerns the system's static properties. The requirements are validated on SysML models in a formal way thanks to Object Constraint Language (OCL). The second aspect focuses on the system's dynamic properties. Requirements related to these properties have been validated by simulation, with the transformation of SysML blocks and the equations they contain into VHDL-AMS. The transformation has been done at the meta-model level on an Eclipse Platform and the
OpenArchitectureWare tool. The models have been built based on the problem of an aircraft door with strong multidisciplinary and multibusiness charateristics, specially linked to mechanics and electronics.