DocumentCode
2170900
Title
WCRT algebra and interfaces for esterel-style synchronous processing
Author
Mendler, Michael ; Von Hanxleden, Reinhard ; Traulsen, Claus
Author_Institution
Fac. of Inform. Sys. & Appl. Comp. Sci., Univ. of Bamberg, Bamberg
fYear
2009
fDate
20-24 April 2009
Firstpage
93
Lastpage
98
Abstract
The synchronous model of computation together with a suitable execution platform facilitates system-level timing predictability. This paper introduces an algebraic framework for precisely capturing worst case reaction time (WCRT) characteristics for Esterel-style reactive processors with hardware-supported multithreading. This framework provides a formal grounding for the WCRT problem, and allows to improve upon earlier heuristics by accurately and modularly characterizing timing interfaces.
Keywords
embedded systems; supervisory programs; timing circuits; Esterel-style reactive processors; formal grounding; hardware-supported multithreading; synchronous model; system-level timing; worst case reaction time; Algebra; Circuits; Computational modeling; Computer science; Embedded system; Grounding; Multithreading; Performance analysis; Predictive models; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation & Test in Europe Conference & Exhibition, 2009. DATE '09.
Conference_Location
Nice
ISSN
1530-1591
Print_ISBN
978-1-4244-3781-8
Type
conf
DOI
10.1109/DATE.2009.5090639
Filename
5090639
Link To Document