Robustness testing of composed real-time systems
In this paper, we suggest a methodology for testing robustness of Real-Time Component-Based Systems (RTCBS). A RTCBS system is described as a collection of components where each component is modeled as a Timed Input-Output Automaton (TIOA). For each component, we handle two specifications: a nominal...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | article |
| Published: |
2010
|
| Online Access: | http://hdl.handle.net/10725/14734 https://doi.org/10.3233/JCM-2010-0274 http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.php https://content.iospress.com/articles/journal-of-computational-methods-in-sciences-and-engineering/jcm00274 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|