Fault masking by multiple timing faults in timed EFSM models

DOI10.1016/J.COMNET.2008.10.025MaRDI QIDQ1013256zbMATH OpenOpenAlexFDO

Authors Yu Wang, Samrat S. Batth, Mariusz A. Fecko, M. Ümit Uyar

Publication date 17 April 2009

Published in Computer Networks (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.comnet.2008.10.025

zbMATH Keywords

conformance testingextended finite state machineExtended Finite State Machinesfault maskingfault modelingfinite state machineImplementation Under Testmultiple timerstimed EFSM

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• Specification of Timed EFSM Fault Models in SDL
• A flexible formal framework for masking/demasking faults
• A fault-tolerance model for multiprocessor real-time systems
• Fault diagnosis in discrete-event systems: incorporating timing information
• Tolerance to multiple transient faults for aperiodic tasks in hard real-time systems

Cited in

(1)

• scientific article; zbMATH DE number 1973972 (Why is no real title available?)

This page was built for publication: Fault masking by multiple timing faults in timed EFSM models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1013256)