Specification of Timed EFSM Fault Models in SDL

DOI10.1007/978-3-540-73196-2_4MaRDI QIDQ3614837zbMATH OpenOpenAlexFDO

Authors Samrat S. Batth, Ewerton R. Vieira, Ana Cavalli, M. Ümit Uyar

Publication date 10 March 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-73196-2_4

zbMATH Keywords

extended finite state machineshit-or-jumpSDLtiming fault models

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• scientific article; zbMATH DE number 1728515
• scientific article; zbMATH DE number 1728516
• On the testability of SDL specifications
• Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts

Cites work

• A theory of timed automata
• scientific article; zbMATH DE number 1418453 (Why is no real title available?)

Cited in

(4)

• Fault masking by multiple timing faults in timed EFSM models
• scientific article; zbMATH DE number 2043468 (Why is no real title available?)
• scientific article; zbMATH DE number 2043469 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2003

This page was built for publication: Specification of Timed EFSM Fault Models in SDL

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