Mohan, S.; Mueller, F.; Root, M.; Hawkins, W.; Healy, C.; Whalley, D.; Vivancos Rubio, Emilio(Association for Computing Machinery (ACM), 2011)
Embedded systems with real-time constraints depend on a priori knowledge of worst-case execution times (WCETs) to determine if tasks meet deadlines. Static timing analysis derives bounds on WCETs but requires statically ...