DriverGen: Automating the Generation of Serial Device Drivers

被引:0
|
作者
Zhai, Jiannan [1 ]
Du, Yuheng [2 ]
Hughes, Shiree [1 ]
Hallstrom, Jason O. [1 ]
机构
[1] Florida Atlantic Univ, Inst Sensing & Embedded Network Syst Engn, 777 Glades Rd, Boca Raton, FL 33431 USA
[2] Clemson Univ, Sch Comp, Clemson, SC 29634 USA
关键词
D O I
10.1007/978-3-319-47075-7_37
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Microprocessors operate most serial devices in the same way, issuing commands and parsing corresponding responses. Writing the device drivers for these peripherals is a repetitive task. Moreover, measuring the response time of each command can be time-consuming and error prone. In this paper, we present DriverGen, a configuration-based tool developed to provide accurate response time measurement and automated serial device driver generation. DriverGen (i) simulates the command execution sequence of a microprocessor using a Java program running on a desktop, (ii) measures the response time of the target device to each command, and (iii) generates a device driver based on the received responses and measured response times. To evaluate DriverGen, three case studies are considered.
引用
收藏
页码:325 / 330
页数:6
相关论文
共 50 条
  • [1] Documenting and Automating Collateral Evolutions in Linux Device Drivers
    Padioleau, Yoann
    Lawall, Julia
    Hansen, Rene Rydhof
    Muller, Gilles
    EUROSYS'08: PROCEEDINGS OF THE EUROSYS 2008 CONFERENCE, 2008, : 247 - 260
  • [2] Automatic generation of device drivers
    Zhang, QL
    Zhu, MY
    Chen, SY
    ACM SIGPLAN NOTICES, 2003, 38 (06) : 60 - 69
  • [3] Study on auto - generation of real - time device drivers
    Chinese Acad Sciences, Beijing, China
    Ruan Jian Xue Bao, 1 (25-30):
  • [4] Automating gait generation
    Sun, HC
    Metaxas, DN
    SIGGRAPH 2001 CONFERENCE PROCEEDINGS, 2001, : 261 - 269
  • [5] Automating the generation of objects
    Lowry, GR
    Wallace, AI
    1998 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: EDUCATION & PRACTICE, PROCEEDINGS, 1998, : 150 - 157
  • [6] Correct-by-Construction Generation of Device Drivers Based on RTL Testbenches
    Bombieri, Nicola
    Fummi, Franco
    Pravadelli, Graziano
    Vinco, Sara
    DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2009, : 1500 - 1505
  • [7] WRITING SERIAL DRIVERS FOR UNIX
    WELLS, B
    DR DOBBS JOURNAL, 1994, 19 (15): : 68 - &
  • [8] Drivers for Device to Device Streaming
    Eschweiler, Dominic
    Lindenstruth, Volker
    PARALLEL COMPUTING: ON THE ROAD TO EXASCALE, 2016, 27 : 123 - 132
  • [9] Automating Cryptographic Code Generation
    Yarom, Yuval
    PROCEEDINGS OF THE 2022 WORKSHOP ON ATTACKS AND SOLUTIONS IN HARDWARE SECURITY, ASHES 2022, 2022, : 3 - 3
  • [10] AUTOMATING VISUAL LANGUAGE GENERATION
    CRIMI, C
    GUERCIO, A
    PACINI, G
    TORTORA, G
    TUCCI, M
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (10) : 1122 - 1135