收藏本站
《软件学报》 2015年02期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

设备驱动程序可靠性和正确性保障方法与技术研究进展

张一帆  黄超  欧建生  汤恩义  陈鑫  
【摘要】:随着计算机技术的不断发展,计算机系统在安全攸关领域得到了广泛应用,其中的软件系统正逐渐成为重要的使能部件.在计算机系统中,设备驱动程序扮演了软件与硬件设备之间桥梁的角色.由于与计算机平台、操作系统、设备3个方面同时关联所导致的复杂性,设备驱动程序的开发难度大、成本高,程序中所存在的错误和缺陷常常导致系统失效,在安全攸关领域造成不可挽回的损失.以设备驱动程序可靠性和正确性保障为目标,分别从故障的隔离与恢复、正确性分析和验证、设计建模与复杂性控制这3个方面对当前相关方法和技术进行分析,为开展进一步深入的研究工作打下基础.

手机知网App
【共引文献】
中国期刊全文数据库 前7条
1 俞立峰;叶绿;史烈;;设备驱动在嵌入式系统中的构件综合[J];工业控制计算机;2006年01期
2 高晓星;李晓霞;薛冰;;基于UML和SPIN的软件安全模型验证[J];长沙大学学报;2013年05期
3 吴世忠;郭涛;董国伟;王嘉捷;;软件漏洞分析技术进展[J];清华大学学报(自然科学版);2012年10期
4 化希耀;苏博妮;陈立平;高贤强;;模型检测技术研究综述[J];塔里木大学学报;2013年04期
5 郑豪;董小社;王恩东;陈宝可;朱正东;;VM内部隔离驱动程序的可靠性架构[J];软件学报;2014年10期
6 阚双龙;黄志球;陈哲;徐丙凤;;使用事件自动机规约的C语言有界模型检测[J];软件学报;2014年11期
7 白璐;;基于驱动代码分离的设备驱动体系结构的研究[J];软件;2015年01期
中国博士学位论文全文数据库 前10条
1 李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
2 刘志锋;模型检测中关键技术的研究及其应用[D];南京大学;2011年
3 王振明;用于指针逻辑的自动定理证明器的设计与实现[D];中国科学技术大学;2009年
4 刘万伟;扩展时序逻辑的推理及符号化模型检验技术[D];国防科学技术大学;2009年
5 胡斌;可信的自治式服务协同系统验证[D];浙江大学;2009年
6 王政;嵌入式周期控制系统的建模与分析[D];华东师范大学;2012年
7 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年
8 史建琦;面向目标代码的实时操作系统形式化验证方法研究[D];华东师范大学;2012年
9 周虹伯;应用数据类型抽象建模提高软件静态测试精度的方法研究[D];北京邮电大学;2013年
10 马超;操作系统设备驱动可靠性研究[D];清华大学;2013年
【相似文献】
中国期刊全文数据库 前10条
1 李晓春,方彦军;监控软件设备驱动程序编制原理与实现[J];江西电力职工大学学报;2002年01期
2 周正干,李和平,安振刚;设备驱动程序通知应用程序的几种方法[J];单片机与嵌入式系统应用;2003年11期
3 王兰英;居锦武;;USB设备驱动程序的实现[J];网络财富;2008年12期
4 叶君耀;刘克宁;;加密存储设备驱动程序的优化设计[J];软件导刊;2010年02期
5 周明建;林平分;;USB设备驱动程序的研究与开发[J];电子元器件应用;2010年11期
6 裘是,裘炅;DOS常驻程序(TSR)Windows化的关键技术[J];电脑爱好者;1996年04期
7 杨词银,黄廉卿;计算机X光影像仪图像采集卡的设备驱动程序[J];红外与激光工程;2002年01期
8 凡人;通用设备驱动程序的设计与实现[J];电脑编程技巧与维护;2004年06期
9 张兵;唐亮;牛斗;;基于嵌入式Linux用户驱动模块设计[J];计算机与数字工程;2009年11期
10 许倩霞,裘炅;DOS常驻程序(TSR)Windows化的实现[J];桂林电子工业学院学报;1996年04期
中国重要会议论文全文数据库 前6条
1 程俊;李广军;;使用DriverStudio3.1开发USB设备驱动程序[A];2006中国西部青年通信学术会议论文集[C];2006年
2 王明路;王希敏;吴长春;;VDK下DSP间的消息传递与设备驱动程序的实现[A];全国第二届嵌入式技术联合学术会议论文集[C];2007年
3 孙艳;叶梅;张楠;赵京伟;;LINUX环境下数据采集与控制系统PCI-VME桥接设备驱动程序的实现[A];第十届全国核电子学与核探测技术学术年会论文集[C];2000年
4 郎宝华;郭俊杰;;Windows 2000环境下测控系统的WDM设备驱动程序的开发及应用[A];制造技术自动化学术会议论文集[C];2002年
5 殷银锁;季振宇;付峰;尤富生;刘锐岗;史学涛;董秀珍;;电阻抗扫描系统中USB模块的研究与开发[A];中国生物医学工程学会成立30周年纪念大会暨2010中国生物医学工程学会学术大会壁报展示论文[C];2010年
6 叶梅;赵京伟;;PC环境下VME数据获取系统组网及驱动软件的编写[A];第9届全国核电子学与核探测技术学术年会论文集[C];1998年
中国重要报纸全文数据库 前10条
1 博利思软件公司总经理 廖原;选择Linux的四个因素[N];计算机世界;2001年
2 黄敦;构造嵌入式Linux[N];中国计算机报;2001年
3 蓝色海岸;DIY搜索设备驱动程序的位置[N];中国电脑教育报;2004年
4 天津 moon;让你改,我放心[N];电脑报;2004年
5 江苏 王志军;巧在DOS下用闪存[N];电脑报;2003年
6 本报记者 张学琦;变革时代促互操作升级 杠杆效应凸现[N];中国电子报;2009年
7 山东 杰子;你了解USB吗[N];电脑报;2002年
8 ;内核将通过“共享源计划”完全开放[N];人民邮电;2006年
9 于文波;共享ADSL接入[N];中国计算机报;2001年
10 上海 林俊;闪存故障解析三例[N];电脑报;2002年
中国硕士学位论文全文数据库 前10条
1 刘明;先锋网设备驱动程序的研究与实现[D];西北工业大学;2002年
2 肖堃;嵌入式系统跨平台统一驱动框架技术研究与实现[D];电子科技大学;2008年
3 史勇;Windows98下设备驱动程序的编写[D];西安电子科技大学;2001年
4 陈国华;Windows环境下设备驱动程序的研究与开发[D];华北电力大学(北京);2004年
5 李涵;USB接口驱动的研究与设计[D];山东科技大学;2005年
6 那洪洋;WINCE.NET系统下USB总线客户端设备驱动程序的研究与开发[D];北京工业大学;2005年
7 程科;嵌入式Linux设备驱动程序的设计与研究[D];电子科技大学;2007年
8 滕永;基于ARM9的嵌入式Linux系统研究及设备驱动程序的开发[D];兰州理工大学;2011年
9 夏先富;基于μC/OS-Ⅱ内核的设备驱动程序框架的研究[D];电子科技大学;2007年
10 赵明;基于嵌入式操作系统的USB设备驱动程序的开发[D];中国科学院研究生院(西安光学精密机械研究所);2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026