Lei Xiao, Jian feng Cui, Xiao zhu Xie, Li juan Liu
Generally, device drivers have various implementations depending on the environments such as target devices and operating systems. The concept of device driver specification has been introduced to increase understand ability of device drivers and their implementation. This paper presents an XSL-based tool for extracting a device driver specification from device driver source code. We focus on the extensibility of specification extractions so that any changes to the structures of source code and driver specification can be accommodated without modifications to the tool. In this paper, the architecture of the tool is described and the result of its application to extract device driver specification on Linux platform is provided.