Section: Partnerships and Cooperations
Investissements d'Avenir: PIA Clarity
Participants : Julien Deantoni, Robert de Simone, Amin Oueslati, Frédéric Mallet, Marie-Agnès Peraldi-Frati.
This project was funded by the LEOC Call (Logiciel Embarqué et Objets Connectés) of the national support programme Investissements d'Avenir. It ended in January 2018. Partners were: Thales (several divisions), Airbus, Areva, Altran, All4Tec, Artal, the Eclipse Fondation, Scilab Enterprises, CESAMES, U. Rennes, and Inria. The purpose of the project is to develop and promote an open-source version of the ARCADIA Melody system design environment from Thales, renamed CAPPELLA for that purpose. In this project we investigated extensions of Capella to enable simulation and analysis of mode automata in the context of model based system engineering.
We are registered members of three GDR funded by CNRS : SoC, on topics of Hardware-software codesign and Non-Functional Property modeling for co-simulation; LTP, on verification and language design for reactive CPS systems; GPL,con Programming and Software Engineering (LaHMA group), LTP, Langages, Types et Preuves.