Logiciel Année : 2020

GenoM3 Fiacre Template

Résumé

The GenoM3 Fiacre package is a GenoM3 template. It needs to be run jointly with GenoM3 applied to a module specification. Applying this template to a module synthesizes a Fiacre formal model of the module, either to be used with the Tina toolbox (to prove some formal properties using model checking), but also with the Hippo engine to execute the equivalent formal model of the component (in place of the regular GenoM3 code).

HAL

Cite hal-03683044 Article Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet. A formal toolchain for offline and run-time verification of robotic systems. Robotics and Autonomous Systems, 2023, 159, pp.104301. ⟨10.1016/j.robot.2022.104301⟩. ⟨hal-03683044v2⟩

Dates et versions

hal-04751289 , version 1 (24-10-2024)

Licence

Identifiants

  • HAL Id : hal-04751289 , version 1

Citer

Félix Ingrand. GenoM3 Fiacre Template. 2020. ⟨hal-04751289⟩
287 Consultations
87 Téléchargements

Partager

  • More