MOISE

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)

Avatar
Silvano DAL ZILIO
CNRS Researcher

My research interests include formal methods and concurrency semantics.

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 …

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 …