[ACM Press the 20th International Confer
✍
Bonenfant, Armelle; Cassé, Hugues; de Michiel, Marianne; Knoop, Jens; Kovács, La
📂
Article
📅
2012
🏛
ACM Press
⚖ 460 KB
In order to ensure safety of critical real-time systems it is crucial to verify their temporal properties. Such a property is the Worst-Case Execution Time (WCET), which is obtained by architecture-dependent timing analysis and architecture-independent flow fact analysis. In this article we present