IEEE - Institute of Electrical and Electronics Engineers, Inc. - A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications

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

Author(s): Mahesh Nanjundappa ; Matthew Kracht ; Julien Ouy ; Sandeep K. Shukla
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): 21 - 30
ISBN (Electronic): 978-0-7695-5035-0
ISSN (Electronic): 1550-4808
DOI: 10.1109/ACSD.2013.6
Regular:

Embedded software systems respond to multiple events coming from various sources - some temporally regular (ex: periodic sampling of continuous time signals) and some intermittent (ex: interrupts,... View More

Advertisement