Home // VALID 2016, The Eighth International Conference on Advances in System Testing and Validation Lifecycle // View article

SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems

Authors:
Hassan Ibrahim
Philippe Dague
Laurent Simon

Keywords: Diagnosability, Predictability, SAT, DES, DDES

Abstract:
In the general framework of safety analysis, diagnosability of a system, i.e., the guarantee to surely identify any fault in a finite delay after its occurrence, based on the available observations, is a key property to be verified at design stage. Diagnosability analysis of discrete event systems received a lot of attentions in the past twenty years, firstly in the centralized, then in the distributed case. In particular, a satisfiability-based approach was proposed in 2007 in the centralized case. We extend in this work this approach to cover also distributed discrete event systems, by handling both observable and unobservable synchronous communication events at the same time. Then, we adapt the method to analyze, in both centralized and distributed cases, fault predictability, a stronger property than diagnosability, which guarantees that any fault can be correctly predicted before its occurrence, based on observations. We provide experimental results for both diagnosability and predictability.

Pages: 7 to 13

Copyright: Copyright (c) IARIA, 2016

Publication date: August 21, 2016

Published in: conference

ISSN: 2308-4316

ISBN: 978-1-61208-500-5

Location: Rome, Italy

Dates: from August 21, 2016 to August 25, 2016