Robust Specification of Real Time Components
(2011) 9th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2011) (21.September.2011)
Files
No attached file found for this publication.
Details
- Authors
- Abstract
- Specification theories for real-time systems allow to reason about in-terfaces and their implementation models, using a set of operators that includes satisfaction, refinement, logical and parallel composition. To make such theories applicable throughout the entire design process from an abstract specification to an implementation, we need to be able to reason about possibility to effectively implement the theoretical specifications on physical systems. In the literature, this implementation problem has already been linked to the robustness problem for Timed Automata, where small perturbations in the timings of the models are intro-duced. We address the problem of robust implementations in timed specification theories. Our contributions include the analysis of robust timed games and the study of robustness with respect to the operators of the theory.
Citations
Larsen Kim, G., Legay, A., Traonouez, L.-M., & Wasowski, A. (2011). Robust Specification of Real Time Components. Lecture Notes in Computer Science Formal Modeling and Analysis of Timed Systems. 9th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2011). https://doi.org/10.1007/978-3-642-24310-3_10