Robustness evaluation of real-Time Protocols

Abstract

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.