IEEE - Institute of Electrical and Electronics Engineers, Inc. - Implementing Timed Automata Specifications: The "Sandwich" Approach

2013 13th International Conference on Application of Concurrency to System Design (ACSD 2013)

Author(s): Raymond Devillers ; Jean-Yves Didier ; Hanna Klaudel
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2013
Conference Location: Barcelona, Spain
Conference Date: 8 July 2013
Page(s): 226 - 235
ISBN (Electronic): 978-0-7695-5035-0
ISSN (Electronic): 1550-4808
DOI: 10.1109/ACSD.2013.26
Regular:

From a highly distributed timed automata specification, the paper analyses an implementation in the form of a looping controller, launching possibly many tasks in each cycle. Qualitative and... View More

Advertisement