MOISE

Jan 31, 2019
Go to Project Site
with the support of PIA & IRT Saint-Exupéry

Projet Investissements d’Avenir - MOISE (MOdels and Information sharing for System engineering in Extended enterprise) (Dec. 2015 - Avr. 2019) - Responsable : Silvano Dal Zilio (CNRS), François Vernadat (INSA)

System Engineering recent

Related

Publications

Timed Formal Model and Verification of Satellite FDIR in Early Design Phase
In a previous work, we proposed an extension of the AltaRica language and tools to deal with the modelling and analysis of failures …
PDF Cite Project
A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica
The design of complex safety critical systems raises new technical challenges for the industry. As systems become more complex—and …
PDF Cite Project DOI