TY - GEN
T1 - New results on timed specifications
AU - Bourke, Timothy
AU - David, Alexandre
AU - Larsen, Kim G.
AU - Legay, Axel
AU - Lime, Didier
AU - Nyman, Ulrik
AU - Wa̧sowski, Andrzej
PY - 2012/3/7
Y1 - 2012/3/7
N2 - Recently, we have proposed a new design theory for timed systems. This theory, building on Timed I/O Automata with game semantics, includes classical operators like satisfaction, consistency, logical composition and structural composition. This paper presents a new efficient algorithm for checking Büchi objectives of timed games. This new algorithm can be used to enforce liveness in an interface, or to guarantee that the interface can indeed be implemented. We illustrate the framework with an infrared sensor case study.
AB - Recently, we have proposed a new design theory for timed systems. This theory, building on Timed I/O Automata with game semantics, includes classical operators like satisfaction, consistency, logical composition and structural composition. This paper presents a new efficient algorithm for checking Büchi objectives of timed games. This new algorithm can be used to enforce liveness in an interface, or to guarantee that the interface can indeed be implemented. We illustrate the framework with an infrared sensor case study.
U2 - 10.1007/978-3-642-28412-0_12
DO - 10.1007/978-3-642-28412-0_12
M3 - Conference contribution
AN - SCOPUS:84857740549
SN - 9783642284113
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 175
EP - 192
BT - Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Revised Selected Papers
T2 - 20th International Workshop on Algebraic Development Techniques, WADT 2010
Y2 - 1 July 2010 through 4 July 2010
ER -