Robustness testing of composed real-time systems
Hacène Fouchal, Antoine Rollet, Abbas A. Tarhini · Journal of Computational Methods in Sciences and Engineering · 2010
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