In this paper, we propose a diagnostic method for the case where one transfer or output fault may be present in a real time system modelled by a Timed Input Output Automaton (TIOA). Timed Wp-method is used for generating timed test cases. First, the diagnostic procedure generates a set of diagnoses having the power of explaining all implementation observed outputs. It then reduces (if necessary) the number of diagnoses by generating for them additional diagnostic tests. The method guarantees the correct diagnosis of any single output/transfer fault in a TIOA. We also propose a tool that implements the suggested method.
CITATION STYLE
Nourelfath, M., & El-Ghazouani, K. (2004). Diagnostic Tests for Real Time Systems. In Probabilistic Safety Assessment and Management (pp. 1128–1133). Springer London. https://doi.org/10.1007/978-0-85729-410-4_182
Mendeley helps you to discover research relevant for your work.