Silvano DAL ZILIO
Silvano DAL ZILIO
Home
Publications
Projects
Courses
Posts
Software
Contact
Light
Dark
Automatic
Safety
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 …
Alexandre Albore
,
Silvano Dal Zilio
,
Marie De Roquemaurel
,
Christel Seguin
,
Pierre Virelizier
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 …
Alexandre Albore
,
Silvano Dal Zilio
,
Guillaume Infantes
,
Christel Seguin
,
Pierre Virelizier
PDF
Cite
Project
DOI
Building Confidence on Formal Verification Models
A problem hindering the adoption of formal methods in the industry is how to integrate the models and results used during formal …
Silvano Dal Zilio
,
Pierre-Alain Bourdil
,
Éric Jenn
PDF
Cite
Project
Integrating Model Checking in an Industrial Verification Process: a Structuring Approach
An obstacle to the adoption of model-checking in large projects is a lack of guidelines on how to integrate formal methods with …
Silvano Dal Zilio
,
Pierre-Alain Bourdil
,
Éric Jenn
PDF
Cite
Project
Cite
×