一种最坏执行时间WCET的确定方法、装置和可读介质
授权
摘要
本发明公开了一种最坏执行时间WCET的确定方法、装置和可读介质,所述方法包括:获取编译后的程序的符号文件,将符号文件加载到模拟内存中;确定是否满足程序运行结束条件;在确定出未满足程序运行结束条件时,基于当前配置的时间参考量,模拟处理器的指令运行符号文件中的代码;在本次代码运行结束时,确定本次运行符号文件中的代码的运行时间,继续执行确定是否满足程序运行结束条件;在确定出满足程序运行结束条件时,基于历次确定出的运行符号文件中的代码的运行时间,确定编译后的程序的最坏执行时间WCET。由于本发明在模拟环境下模拟运行符号文件中的代码,无需基于程序研发出硬件后再基于该硬件确定该程序的WCET,降低了复杂度。
基本信息
专利标题 :
一种最坏执行时间WCET的确定方法、装置和可读介质
专利标题(英):
暂无
公开(公告)号 :
CN109558141A
申请号 :
CN201811438591.5
公开(公告)日 :
2019-04-02
申请日 :
2018-11-28
授权号 :
CN109558141B
授权日 :
2022-05-13
发明人 :
朱异袁玉辉周伟
申请人 :
北京东土科技股份有限公司;北京科银京成技术有限公司
申请人地址 :
北京市石景山区实兴大街30号院2号楼8至12层901
代理机构 :
北京同达信恒知识产权代理有限公司
代理人 :
黄志华
优先权 :
CN201811438591.5
主分类号 :
G06F8/41
IPC分类号 :
G06F8/41 G06F11/36
IPC结构图谱
G
G部——物理
G06
计算;推算或计数
G06F
电数字数据处理
G06F8/00
软件工程设计
G06F8/40
程序代码转换
G06F8/41
编译
法律状态
2022-05-13 :
授权
2020-03-13 :
专利实施许可合同备案的生效、变更及注销
专利实施许可合同备案的生效IPC(主分类) : G06F 8/41
合同备案号 : X2020980000255
让与人 : 北京东土科技股份有限公司,北京科银京成技术有限公司
受让人 : 科东(广州)软件科技有限公司
发明名称 : 一种最坏执行时间WCET的确定方法、装置和可读介质
申请日 : 20181128
申请公布日 : 20190402
许可种类 : 排他许可
备案日期 : 20200218
合同备案号 : X2020980000255
让与人 : 北京东土科技股份有限公司,北京科银京成技术有限公司
受让人 : 科东(广州)软件科技有限公司
发明名称 : 一种最坏执行时间WCET的确定方法、装置和可读介质
申请日 : 20181128
申请公布日 : 20190402
许可种类 : 排他许可
备案日期 : 20200218
2019-04-26 :
实质审查的生效
IPC(主分类) : G06F 8/41
申请日 : 20181128
申请日 : 20181128
2019-04-02 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
1、
CN109558141A.PDF
PDF下载