 |
Ingénierie Système et Intégration |
 |
The objective is to obtain a seamless system design flow in order to minimize the cost of different phases of a product life cycle such as, integration, implementation, validation, exploitation or maintenance. This vision of system design leads us naturally to focus our work on the design process (modelling, model integration) and on the requirement engineering process, which is one of the most important processes of system engineering.
Design process: modelling and model integration
We have associated different models (UML, Petri nets, and linear logic) for the study of methodological approaches of embedded systems, mechatronic or hybrid systems.
The integration (fusion) of Petri net models with mixed algebraic/ differential Equations (PN-ADE), has been preformed, considering hybrid processes that contain both continuous and discrete systems. Based on Petri nets and linear logic, we have presented an original approach to derive critical scenarios of hybrid systems. The analysis of critical scenario helps in designing dependable systems, and the approach has been implemented into the ESA-PN tool (Extraction Scenario Analysis - Petri Net).
For the elaboration of a design methodology based on MDA (Model Driven Architecture) concepts, the emphasis is based on UML sequence diagrams to Petri nets transformation. This methodology is the core of the ATLAS project (an ANR project) in order to couple design environment and project management environment.
Requirement Engineering
The process of requirement engineering is essential for engineering a system. The results of this process have a big impact on all the other processes. The ISI group works on requirement elicitation, impact of requirement evolution, links between requirements of the end-product and those of the enabling products, and also on requirement analysis for the evaluation of logical and physical architectures. An internal project named EVE (Requirements Evolution), implements a method for the analysis of requirements evolution.
The methodology aims to integrate the evolution process to the context of Product Life Management (PLM). Using the formal notation RAISE (Rigorous Approach for Industrial Software Engineering), a method for the management of requirements evolution and its impact on safety, has been developed and implemented. The aim of system evaluation is to guarantee a development of a system with respect to the requirements and needs of all stakeholders, while respecting the constraints of development and operational context of the system.
|
|
|
