Timing fault models for systems with multiple timers

Authors:
M. Ümit Uyar;Yu Wang;Samrat S. Batth;Adriana Wise;M. A. Fecko
Affiliations:
The City College of the City University of New York, New York;The City College of the City University of New York, New York;The City College of the City University of New York, New York;Department of Computer Science, Graduate Center, CUNY, New York;Applied Research Area, Telcordia Technologies Inc., New Jersey
Venue:
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Year:
2005

Citing 11
Cited 3

Optimal length test sequence generation using distinguishing sequences

IEEE/ACM Transactions on Networking (TON)
A theory of timed automata

Theoretical Computer Science
Towards evaluating fault coverage of protocol test sequences

PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
On fault coverage of tests for finite state specifications

Computer Networks and ISDN Systems - Special issue on protocol testing
Testing timed automata

Theoretical Computer Science
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method

IEEE Transactions on Software Engineering
Timed Wp-Method: Testing Real-Time Systems

IEEE Transactions on Software Engineering
A Metric Based Theory of Test Selection and Coverage

Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Timed Test Cases Generation Based on State Characterization Technique

RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
A technique to generate feasible tests for communications systems with multiple timers

IEEE/ACM Transactions on Networking (TON)
Research: Construction of checking sequences based on characterization sets

Computer Communications

Specification of Timed EFSM Fault Models in SDL

FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Fault masking by multiple timing faults in timed EFSM models

Computer Networks: The International Journal of Computer and Telecommunications Networking
Compositional testing of communication systems

TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Multiple timing faults, although detectable individually, can hide each other’s faulty behavior making the faulty system indistinguishable from a non-faulty one. A set of graph augmentations are introduced for single timing faults. The fault detection capability of the augmentations is analyzed in the presence of multiple timing faults and shown that multiple occurrences of a class of timing faults can be detected.