嵌入式系统软件模拟及硬件接口设计的快速验证  

A Fast Interface Verification with RTOS Software Simulator

作　　者：王世好[1] 段志刚[2] 刘明业[3] 

机构地区：[1]北京计算机技术及应用研究所,北京100854 [2]华中科技大学自控系系统工程研究所,武汉430074 [3]北京理工大学ASIC研究所,北京100081

出　　处：《电子与信息学报》2004年第10期1675-1680,共6页Journal of Electronics & Information Technology

基　　金：国家部级资助项目

摘　　要：该文提出了一种面向宿主机器代码编译的嵌入式软件功能验证方法,该方法从系统行为级验证系统功能,通过建立RTOS软件模拟器,实现嵌入式软件功能及硬件接口设计的快速验证,并以椭圆滤波器为例,阐述如何使用该方法验证嵌入式系统软件和硬件接口功能。In this paper, author wants to present a new software verification method based on native-compiling technology for embedded system. The method verifies the target system from behavior level, after creating RTOS based software simulator, together with hardware simulator, easily to realize the co-verification for the hardware/software mixed system. At the end of this paper, a co-design example called fifth elliptical filter is put forward to illustrate how to realize the co-verification using the RTOS software simulator.

关 键 词：嵌入式系统 协同模拟 功能验证 模拟器 实时操作系统 

分 类 号：TP15[自动化与计算机技术—控制理论与控制工程]