Static Timing Analysis for Hard Real-Time Systems
2010; Springer Science+Business Media; Linguagem: Inglês
10.1007/978-3-642-11319-2_3
ISSN1611-3349
AutoresReinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm,
Tópico(s)Formal Methods in Verification
ResumoHard real-time systems have to satisfy strict timing constraints. To prove that these constraints are met, timing analyses aim to derive safe upper bounds on tasks' execution times. Processor components such as caches, out-of-order pipelines, and speculation cause a large variation of the execution time of instructions, which may induce a large variability of a task's execution time. The architectural platform also determines the precision and the complexity of timing analysis. This paper provides an overview of our timing-analysis technique and in particular the methodological aspects of interest to the verification community.
Referência(s)