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
- 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
- 557Total Downloads
- Downloads (Last 12 months)9
- 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