WCRT algebra and interfaces for esterel-style synchronous processing
Mendler, M.
von Hanxleden, R.
Traulsen, C.
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.
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
