1FaMAF - Facultad de Matemática, Astronomía y Física [Cordoba] (Facultad de Matemática, Astronomía y Física Universidad Nacional de Córdoba Medina Allende y Haya de la Torre Ciudad Universitaria 5000, Córdoba Capital, Córdoba, Argentina - Argentina)
Abstract : We present a framework that shows how components in parallel can infer the diagnosability property of the complete system (distributed and with multiple faults) from the diagnosability verification of each component synchronizing with a fault free versions of the other ones. Furthermore, we use existing efficient methods and tools, in particular parallel model checking based on Petri net unfoldings, to verifier diagnosability of such components.
https://hal.inria.fr/hal-00915478 Contributor : Hernan Ponce de LeonConnect in order to contact the contributor Submitted on : Monday, December 15, 2014 - 2:23:42 PM Last modification on : Thursday, January 20, 2022 - 4:19:44 PM Long-term archiving on: : Saturday, April 15, 2017 - 4:32:18 AM
Laura Brandan-Briones, Agnes Madalinski, Hernán Ponce de León. Parallel Diagnosability Analysis with LTL-X Model Checking based on Petri Net Unfoldings. Workshop on Principles of Diagnosis, Sep 2014, Graz, Austria. 2013. ⟨hal-00915478v2⟩