Improved device driver reliability through hardware verification reuse
Abstract
References
Index Terms
- Improved device driver reliability through hardware verification reuse
Recommendations
Improved device driver reliability through hardware verification reuse
ASPLOS XVI: Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systemsFaulty device drivers are a major source of operating system failures. We argue that the underlying cause of many driver faults is the separation of two highly-related tasks: device verification and driver development. These two tasks have a lot in ...
Improved device driver reliability through hardware verification reuse
ASPLOS '11Faulty device drivers are a major source of operating system failures. We argue that the underlying cause of many driver faults is the separation of two highly-related tasks: device verification and driver development. These two tasks have a lot in ...
Improved device driver reliability through verification reuse
HotDep'10: Proceedings of the Sixth international conference on Hot topics in system dependabilityFaulty device drivers are a major source of operating system failures. We argue that the underlying cause of many driver faults is the separation of two highly-related tasks: device verification and driver development. These two tasks have a lot in ...
Comments
Information & Contributors
Information
Published In
![cover image ACM SIGARCH Computer Architecture News](/cms/asset/ae37e198-fbff-4245-8766-e6945288f22e/1961295.cover.jpg)
- March 2011432 pages
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations8Total Citations
- 556Total Downloads
- Downloads (Last 12 months)8
- Downloads (Last 6 weeks)1
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in