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
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;
Conference_Titel :
Design, Automation & Test in Europe Conference & Exhibition, 2009. DATE '09.
Conference_Location :
Nice
Print_ISBN :
978-1-4244-3781-8
DOI :
10.1109/DATE.2009.5090639
