Please use this identifier to cite or link to this item: https://doi.org/10.1145/1837274.1837288
Title: Timing analysis of Esterel programs on general-purpose multiprocessors
Authors: Ju, L. 
Huynh, B.K. 
Roychoudhury, A. 
Chakraborty, S.
Keywords: Esterel
Multiprocessor
Synchronous language
Timing analysis
Issue Date: 2010
Source: Ju, L.,Huynh, B.K.,Roychoudhury, A.,Chakraborty, S. (2010). Timing analysis of Esterel programs on general-purpose multiprocessors. Proceedings - Design Automation Conference : 48-51. ScholarBank@NUS Repository. https://doi.org/10.1145/1837274.1837288
Abstract: Synchronous languages like Esterel have gained wide popularity in certain domains such as avionics. However, platform-specific timing analysis of code generated from Esterel-like specifications have mostly been neglected so far. The growing volume of electronics and software in domains like automotive, calls for formalspecification based code generation to replace manually written and optimized code. Such cost-sensitive domains require tight estimation of timing properties of the generated code. Towards this goal, we propose a scheme for generating C code from Esterel specifications for a multiprocessor platform, followed by timing analysis of the generated code. Due to dependencies across program fragments mapped onto different processors, traditional Worst-Case Execution Time (WCET) analysis techniques for sequential programs cannot applied be to this setting. Our proposed timing analysis technique is tailored to capture such inter-processor code dependencies. Our main novelty stems from how we detect and remove infeasible paths arising from a multiprocessor implementation during our timing analysis. We apply our timing analysis on a number of standard Esterel benchmarks, which show that performing the proposed inter-processor infeasible path elimination may lead to up to 14.3% tighter estimation of the WCRT, thereby leading to resource over-dimensioning and poor design. Copyright 2010 ACM.
Source Title: Proceedings - Design Automation Conference
URI: http://scholarbank.nus.edu.sg/handle/10635/40365
ISBN: 9781450300025
ISSN: 0738100X
DOI: 10.1145/1837274.1837288
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

10
checked on Dec 11, 2017

Page view(s)

42
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


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