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

摘要

软件系统的自动生成是９０年代软件工程的主流。由于专用实时设备的高效管理与灵活加接是任何计算机专用实时系统不可或缺的基本功能，加之它们的类别和型号、数量和质量的与日俱增，如何克服专用外设驱动模块的易变性成为任何专用实时系统自动生成的关键。本文介绍作者在专用实时设备驱动程序自动化研究中的初步成果，重点是他们自行研制的专用实时设备驱动程序半自动生成器ＲＴＤＧ的内部构造与实现技术，以及一个经过实践考验的应