Device Driver Synthesis and Verification

Device Driver Synthesis and Verification

Edited by 

List price: US$49.00

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The device driver is a program which allows the software or higher-level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these systems and executing commands. They provide an abstraction layer for the software above and also mediate the communication between the operating system kernel and the devices below. Usually the operating systems comes with a support for the common device drivers and usually the hardware vendors provide the device driver for their hardware devices for most platforms. The aggressive scaling of the hardware devices and the complex software components has made the device driver development process cumbersome and complex. When the size and functionality of the drivers started increasing the device drivers became a key role in defining the reliability of the system. This has developed an incentive towards automatic synthesis and verification of device drivers.show more

Product details

  • Paperback | 84 pages
  • 152 x 229 x 5mm | 136g
  • Chrono Press
  • United States
  • English
  • 6136704579
  • 9786136704579