摘要

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