scientific article; zbMATH DE number 2013785

MaRDI QIDQ4437065zbMATH OpenFDO

Authors Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann

Publication date 7 December 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2644/26440197.htm

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Adaptive tests derivation for nondeterministic automata
• Passive testing and fault diagnosis for communication finite state machines
• Diagnosability analysis of a class of hierarchical state machines
• Efficient minimization of homogeneous FSMs for fault diagnosis
• Method for the functional diagnosis of nondeterministic finite state machines

Cited in

(6)

• An adaptive generation algorithm for executable state identification sequences in the EFSM model
• Passive testing and fault diagnosis for communication finite state machines
• A DFSM-based protocol conformance testing and diagnosing method
• Diagnosis and testing: how is their relation? Can they be combined?
• Fault Tolerance in Finite State Machines Using Fusion
• Formal Techniques for Networked and Distributed Systems – FORTE 2004

This page was built for publication:

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