基于Specman的嵌入式软件验证的设计流程

Verification Design Flow for Embedded Software in Specman

下载PDF

导出

摘要基于Specman的硬件验证环境,给出一个嵌入式软件验证的设计流程。利用该设计流程,对Linux下的USB驱动程序进行验证,并成功找到该程序旧版本中的一个缺陷。 This paper introduces a design flow for embedded software verification based on Specman.This design flow is implemented in verification of USB driver under Linux.An existing bug in earlier version of the driver is identified successful.

作者严小兵张毅

机构地区柳州城市职业学院

出处《计算机与现代化》 2010年第8期182-184,共3页 Computer and Modernization

关键词嵌入式软件验证驱动程序 embedded software verification driver

分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献11

1Corbet Jonathan,Rubin Alessandro,Kroahhartman Greg.Linux设备驱动程序(第3版)[M].魏永明,耿岳,钟书毅译.北京:中国电力出版社,2006:1-569.
2IEEE P1647.The e Functional Verification Language Working Group[EB/OL].http://www.eda.org/twiki/bin/view.cgi/P1647/WebHome,2010-03-08.
3Korsgaard Peter.USB:Gadget[EB/OL].http://git.kernel.org/?p=linux/kernel/git/gregkh/usb-2.6.git;a=commit;44444h=77f46328fb83b64befd889ebce6d7fb959932509,2010-03-19.
4Venkateswaran Sreekrishnan.精通Linux驱动程序开发(英文版)[M].北京:人民邮电出版社,2009:1-714.
5王世好,王歆民,刘明业.嵌入式系统软硬件协同验证中软件验证方法[J].计算机研究与发展,2005,42(3):514-519. 被引量：10
6张永博,沈勇.基于Simulink的OSEK嵌入式软件开发方法[J].单片机与嵌入式系统应用,2009,9(5):21-24. 被引量：6
7于晓,王家礼,赵怀军.基于嵌入式Linux的微波信号发生器键盘设计及驱动实现[J].测控技术,2007,26(10):70-71. 被引量：3
8殷永峰,刘斌,姜同敏,张国良.嵌入式软件测试数据处理系统的研究[J].测控技术,2008,27(12):71-73. 被引量：2
9郑继荣,彭虹.基于COMIP系统平台的SoC验证方法[J].中国集成电路,2005(3):48-50. 被引量：1
10林安,王一鸣.基于ADAMS的光盘驱动器隔振系统仿真与优化[J].计算机工程,2004,30(7):154-156. 被引量：2

二级参考文献31

1朱秀琳.高性能VCD光驱隔振系统动态特性研究[J].信息技术,2000(8):20-23. 被引量：3
2田硕,刘原,夏文川,李建秋,欧阳明高.Advanced ECU Software Development Method for Fuel Cell Systems[J].Tsinghua Science and Technology,2005,10(5):610-617. 被引量：3
3钟诗胜,栾圣罡.面向航空发动机全寿命周期管理的航线数据处理系统[J].计算机集成制造系统,2006,12(8):1273-1278. 被引量：10
4IEEE Std 952 - 1997. IEEE Standard Specification Format Guide and Test Procedure for Single-Axis Interferometric Fiber Optic Gyros [ S ]. 1997.
5Henning Wallentowitz,Konrad Reif: Handbuch kraftfahrzeugelektronik, Grundlagen,Komponenten, Systeme, Anwendung [M]. Wiesbaden Deutschland: Vieweg Verlag,2006: 651 - 684.
6OSEK OS 2.2. 1. OSEK/VDX Operation System Specification 2.2.1.
7Real-Time Workshop User' s Guide. Version 5. www.mathworks.com/ access/ helpdesk/ help/ pdf_doc/ rtw/ rtw_ug. pdf.
8Koster Lutz, Thomsen Thomas, Stracke Ralf. Connecting Simulink to OSEK: Automatic Code Generation For Real- Time Operating Systems with TargetLink[OL]. [2008 - 10]. http://www. dspace. de/ftp/papers/dspace_ EmbInt_0102_e_f41. Ipdf.
9Real-Time Workshop Embedded Coder User's Guide. Version 5. www. mathworks. com/access/helpdesk/help/pdf _ doe/ecoder/ecoder_ug.pdf.
10Labrosse Jean J.嵌入式实时操作系统μC/OS-Ⅱ[M].邵贝贝,等译.北京:北京航空航天大学出版社.2005:35-113.

共引文献18

1丁建明,巢凯年.基于ADAMS车用CD光驱的振动隔离研究[J].西华大学学报（自然科学版）,2006,25(4):11-13.
2于晓,王家礼,谷怀栋.基于嵌入式Linux的微波信号发生器实现[J].电子器件,2008,31(3):941-944.
3李翀,王沁,张晓彤,万亚东.一种高效Cable Modem SOC软硬件协同验证平台[J].小型微型计算机系统,2009,30(1):164-168. 被引量：1
4马宁,李玲,田泽,许宏杰.ARINC659总线协议芯片的仿真验证[J].计算机技术与发展,2010,20(1):205-208. 被引量：14
5王前程,黎福海.四缸汽油发动机动力总成(EMS)设计[J].计算机测量与控制,2010,18(9):2098-2100.
6何义,文梅,任巨,杨乾明,伍楠,张春元.面向对称体系结构的FPGA仿真模型研究[J].电子设计工程,2010,18(10):160-163.
7何义,任巨,文梅,杨乾明,伍楠,张春元,郭敏.适用于SIMD体系结构的FPGA分页仿真模型研究[J].计算机研究与发展,2011,48(1):9-18. 被引量：1
8王玉欢,田泽,蔡叶芳.RapidIO IP核的验证方法研究[J].计算机技术与发展,2011,21(7):183-185. 被引量：5
9何义,何圣,彭向军,戴健,张春元.适用于SIMD体系结构的多时钟耦合仿真技术[J].软件,2011,32(9):45-48.
10王乾宇,朱小冬,王毅刚,周鹏.嵌入式软件仿真测试环境中实时控制器的设计[J].计算机测量与控制,2012,20(1):109-112. 被引量：4

1屈玉峰,郭亮,冯根宝.搭建基于E语言参考模型的验证平台[J].中国集成电路,2005,14(9):50-52.
2须自明,王国章,刘战,于宗光.基于e语言的描述综合和验证的统一框架[J].固体电子学研究与进展,2007,27(1):104-108.
3金娟,罗春.基于E语言的外部存储器接口的功能验证[J].电气电子教学学报,2006,28(1):67-69. 被引量：2
4杨凯,文良,吴龙胜,杨帆.基于AHB总线的从设备兼容性设计[J].科学技术与工程,2010,10(15):3760-3762.
5张文静,慕德俊,刘航,张德刚.基于硬盘加密卡的CRC并行算法及其仿真[J].计算机仿真,2008,25(8):123-126. 被引量：2
6苏开生.基于libusb库的S3C6410平台USB2.0无驱设计[J].通讯世界,2015,21(6):301-302.

计算机与现代化

2010年第8期

浏览历史

内容加载中请稍等...

基于Specman的嵌入式软件验证的设计流程

参考文献11

二级参考文献31

共引文献18

相关作者

相关机构

相关主题

浏览历史