29 citations · 81 across the 19 of their papers we have counts for
3 papers · 1 filter
Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites
Vincent Mussot, Silvano Dal Zilio, Loic Correnson +3
We propose a new approach for modelling the functional behaviour of an Earth observation satellite. We leverage this approach in order to develop a safety critical software, a "tel…
Real-Time Model Checking Support for AADL
B Berthomieu, J. -P Bodeveix, S Dal Zilio +4
We describe a model-checking toolchain for the behavioral verification of AADL models that takes into account the realtime semantics of the language and that is compatible with the…
Real-Time Specification Patterns and Tools
Nouha Abid, Silvano Dal Zilio, Didier Le Botlan
An issue limiting the adoption of model checking technologies by the industry is the ability, for non-experts, to express their requirements using the property languages supported…