Silvano DAL ZILIO
Silvano DAL ZILIO
Home
Publications
Projects
Courses
Posts
Software
Contact
Light
Dark
Automatic
Verification
Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites
We propose a new approach for modelling the functional behaviour of an Earth observation satellite. We leverage this approach in order …
Vincent Mussot
,
Silvano Dal Zilio
,
Loïc Correnson
,
Serge Rainjonneau
,
Yves Bardout
,
Grégoire Scano
PDF
Cite
Project
A State Class Construction for Computing the Intersection of Time Petri Nets Languages
We propose a new method for computing the language intersection of two Time Petri nets (TPN); that is the sequence of labels in timed …
Éric Lubat
,
Silvano Dal Zilio
,
Didier Le Botlan
,
Yannick Pencolé
,
Audine Subias
PDF
Cite
Project
DOI
Counting Petri net markings from reduction equations
We propose a method to count the number of reachable markings of a Petri net without having to enumerate these first. The method relies …
Bernard Berthomieu
,
Didier Le Botlan
,
Silvano Dal Zilio
Cite
Project
DOI
Presentation of the 9th Edition of the Model Checking Contest
The Model Checking Contest (MCC) is an annual competition of software tools for model checking. Tools must process an increasing …
Elvio Amparore
,
Bernard Berthomieu
,
Gianfranco Ciardo
,
Silvano Dal Zilio
,
Francesco Gallà
,
Lom Messan Hillah
,
Francis Hulin-Hubard
,
Peter Gjøl Jensen
,
Loïg Jezequel
,
Fabrice Kordon
,
Didier Le Botlan
,
Torsten Liebke
,
Jeroen Meijer
,
Andrew Miner
,
Emmanuel Paviot-Adet
,
Jiří Srba
,
Yann Thierry-Mieg
,
Tom van Dijk
,
Karsten Wolf
PDF
Cite
Project
DOI
On the Semantics of the GenoM3 Framework
The goal of this document is to add to the efforts toward the long-sought objective of secure and safe robots with predictable and a …
Mohammed Foughali
,
Silvano Dal Zilio
,
Félix Ingrand
PDF
Cite
Project
Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
Software constitutes a major part of the development of robotic and autonomous systems and is critical to their successful deployment …
Mohammed Foughali
,
Bernard Berthomieu
,
Silvano Dal Zilio
,
Pierre-Emmanuel Hladik
,
Félix Ingrand
,
Anthony Mallet
PDF
Cite
Project
DOI
Petri Net Reductions for Counting Markings
We propose a method to count the number of reachable markings of a Petri net without having to enumerate these first. The method relies …
Bernard Berthomieu
,
Didier Le Botlan
,
Silvano Dal Zilio
PDF
Cite
Project
DOI
Time-accurate Middleware for the Virtualization of Communication Protocols
Communication between devices in avionics systems must be predictable and deterministic, and data must be delivered reliably. To help …
Rafael Scarduelli
,
Pierre-Alain Bourdil
,
Silvano Dal Zilio
,
Didier Le Botlan
PDF
Cite
Project
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
«
»
Cite
×