Worst case execution time prediction by static program analysis
Worst case execution time prediction by static program analysis
复制标题
通过静态程序分析预测最坏情况执行时间
DOI：
10.1109/ipdps.2004.1303088
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
C. Ferdinand
中科院分区：
文献类型：
--
作者：
C. Ferdinand
仅提供摘要形式。安全关键嵌入式系统中的许多任务具有强实时性。不遵守最后期限可能导致生命损失或重大损害。必须采用最谨慎和最先进的机械，以确保满足所有要求。这样做是设计师的责任。幸运的是，在获得实时系统的运行时保证的最新技术已经取得了很大的进展，基于声音方法的工具是商业上可用的，并已证明其在工业实践中的可用性。
Summary form only given. Many tasks in safety-critical embedded systems have hard real-time characteristics. Failure to meet deadlines may result in the loss of life or in large damages. Utmost carefulness and state-of-the-art machinery have to be applied to make sure that all requirements are met. To do so lies in the responsibility of the designer(s). Fortunately, the state of the art in deriving run-time guarantees for real-time systems has progressed so much that tools based on sound methods are commercially available and have proved their usability in industrial practice.