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

Research on Reliability and Correctness Assurance Methods and Techniques for Device Drivers

作　　者：张一帆[1,2] 黄超[1,2] 欧建生 汤恩义[1,2] 陈鑫[1,2] 

机构地区：[1]南京大学计算机科学与技术系,江苏南京210023 [2]计算机软件新技术国家重点实验室(南京大学),江苏南京210023

出　　处：《软件学报》2015年第2期239-253,共15页Journal of Software

基　　金：国家重点基础研究发展计划(973)(2014CB340703);国家自然科学基金(91318301;91118002;61321491;61402222);教育部高等学校博士学科点专项科研基金(20110091120058);江苏省产学研项目(BY2014126-03)

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

关 键 词：安全攸关软件系统 设备驱动程序 可靠性 正确性 

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