NOTE! This site uses cookies and similar technologies.

If you not change browser settings, you agree to it. Learn more

I understand

Learn more about cookies at : http://www.aboutcookies.org/Default.aspx?page=1

Design and analysis

List institute relies on its model-driven engineering workshop, Papyrus, in order to provide industrial solutions facilitating correct specifications, design and implementation through complex systems’ creation, possibly critical and particularly software based systems. Based on unifying standards (UML, SysML, MARTE, AUTOSAR) this methodological environment allows systems’ risks analysis as soon as the modelling step at safety and security’s stake and optimisation like real-time and allocation capabilities.On the other hand, we also support specialisation and extension in order to adapt to fields of application’s underlying specificities. For example: transport, health, manufacturing, energy. We also give particular attention to specific concerns such as safety, security, scalability and/or certification.

Our researchers collaborate with industrial companies on the field of automotive, railway, telecommunications and smart manufacturing.

Among our academic partners

Ecole Centrale Paris (France), LIFL (Lille, France), UBO (Brest, France), MDH (Mälardalen University, Sweden), UBO (Brest, France) and Fraunhofer Fokus institute (Berlin, Germany), Scuola Superiore Sant’Anna (Pisa, Italy).

Assets

  • Great model and language engineering expertise worldwide renowned as well as through academic community as industrial
  • Strong involvement into international standardisation bodies (ex: OMG and AUTOSAR)
  • Leadership on Papyrus modelling assistance open-source project
  • A whole gamut of technologies allowing models’ efficient exploitation. Ex: safety and security analysis, code generation and deployment, test generation and models’ simulation

Major technologies

System models’ simulation

Description

Moka is a Papyrus extension dedicated to systems’ simulation. It will make dynamic models work in order to test failure modes, detect errors, gaps or inconsistencies. Moka implements OMG standards linked to UML models’ execution (foundational UML – fUML and Precise Semantics of UML Composite Structures – PSCS) so that simulations are made in conformity with UML normative semantics. The tool can still be programmed by other semantics of execution (ex: in connection with UML profiles’ use) in order to propose a user experiment adapted to targeted fields of application.

Applications

Systems’ fast prototyping, executable specifications modelling and validation, models’ shake-out and simulation.

Major projects

Publications

 

System models’ formal analysis

Description

Diversity is a Papyrus extension specialised in formal analysis of systems’ described by the platform. The analysis’ objectives rely on two main objectives: debugging system models on the one hand (deadlocks identification – property proof – attainability analysis…) and on the other hand to test systems using reference models as well to generate automatically test cases as to evaluate execution traces’ conformity to models. The use of DIVERSITY tool functionalities can be incorporated into a certification process.

Applications

Models debugging and analysis, model-based automated tests’ generation, execution traces automated analysis and associated verdicts’ production.

Major projects

  • PERFECT ANR project
  • CONNEXION BLGE project 
  • PRAGMALIST Collaboration with PragmaDev.
  • FSF project (IRT SystemX)
  • SESAMGRID, BGLE project
  • OpenES, CATRENE project 

Publications

 

System models’ safety and security

Description

Sophia is a Papyrus extension dedicated to functional security analysis monitoring assistance based on systems described with Papyrus (SySML or dedicated languages) inside the platform. It sets up Fault trees analysis technics, minimal cut sets and failure modes identification and their effects on qualitative aspects too (FMEA ). The tool will also help monitoring probabilistic studies on quantitative aspects. Using the same model for design and security analysis avoids interpretation mistakes and reduces conception time and costs.

Applications

Safety and reliability studies assistance (automotive, railway, robotics, health industrial sectors…). Extension to security domain (harmlessness, confidentiality, etc.) associating cyber and physical aspects.

Major projects

Publications

  • Nataliya Yakymets, Yupanqui Munoz Julho, Agnes Lanusse. Sophia framework for model-based safety analysis. Congrès Lambda Mu de maîtrise des risques et de sûreté de fonctionnement, October 21-23, Dijon, France, 2014.
  • N. Yakymets, S. Dhouib, H. Jaber, A. Lanusse. Model-Driven Safety Assessment of Robotic Systems. 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS’2013, November 3-7, Tokyo, Japan, 2013.