• Home
  • Search
  • Improved device driver reliability through hardware verification reuse
  • Cite Icon11
  • https://doi.org/10.1145/1950365.1950383Copy DOI Icon

Improved device driver reliability through hardware verification reuse

  • Mar 5, 2011
  • Leonid Ryzhyk +5 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Faulty 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 common, and result in software that is conceptually and functionally similar, yet kept totally separate. The result is a particularly bad case of duplication of effort: the verification code is correct, but is discarded after the device has been manufactured; the driver code is inferior, but used in actual device operation. We claim that the two tasks, and the software they produce, can and should be unified, and this will result in drastic improvement of device-driver quality and reduction in the development cost and time to market.In this paper we propose a device driver design and verification workflow that achieves such unification. We apply this workflow to develop and test drivers for four different I/O devices and demonstrate that it improves the driver test coverage and allows detecting driver defects that are extremely hard to find using conventional testing techniques.

Similar Papers
  • Conference Article
  • Citations1

Test-driven development of consumer electronics device drivers: A user-level device driver approach

  • Jan 01, 2015
  • Seehwan Yoo +1
  • Conference Article
  • Citations18

Grammar based modelling and synthesis of device drivers and bus interfaces

  • Jan 01, 2008
  • M O'Nils +2
  • Conference Article
  • Citations8

Me3D: A model-driven methodology expediting embedded device driver development

  • May 01, 2011
  • Hui Chen +3
  • Research Article
  • Citations32

Middleware for Distributed Video Surveillance

  • Feb 01, 2008
  • IEEE Distributed Systems Online
  • Henry Detmold +5
  • Conference Article
  • Citations2

Pseudo-real-time control of a USB I/O device under Windows 7

  • Oct 01, 2010
  • ICCAS 2010
  • Yuto Watanabe +3
  • Conference Article
  • Citations2

Rules based automatic Linux Device Driver Verifier And Code Assistance

  • May 01, 2014
  • K.P Dileep +4
  • PDF
  • Research Article

LINUX-XENOMAI TARGET: A REAL-TIME HARDWARE-IN-THE-LOOP SIMULATION FRAMEWORK BASED ON SIMULINK

  • May 09, 2015
  • VFAST Transactions on Software Engineering
  • Egemen Cumhur Kaleli
  • Research Article
  • Citations5

Fine-grained fault tolerance using device checkpoints

  • Mar 16, 2013
  • ACM SIGPLAN Notices
  • Asim Kadav +2
  • Book Chapter
  • Citations24

Decomposition-Based Verification of Cyclic Workflows

  • Jan 01, 2005
  • Yongsun Choi +1
  • Conference Article
  • Citations10

Small inexpensive core asset construction for large gainful product line development

  • Aug 21, 2011
  • Jun Otsuka +5
  • Conference Article

The low-cost solution to space transportation

  • Apr 18, 1996
  • R Sackheim +1
  • Research Article
  • Citations2

The design and implementation of microdrivers

  • Mar 01, 2008
  • ACM SIGPLAN Notices
  • Vinod Ganapathy +4
  • Conference Article
  • Citations111

The design and implementation of microdrivers

  • Mar 01, 2008
  • Vinod Ganapathy +4
  • Research Article
  • Citations76

CSRT法による高強度鋼の遅れ破壊特性の評価

  • Jan 01, 2008
  • Tetsu-to-Hagane
  • Yukito Hagihara +5
  • Research Article
  • Citations16

New product performance through multifunctional teamwork: An analysis of the development process towards quality excellence

  • Apr 01, 2009
  • Total Quality Management & Business Excellence
  • Beatriz Minguela-Rata +1
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.