-
公开(公告)号：CN106708536A
公开(公告)日：2017-05-24
申请号：CN201710021560.9
申请日：2017-01-12
Applicant: 南京大学
CPC classification number: G06F8/20 , G06F9/4812
Abstract: 本发明公开了一种中断驱动系统程序生成和分析方法，包括以下步骤：获取中断驱动系统设计数据；根据中断驱动系统设计数据建立中断驱动系统模型；根据中断驱动系统模型导出代码框架，所述代码框架包括中断处理程序、系统任务处理程序；将系统任务处理程序中的任务子函数人工填充完整，并使用WCET分析工具分析其函数最坏运行时间，对比源代码框架中的最坏时间标注，判断其是否满足要求进行处理。本发明将各类不同具体运用场景下的中断驱动系统归纳转化为某种相对固定的模型并由此生成代码框架，可以减少程序错误和提高开发效率，并在此基础上做进一步代码分析，确定是否满足中断驱动系统设计需求。
Search Results
1
records
(took 0.013 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
