Robustness evaluation of real-Time Protocols
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...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | conferenceObject |
| Published: |
2006
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10725/14756 https://doi.org/10.1109/AICT-ICIW.2006.162 http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.php https://ieeexplore.ieee.org/abstract/document/1602227 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|