[00281927]一种中断驱动系统程序生成和分析方法

交易价格： 面议

类型： 发明专利

技术成熟度： 正在研发

专利所属地：中国

专利号：CN201710021560.9

交易方式： 完全转让许可转让技术入股

联系人：南京大学

所在地：江苏南京市

服务承诺: 产权明晰; 资料保密
对所交付的所有资料进行保密; 如实描述

登录后向技术服务商咨询

咨询平台客服试试在线客服吧发布技术需求服务免费

技术详细介绍

本发明公开了一种中断驱动系统程序生成和分析方法，包括以下步骤获取中断驱动系统设计数据；根据中断驱动系统设计数据建立中断驱动系统模型；根据中断驱动系统模型导出代码框架，所述代码框架包括中断处理程序、系统任务处理程序；将系统任务处理程序中的任务子函数人工填充完整，并使用WCET分析工具分析其函数最坏运行时间，对比源代码框架中的最坏时间标注，判断其是否满足要求进行处理。本发明将各类不同具体运用场景下的中断驱动系统归纳转化为某种相对固定的模型并由此生成代码框架，可以减少程序错误和提高开发效率，并在此基础上做进一步代码分析，确定是否满足中断驱动系统设计需求。

成果推荐需求推荐评估专家推荐评估机构推荐

更多>

上海平正评估有限公司

服务分类：资产评估、无形资产评...

进入主页
连城资产评估有限公司

服务分类：资产评估、无形资产评...

进入主页

更多>