论文部分内容阅读
本文结合我国军用软件的开发特点，针对实时系统的特征，提出将实时需求分为周期需求，非周期频繁需求和非周期偶发需求三类的新思想。在事件－动作模型及实时逻辑的基础上，设计了一种实时系统原型描述语言ＲＴＳＰＤＬ。该语言形式化地表示了事件－－动作模型，突出了对实时需求的优先级及异常和违章机制的描述，实现了一个实时系统的原型建造环境ＰＥＲＴＳ，该系统包括一组原型建造的工具集和原型的运行环境，支持软件重用的开发