基于中断驱动模型的嵌入式软件控制行为验证平台及方法
实质审查的生效
摘要
本发明提供了一种基于中断驱动模型的嵌入式软件控制行为验证平台，包括依次连接有：寄存器模拟模块、查询表模拟模块、数据缓存区管理模块及虚拟接口模块，以及依据上述验证平台而产生的验证方法，通过建立软件运行的特定物理平台（SoC2008）及外部连续变化的物理环境（基于1553B总线的JKR 65170 RT模式下）的C模型，可将开发人员编写的嵌入式软件在本仿真运行环境中得到与真实硬件环境一样的执行，能够完整描述该系统平台运行时与外部大量数据交互时产生的多任务并发、多重中断嵌套的行为，改进了单一通过软件程序输入测试激励的方法，极大提高了软件的可信性，普遍适用于实际的航天嵌入式复杂软件。
基本信息
专利标题 ：
基于中断驱动模型的嵌入式软件控制行为验证平台及方法
专利标题（英）：
暂无
公开（公告）号 ：
CN114519068A
申请号 ：
CN202210131391.5
公开（公告）日 ：
2022-05-20
申请日 ：
2022-02-14
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
王红霞刘鸿瑾王宏张绍林李宾王小波于薇薇付宝玲唐永学马远航牟宁
申请人 ：
北京轩宇空间科技有限公司
申请人地址 ：
北京市顺义区高丽营镇文化营村北(临空二路1号)
代理机构 ：
成都诚中致达专利代理有限公司
代理人 ：
杨春
优先权 ：
CN202210131391.5
主分类号 ：
G06F16/2455
IPC分类号 ：
G06F16/2455 G06F12/0877
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F16/2455
••••查询执行
法律状态
2022-06-07 ：
实质审查的生效
IPC(主分类) : G06F 16/2455
申请日 : 20220214
申请日 : 20220214
2022-05-20 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
