实时系统的软件模型方法学

本项目旨在研究以并发性和及时性为特征的实时软件模型和开发方法学。我们分析了传统的主要基于顺序程序的开发方法和基于进程模型的开发方法学；研究了目前具有实时特征的对象模型及其开发运行系统；分析了将它们用于实时系统开发的不足之处；在此基础上建立了自己的实时对象模型。它具有如下特征：并发线程，时间封装，性能多态性和容错多版本等。同时实现了相应的面向实时对象模型的程序语言RC++。这是C++的扩充，为此我们完成了一个予处理程序，它能将RC++程序转换为C++程序和基于进程通信机制的运行程序。与此相适应，传统的面向对象开发方法学的各个阶段也被修改扩充以例利用实时对象的新特征。