Meeting Deadlines Together

File Description SizeFormat 
long.pdfAccepted version891.11 kBAdobe PDFView/Open
Title: Meeting Deadlines Together
Authors: Bocchi, L
Lange, J
Yoshida, N
Item Type: Conference Paper
Abstract: © Laura Bocchi, Julien Lange, and Nobuko Yoshida; licensed under Creative Commons License CC-BY.This paper studies safety, progress, and non-zeno properties of Communicating Timed Automata (CTAs), which are timed automata (TA) extended with unbounded communication channels, and presents a procedure to build timed global specifications from systems of CTAs. We define safety and progress properties for CTAs by extending properties studied in communicating finitestate machines to the timed setting. We then study non-zenoness for CTAs; our aim is to prevent scenarios in which the participants have to execute an infinite number of actions in a finite amount of time. We propose sound and decidable conditions for these properties, and demonstrate the practicality of our approach with an implementation and experimental evaluations of our theory.
Issue Date: 1-Sep-2015
Date of Acceptance: 15-Jun-2015
URI: http://hdl.handle.net/10044/1/26927
DOI: http://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.283
ISBN: 978-3-939897-91-0
Journal / Book Title: 26th International Conference on Concurrency Theory (CONCUR 2015)
Copyright Statement: © Laura Bocchi, Julien Lange, and Nobuko Yoshida; licensed under Creative Commons License CC-BY (http://creativecommons.org/licenses/by/3.0/)
Conference Name: CONCUR 2015
Publication Status: Published
Start Date: 2015-09-01
Finish Date: 2015-09-04
Conference Place: Madrid, Spain
Appears in Collections:Faculty of Engineering
Computing



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commonsx