Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts

DOI10.1007/11888116_27MaRDI QIDQ3613082zbMATH OpenOpenAlexFDO

Authors Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez

Publication date 11 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11888116_27

Mathematics Subject Classification ID

Distributed systems (68M14) 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)

Recommendations

• Formal testing from timed finite state machines
• Towards deriving test sequences by model checking
• Testing Finite State Machines Presenting Stochastic Time and Timeouts
• Implementation Relations for Stochastic Finite State Machines
• Conformance Testing Relations for Timed Systems

Cites work

• A theory of timed automata
• Conformance Testing Relations for Timed Systems
• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• scientific article; zbMATH DE number 1973972 (Why is no real title available?)
• scientific article; zbMATH DE number 2013786 (Why is no real title available?)
• scientific article; zbMATH DE number 1746452 (Why is no real title available?)
• scientific article; zbMATH DE number 1746453 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• Testing timed automata

Cited in

(7)

• Formal testing from timed finite state machines
• Towards deriving test sequences by model checking
• Implementation Relations for Stochastic Finite State Machines
• Specification of Timed EFSM Fault Models in SDL
• scientific article; zbMATH DE number 1973972 (Why is no real title available?)
• Deterministic timed finite state machines: equivalence checking and expressive power
• On Resource-Sensitive Timed Component Connectors

This page was built for publication: Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts

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