首页> 外文会议>International Symposium on Leveraging Applications of Formal Methods, Verification and Validation >Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice
【24h】

Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice

机译:工业实践中具有成本效益的最坏情况的执行时间分析

获取原文
获取外文期刊封面目录资料

摘要

To guarantee real-time behavior of an embedded application, a schedulability analysis can be used. Such an analysis requires the worst case execution time (WCET) of the application. While several academic approaches to conservatively bound the WCET have been proposed in the last decade, common practice in industry remains simulation and software tests. One reason is that industrial requirements are not sufficiently addressed by academic approaches. In this paper we identify important industrial requirements for WCET-analysis tools. Then, we describe the methodology of a previously developed WCET-analysis approach and revise important aspects of its methodology and its implementation to address key industrial requirements. In a large-scale case study the WCET-analysis tool is applied to a safety-critical automotive control application to evaluate the applicability of the tool. Furthermore, the faced challenges and the re-targeting costs for a new processor are discussed.
机译:为了保证嵌入式应用程序的实时行为,可以使用调度分析。 这样的分析需要应用程序的最坏情况执行时间(WCET)。 虽然在过去的十年中提出了几种保守绑定WCET的学术方法,但在行业的常见做法仍然是仿真和软件测试。 一个原因是学术方法不充分解决工业需求。 在本文中,我们确定了WCET分析工具的重要工业需求。 然后,我们描述了先前开发的WCET分析方法的方法,并修改了其方法的重要方面及其实施,以解决关键的工业需求。 在一个大规模的案例研究中,WCET分析工具应用于安全关键的汽车控制应用,以评估工具的适用性。 此外,讨论了面临的挑战和新处理器的重新定位成本。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号