| HAL-Inria | Publications, software ... of Inria's scientists |
Poster communications
Parallel Diagnosability Analysis with LTL-X Model Checking based on Petri Net Unfoldings
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.
Cited literature [18 references]
https://hal.inria.fr/hal-00915478
Contributor : Hernan Ponce de Leon Connect 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
Contributor : Hernan Ponce de Leon Connect 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
File
dx-2014.pdf
Files produced by the author(s)