Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT-ICIW'06) Robustness evaluation of real-Time Protocols Guadeloupe, French Caribbean February 19-February 25 ISBN: 0-7695-2522-9
In this paper, we suggest a methodology for measuring the degree of robustness for Real-Time Component-Based Systems (RTCBS). Each component of the RTCBS system is modeled as a Timed Labeled Transition System (TLTS). For each component, we handle two specifications : a nominal one and a degraded one. We extract test sequences from the nominal specification and we inject automatically faults in order to model hostile environments. A quantitative system is presented. It measures the degree of robustness of the RTCBS based on the robustness of the value of events and transition and also the robustness of their timing constraints. Then we present an adequate test architecture consisting of the System Under Test (SUT), and a distributed tester that consists of a set of coordinating testers. A test execution algorithm is also presented. Testing the SUT is divided into two phases that tests the robustness of each component and the robustness of the communication between them
Index Terms:
Real-Time System, Timed Automata, Component based System, Validation, Testing, Robustness.
Citation:
Abbas Tarhini, Hacene Fouchal, "Robustness evaluation of real-Time Protocols," aict-iciw, pp.95, Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT-ICIW'06), 2006 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||