Conference
Microcontroller Assembly Synthesis from Timed Automaton Task Specifications
Abstract
A method for the automatic refinement of single-task timed automaton specifications into microcontroller assembly code is proposed. The outputs of the refinement are an assembly implementation and a timed automaton describing its exact behaviour. Implementation is only possible when all specified timing behaviours can be met by the target microcontroller. Crucially, the implementation does not make the simplifying synchrony assumption, yet …
Authors
Bandur V; Kahl W; Wassyng A
Series
Lecture Notes in Computer Science
Volume
7437
Pagination
pp. 63-77
Publisher
Springer Nature
Publication Date
2012
DOI
10.1007/978-3-642-32469-7_5
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743