DEVICE DRIVER SYNTHESIS.

Saved in:

Bibliographic Details
Title:	DEVICE DRIVER SYNTHESIS.
Authors:	Vij, Mona¹, Keys, John¹, Raghunath, Arun¹, Hahn, Scott¹, Zimmer, Vincent², Ryzhyk, Leonid³, Walker, Adam⁴, Legg, Alexander⁴
Source:	Intel Technology Journal. 2013, Vol. 17 Issue 2, p136-157. 22p.
Subjects:	Device drivers (Computer programs), Computer software, Systems software, Systems development, Systems engineering, Computer operating systems
Abstract:	The article discusses the implementation of Automatic Device Driver Synthesis, a research collaboration project which aims to synthesize device drivers automatically with the use of formal operating system (OS) and device specifications. It mentions the development of a tool chain that uses Simics Device Modeling Language (DML) model. An overview about device driver is provided.
Database:	Engineering Source

Description
Abstract:	The article discusses the implementation of Automatic Device Driver Synthesis, a research collaboration project which aims to synthesize device drivers automatically with the use of formal operating system (OS) and device specifications. It mentions the development of a tool chain that uses Simics Device Modeling Language (DML) model. An overview about device driver is provided.
ISSN:	1535864X