๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[ACM Press the 20th International Conference - Pont à Mousson, France (2012.11.08-2012.11.09)] Proceedings of the 20th International Conference on Real-Time and Network Systems - RTNS '12 - Static profiling of the worst-case in real-time programs

โœ Scribed by Brandner, Florian; Hepp, Stefan; Jordan, Alexander

Book ID
118041328
Publisher
ACM Press
Year
2012
Weight
503 KB
Category
Article
ISBN
1450314090

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[ACM Press the 20th International Confer
[ACM Press the 20th International Conference - Pont à Mousson, France (2012.11.08-2012.11.09)] Proceedings of the 20th International Conference on Real-Time and Network Systems - RTNS '12 - FFX
โœ 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