[发明专利]基于硬件辅助追踪的嵌入式系统运行时验证方法及系统在审
| 申请号： | 202211242521.9 | 申请日： | 2022-10-11 |
| 公开（公告）号： | CN115563919A | 公开（公告）日： | 2023-01-03 |
| 发明（设计）人： | 马峻岩;赵祥模;周婉金;胡飞飞;冯中文 | 申请（专利权）人： | 长安大学 |
| 主分类号： | G06F30/34 | 分类号： | G06F30/34 |
| 代理公司： | 西安通大专利代理有限责任公司 61200 | 代理人： | 房鑫 |
| 地址： | 710064 陕*** | 国省代码： | 陕西;61 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种基于硬件辅助追踪的嵌入式系统运行时验证方法及系统，方法包括根据线性时序逻辑LTL描述的属性以及属性声明配置文件对被测程序源文件进行预处理；将线性时序逻辑LTL描述的属性转换成Verilog描述的确定性有限状态自动机，生成在PYNQ平台上可动态加载的监视器；将预处理后的源程序编译生成可执行文件，运行源程序；嵌入式系统实时输出的指令级追踪信息，实时在线分析运行轨迹，提取嵌入式系统运行轨迹中由DWT结合ITM组件捕获的观察点；使用Python接口编程和控制监视器，根据接收的观察点标记的事件序列验证嵌入式系统的执行是否满足用户输入的LTL属性规定的事件序列，完成验证。本发明侵入性小，操作简单灵活。 | ||
| 搜索关键词： | 基于 硬件 辅助 追踪 嵌入式 系统 运行 验证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于长安大学，未经长安大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202211242521.9/，转载请声明来源钻瓜专利网。
- 上一篇：聚酰胺复合材料及其制备方法
- 下一篇：双层电池模组及电池包
