Abstract
Specification theories for real-time systems allow to reason about interfaces 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 introduced. 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.
Originalsprog | Engelsk |
---|---|
Bogserie | Lecture Notes in Computer Science |
Vol/bind | 6919 LNCS |
Sider (fra-til) | 129-144 |
Antal sider | 16 |
ISSN | 0302-9743 |
DOI | |
Status | Udgivet - 1 jan. 2011 |
Begivenhed | 9th International Conference on Formal Modeling and Analysis of Timed Systems - Aalborg , Danmark Varighed: 21 sep. 2011 → 23 sep. 2011 |
Konference
Konference | 9th International Conference on Formal Modeling and Analysis of Timed Systems |
---|---|
Land/Område | Danmark |
By | Aalborg |
Periode | 21/09/2011 → 23/09/2011 |