关于实时设备驱动程序自动生成的研究

A STUDY ON AUTO GENERATION OF REAL TIME DEVICE DRIVERS

软件系统的自动生成是９０年代软件工程的主流．由于专用实时设备的高效管理与灵活加接是任何计算机专用实时系统不可或缺的基本功能，加之它们的类别和型号、数量和质量的与日俱增，如何克服专用外设驱动模块的易变性成为任何专用实时系统自动生成的关键．本文介绍作者在专用实时设备驱动程序自动化研究中的初步成果，重点是他们自行研制的专用实时设备驱动程序半自动生成器ＲＴＤＧ（ｒｅａｌｔｉｍｅｄｅｖｉｃｅｇｅｎｅｒａｔｏｒ）的内部构造与实现技术，以及一个经过实践考验的应用实例．此项实时系统自动生成研究过程中的阶段性成果已通过部委级鉴定，并获部委级三等奖．

Automatic generation of software systems is the stream of the 90s in software engineering. Efficient management and flexible addition of special real time devices is the basic function indispensable to any special real time computer system. Moreover, their types and classes, and their quantity and quality are increasing with each passing day.How to overcome special real time peripheral drivers' liability to variation is the key to automatic generation of any special real time system. The paper relates to the preliminary result of our study of automated drivers of special real time devices, with focus on the inner construction and implementation of the semi automatic generator of special real time device drivers, RTDG (real time device generator), which the authors develop on their own, and on a practice tested application example. The stage result from our study o f automatic generation. of special real time peripheral drivers has already passed the authentication on ministry level.