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!
|