New Results on Timed Specifications

Timothy Bourke, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

4 Citationer (Scopus)
403 Downloads (Pure)

Abstrakt

Recently, we have proposed a new design theory for timed systems.
This theory, building on Timed I/O Automata with game semantics, includes clas-
sical 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 strengthen the in-
finite behavior of an interface, or to guarantee that the interface can indeed be
implemented. We illustrate the framework with an infrared sensor case study.
OriginalsprogEngelsk
TitelRecent Trends in Algebraic Development Techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
RedaktørerTill Mossakowski, Hans-Jörg Kreowski
Antal sider18
ForlagSpringer
Publikationsdato23 feb. 2012
Sider175-192
ISBN (Trykt)978-3-642-28411-3
ISBN (Elektronisk)978-3-642-28412-0
DOI
StatusUdgivet - 23 feb. 2012
Begivenhed20th International Workshop on Algebraic Development Techniques WADT 2010 -
Varighed: 1 jul. 20104 jul. 2010

Konference

Konference20th International Workshop on Algebraic Development Techniques WADT 2010
Periode01/07/201004/07/2010
NavnLecture Notes in Computer Science
Vol/bind7137
ISSN0302-9743

Citationsformater