ANR « ATLAS » project

ATLAS (Aides et assisTances pour la conception, la conduite et leur coupLage par les connAissanceS) is an ANR project that started in January 2007 and addresses the problems of interaction between the design object (the product) and the realization process (the project), and that of its optimization. The objectives of the project are summarized in the following points:

• Propose a methodology or general specification that  defines the processes and the nature of inter-process exchanges, as well as their organization;

• Propose a design assistance environment and consistent interoperable tools (most of which exist but must be adapted in the project);

• Highlight cases or situations of product/project coupled design identified by industrialists who can demonstrate the relevance of the project;

• Develop a demonstrator.

SVA project

The ISI group lies in the heart of the SVA (Simulation Validation Assessment) project, with the partnership of ONERA and AIRBUS-France. Its main task is identifying methods for simulation validity assessment.

The SVA project is consistent with the principle of optimization of simulation products, seen as system components. The aim is to determine the validity field of a simulation  model composition. The expected benefits are a reduction of development cycles and simulation times, and the standardization of simulation means. A longer term goal would be the simulation's great capacity to replace certification testing and procedures, which will be less expensive if realized on "faithful" virtual systems rather than on the real airplane. Achieving this goal will also provide greater confidence towards design methodologies that inevitably use simulation.

ADDOR Project

The evolution of aircraft doors towards towards a technology with composite materials asks a complete redefining of the requirements and models. Within the framework of a PhD thesis we approached the problem of system validation at the level of two types of models, the models of the requirements (phase of capture) and the models of architecture, both being expressed in SysML.

TOPCASED project

The ISI group is involved in the AESE competitiveness cluster through the TOPCASED (Toolkit in OPen-source for Critical Application & SystEms Development) project. TOPCASED is an open environment software devoted to critical embedded system design. Based on model engineering and formal methods, it must integrate different notations and different models or languages.

An important part of the project is based on meta-models in order to facilitate the implementation of specialized graphic tools and model transformation tools. The ISI group contributed to the reference process definition (requirement modeling and validation with PNs) (WP1) and model transformation (sequence diagrams in PNs) (WP5) sub-tasks.

LAAS « MOCAS » internal project

The ISI group greatly contributed  to the development of a HiLeS upstream design platform of the Mocas ( Modèles et Outils de Conception Amont des Systèmes) project, proposed by the N2IS group, also conducted in collaboration with the OLC group.

This project concerns modeling and system simulation in an MDA framework. A system reference model is realized with the combination of UML models and PNs ("design process"). These models are then analysed, verified, and transformed into VHDL-AMS for simulation and virtual prototyping purposes ("System Evaluation").