WCET分析：建立实时系统可靠运行的技术

金永贤; 赵建民; 陈会羽

首页> 中文期刊> 《计算机科学》 >WCET分析：建立实时系统可靠运行的技术

WCET分析：建立实时系统可靠运行的技术

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

实时系统开发必须强调时间的重要性，为了保证系统安全运行，需要验证系统是否在时限内完成各个任务，因此，当设计和验证实时系统时。了解运行在系统中代码的最坏执行时间(WCET)是非常重要的。WCET静态分析(简称WCET分析)计算实时程序最坏执行时间的上界，而上界被用来为应用程序的任务分配正确的CPU时间，它们也是可调度分析工具的输入，因此，WCET分析是可靠建立实时系统安全正确运行的基础。介绍了WCET分析的概念。指出了传统测量存在的缺陷，剖析了WCET分析研究的关键技术，探讨了目前存在的问题和今后的发展方向。

著录项

来源
《计算机科学》 |2004年第b07期|45-48|共4页
作者
金永贤; 赵建民; 陈会羽;
展开▼
作者单位

浙江师范大学计算机科学研究所;

浙江金华321004;

展开▼
原文格式 PDF
正文语种 CHI
中图分类一般性问题;
关键词
实时系统; 可预估性; WCET分析; 程序流分析; 上界; Flow; facts;

相似文献

中文文献
外文文献
专利

1. 基于WCET分析的实时系统轨迹获取技术 [J] . 王馨 ,姬孟洛 ,王戟 . 软件学报 . 2006,第005期
2. 实时系统程序最差情况执行时间(WCET)的分析 [J] . 姬孟洛 ,齐治昌 . 计算机科学 . 2006,第010期
3. 发展先进表面技术、保障装备可靠运行——面向装备可靠性的关键部件表面技术研讨会在西安召开 [J] . 陕西省机械工程学会 . 表面工程资讯 . 2014,第002期
4. 建立安全可靠的设备管理模式推进设备高效运行 [J] . 王赢博 ,张蒙 . 冶金设备管理与维修 . 2020,第005期
5. 建立危机管理体系提高外围供电线路运行可靠性 [J] . 闫乃剑 . 经济视野 . 2013,第003期
6. 基于WCET分析技术的模型检验方法研究 [C] . 张曦 ,董威 . 2011(第四届)全国网络与信息安全学术会议 . 2011
7. 基于共享总线的多核实时系统WCET分析 [A] . 国莹 . 2010

WCET分析：建立实时系统可靠运行的技术

摘要

著录项

相似文献

相关主题

期刊订阅