###
Journal of Software:2015.26(2):239-253

设备驱动程序可靠性和正确性保障方法与技术研究进展
张一帆,黄超,欧建生,汤恩义,陈鑫
(南京大学 计算机科学与技术系, 江苏 南京 210023;计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023)
Research on Reliability and Correctness Assurance Methods and Techniques for Device Drivers
ZHANG Yi-Fan,HUANG Chao,OU Jian-Sheng,TANG En-Yi,CHEN Xin
(Department of Computer Science and Technology, Nanjing University, Nanjing 210023, China;State Key Labotary for Novel Software Technology Nanjing University, Nanjing 210023, China)
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3303   Download 2871
Received:July 01, 2014    Revised:October 31, 2014
> 中文摘要: 随着计算机技术的不断发展,计算机系统在安全攸关领域得到了广泛应用,其中的软件系统正逐渐成为重要的使能部件.在计算机系统中,设备驱动程序扮演了软件与硬件设备之间桥梁的角色.由于与计算机平台、操作系统、设备3个方面同时关联所导致的复杂性,设备驱动程序的开发难度大、成本高,程序中所存在的错误和缺陷常常导致系统失效,在安全攸关领域造成不可挽回的损失.以设备驱动程序可靠性和正确性保障为目标,分别从故障的隔离与恢复、正确性分析和验证、设计建模与复杂性控制这3个方面对当前相关方法和技术进行分析,为开展进一步深入的研究工作打下基础.
Abstract:With the rapid development of computer technology, computer systems have been widely used in the safety-critical field where software systems are important enabling components. In computer systems, device drivers act as the bridge between software and devices. Due to the complexity resulted from the fact that device drivers are associated with platforms, operating systems and devices all together, the development of device drivers is very difficult and costly. Errors and faults in device drivers often lead to system failures, causing irreparable damage to the safety-critical applications. Aiming at the assurance of reliability and correctness, the paper presents a survey of related methods and techniques from three aspects: failure isolation and recovery, correctness analysis and verification, model based design and complexity control. The mainstream methods and techniques are evaluated with their pros and cons, which lays the foundation for the further research.
文章编号:     中图分类号:    文献标志码:
基金项目:国家重点基础研究发展计划(973)(2014CB340703); 国家自然科学基金(91318301, 91118002, 61321491, 61402222); 教育部高等学校博士学科点专项科研基金(20110091120058); 江苏省产学研项目(BY2014126-03) 国家重点基础研究发展计划(973)(2014CB340703); 国家自然科学基金(91318301, 91118002, 61321491, 61402222); 教育部高等学校博士学科点专项科研基金(20110091120058); 江苏省产学研项目(BY2014126-03)
Foundation items:
Reference text:

张一帆,黄超,欧建生,汤恩义,陈鑫.设备驱动程序可靠性和正确性保障方法与技术研究进展.软件学报,2015,26(2):239-253

ZHANG Yi-Fan,HUANG Chao,OU Jian-Sheng,TANG En-Yi,CHEN Xin.Research on Reliability and Correctness Assurance Methods and Techniques for Device Drivers.Journal of Software,2015,26(2):239-253