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)
329 Downloads (Pure)

Resumé

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

Citer dette

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. Lecture Notes in Computer Science, Bind. 7137 https://doi.org/10.1007/978-3-642-28412-0_12
Bourke, Timothy ; David, Alexandre ; Larsen, Kim Guldstrand ; Legay, Axel ; Lime, Didier ; Nyman, Ulrik ; Wasowski, Andrzej. / 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 structuralcomposition. This paper presents a new efficient algorithm for checking B{\"u}chiobjectives 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 beimplemented. 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 = "2",
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",

}

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; Legay, Axel; Lime, Didier; Nyman, Ulrik; Wasowski, Andrzej.

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 proceedingBidrag til bog/antologiForskningpeer 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 structuralcomposition. This paper presents a new efficient algorithm for checking Büchiobjectives 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 beimplemented. 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 structuralcomposition. This paper presents a new efficient algorithm for checking Büchiobjectives 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 beimplemented. We illustrate the framework with an infrared sensor case study.

UR - http://www.scopus.com/inward/record.url?scp=84857740549&partnerID=8YFLogxK

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

ER -

Bourke T, David A, Larsen KG, Legay A, Lime D, Nyman U et al. New Results on Timed Specifications. I Mossakowski T, Kreowski H-J, 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). https://doi.org/10.1007/978-3-642-28412-0_12