APP下载
[00040296]一种中断驱动系统程序生成和分析方法
联系人： 南京大学
所在地：江苏 南京市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
本发明公开了一种中断驱动系统程序生成和分析方法，包括以下步骤获取中断驱动系统设计数据；根据中断驱动系统设计数据建立中断驱动系统模型；根据中断驱动系统模型导出代码框架，所述代码框架包括中断处理程序、系统任务处理程序；将系统任务处理程序中的任务子函数人工填充完整，并使用WCET分析工具分析其函数最坏运行时间，对比源代码框架中的最坏时间标注，判断其是否满足要求进行处理。本发明将各类不同具体运用场景下的中断驱动系统归纳转化为某种相对固定的模型并由此生成代码框架，可以减少程序错误和提高开发效率，并在此基础上做进一步代码分析，确定是否满足中断驱动系统设计需求。
