嵌入式系统软件模拟及硬件接口设计的快速验证
A Fast Interface Verification with RTOS Software Simulator作者机构:北京计算机技术及应用研究所北京100854 华中科技大学自控系系统工程研究所武汉430074 北京理工大学ASIC研究所北京100081
出 版 物:《电子与信息学报》 (Journal of Electronics & Information Technology)
年 卷 期:2004年第26卷第10期
页 面:1675-1680页
核心收录:
学科分类:0711[理学-系统科学] 07[理学] 08[工学] 081101[工学-控制理论与控制工程] 0811[工学-控制科学与工程] 071102[理学-系统分析与集成] 081103[工学-系统工程]
基 金:国家部级资助项目
主 题:嵌入式系统 协同模拟 功能验证 模拟器 实时操作系统
摘 要:该文提出了一种面向宿主机器代码编译的嵌入式软件功能验证方法,该方法从系统行为级验证系统功能,通过建立RTOS软件模拟器,实现嵌入式软件功能及硬件接口设计的快速验证,并以椭圆滤波器为例,阐述如何使用该方法验证嵌入式系统软件和硬件接口功能。