Skip to Main content Skip to Navigation
Conference papers

A Predictability Algorithm for Distributed Discrete Event Systems

Abstract : Predictability is considered as a crucial system property that determines with certainty the future occurrence of a fault based on a sequence of observations on system model. There are very few works done on the predictability problem for discrete event systems, which is however extremely important for developing critical complex systems. In this paper, we propose a formal sufficient and necessary condition for this property before presenting a new algorithm based on it, which is extendible from a centralized framework to a distributed one. Both are formally presented, as well as experimental results that show the efficiency of our approach.
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Lina Ye Connect in order to contact the contributor
Submitted on : Tuesday, February 16, 2016 - 11:31:49 AM
Last modification on : Saturday, June 25, 2022 - 10:19:35 PM
Long-term archiving on: : Tuesday, May 17, 2016 - 5:24:38 PM


Files produced by the author(s)



Lina ye, Philippe Dague, Farid Nouioua. A Predictability Algorithm for Distributed Discrete Event Systems. The 17th International Conference on Formal Engineering Methods, Nov 2015, Paris, France. ⟨10.1007/978-3-319-25423-4_13⟩. ⟨hal-01274813⟩



Record views


Files downloads