主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
张一帆,黄超,欧建生,汤恩义,陈鑫.设备驱动程序可靠性和正确性保障方法与技术研究进展.软件学报,2015,26(2):239-253
设备驱动程序可靠性和正确性保障方法与技术研究进展
Research on Reliability and Correctness Assurance Methods and Techniques for Device Drivers
投稿时间:2014-07-01  修订日期:2014-10-31
DOI:10.13328/j.cnki.jos.004778
中文关键词:  安全攸关软件系统  设备驱动程序  可靠性  正确性
英文关键词:safety-critical software system  device driver  reliability  correctness
基金项目:国家重点基础研究发展计划(973)(2014CB340703); 国家自然科学基金(91318301, 91118002, 61321491, 61402222); 教育部高等学校博士学科点专项科研基金(20110091120058); 江苏省产学研项目(BY2014126-03)
作者单位E-mail
张一帆 南京大学 计算机科学与技术系, 江苏 南京 210023
计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023 
 
黄超 南京大学 计算机科学与技术系, 江苏 南京 210023
计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023 
 
欧建生 南京大学 计算机科学与技术系, 江苏 南京 210023
计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023 
 
汤恩义 南京大学 计算机科学与技术系, 江苏 南京 210023
计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023 
 
陈鑫 南京大学 计算机科学与技术系, 江苏 南京 210023
计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023 
chenxin@nju.edu.cn 
摘要点击次数: 2684
全文下载次数: 2630
中文摘要:
      随着计算机技术的不断发展,计算机系统在安全攸关领域得到了广泛应用,其中的软件系统正逐渐成为重要的使能部件.在计算机系统中,设备驱动程序扮演了软件与硬件设备之间桥梁的角色.由于与计算机平台、操作系统、设备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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利