loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Abbas Tarhini, LICA/CReSTIC, Universit? de Reims , Cedex, France
Hacene Fouchal, GRIMAAG, Universite des Antilles et de Guyane, F-97157 Pointe-a-Pitre
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.