WCRT algebra and interfaces for esterel-style synchronous processing

—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.

• Type: Conference
• Year: 2009
• Where: DATE
• Authors: Michael Mendler, Reinhard von Hanxleden, Claus Traulsen
• Keywords: DATE 2009, Hardware, Suitable Execution Platform, System-level Timing Predictability, Worst Case Reaction