New Results on Timed Specifications

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

doi:10.1007/978-3-642-28412-0_12

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 proceeding › Bidrag til bog/antologi › Forskning › peer review

4 Citationer (Scopus)

635 Downloads (Pure)

Abstract

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.

Originalsprog	Engelsk
Titel	Recent Trends in Algebraic Development Techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Redaktører	Till Mossakowski, Hans-Jörg Kreowski
Antal sider	18
Forlag	Springer
Publikationsdato	23 feb. 2012
Sider	175-192
ISBN (Trykt)	978-3-642-28411-3
ISBN (Elektronisk)	978-3-642-28412-0
DOI	https://doi.org/10.1007/978-3-642-28412-0_12
Status	Udgivet - 23 feb. 2012
Begivenhed	20th International Workshop on Algebraic Development Techniques WADT 2010 - Varighed: 1 jul. 2010 → 4 jul. 2010

Konference

Konference	20th International Workshop on Algebraic Development Techniques WADT 2010
Periode	01/07/2010 → 04/07/2010

Navn	Lecture Notes in Computer Science
Vol/bind	7137
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-642-28412-0_12

WADT2010.pdfAccepteret manuskript, 184 KB

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Link to publication in Scopus

Citationsformater

Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U., & Wasowski, A. (2012). New Results on Timed Specifications. I T. Mossakowski, & H.-J. Kreowski (red.), Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers (s. 175-192). Springer. https://doi.org/10.1007/978-3-642-28412-0_12

Bourke, Timothy ; David, Alexandre ; Larsen, Kim Guldstrand et al. / New Results on Timed Specifications. Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. red. / Till Mossakowski ; Hans-Jörg Kreowski. Springer, 2012. s. 175-192 (Lecture Notes in Computer Science, Bind 7137).

@inbook{ca334eadb4fd417e9aeb08e20e7bda66,

title = "New Results on Timed Specifications",

abstract = "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{\"u}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. ",

author = "Timothy Bourke and Alexandre David and Larsen, \{Kim Guldstrand\} and Axel Legay and Didier Lime and Ulrik Nyman and Andrzej Wasowski",

year = "2012",

month = feb,

day = "23",

doi = "10.1007/978-3-642-28412-0\_12",

language = "English",

isbn = "978-3-642-28411-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "175--192",

editor = "Till Mossakowski and Hans-J{\"o}rg Kreowski",

booktitle = "Recent Trends in Algebraic Development Techniques",

address = "Germany",

note = "20th International Workshop on Algebraic Development Techniques WADT 2010 ; Conference date: 01-07-2010 Through 04-07-2010",

}

Bourke, T, David, A, Larsen, KG, Legay, A, Lime, D, Nyman, U & Wasowski, A 2012, New Results on Timed Specifications. i T Mossakowski & H-J Kreowski (red), Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Springer, Lecture Notes in Computer Science, bind 7137, s. 175-192, 20th International Workshop on Algebraic Development Techniques WADT 2010, 01/07/2010. https://doi.org/10.1007/978-3-642-28412-0_12

New Results on Timed Specifications. / Bourke, Timothy; David, Alexandre; Larsen, Kim Guldstrand et al.
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. red. / Till Mossakowski; Hans-Jörg Kreowski. Springer, 2012. s. 175-192 (Lecture Notes in Computer Science, Bind 7137).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

TY - CHAP

T1 - New Results on Timed Specifications

AU - Bourke, Timothy

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Lime, Didier

AU - Nyman, Ulrik

AU - Wasowski, Andrzej

PY - 2012/2/23

Y1 - 2012/2/23

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/84857740549

U2 - 10.1007/978-3-642-28412-0_12

DO - 10.1007/978-3-642-28412-0_12

M3 - Book chapter

SN - 978-3-642-28411-3

T3 - Lecture Notes in Computer Science

SP - 175

EP - 192

BT - Recent Trends in Algebraic Development Techniques

A2 - Mossakowski, Till

A2 - Kreowski, Hans-Jörg

PB - Springer

T2 - 20th International Workshop on Algebraic Development Techniques WADT 2010

Y2 - 1 July 2010 through 4 July 2010

ER -

Bourke T, David A, Larsen KG, Legay A, Lime D, Nyman U et al. New Results on Timed Specifications. I Mossakowski T, Kreowski HJ, red., Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Springer. 2012. s. 175-192. (Lecture Notes in Computer Science, Bind 7137). doi: 10.1007/978-3-642-28412-0_12