摘要
本文结合军用软件的开发特点，针对实时系统的特征，提出将实时需求分为周期需求、非周期频繁需求和非周期偶发需求三类的新思想。在事件—动作模型及实时逻辑的基础上，设计了一种实时软件原型描述语言RTSPDL。该语言形式化地表示了事件—动作模型，突出了对实时需求的优先级及异常机制的描述，实现了一个实时软件的原型建造环境PERTS。该环境包括一组原型建造工具和原型的仿真环境，支持软件重用的开发方法。
By considering of the development features in military software and countering the rea1-time system's charteristics, a new taxonomy is proposed in this paper which divides real-time requirements into three classes, namely, periodic requirement, non-periodic frequent requirement and non-periodic sporadic requirement. Based on so-called event-action model and real-time logic, a real-time system prototype description language (RTSPDL)is developed.This language grasps major features of real-time system, reflects the new classification for real-time requirements,emphasizes to describe real-time requirement priority as well as exception and invalidation mechanism on the requirement. A prototyping environment for real-time software (PERTS) is designed and implemented- The environment is composed of a set of prototyping tools and a prototype simulation environment which supports software reuse development method.
出处
《船舶工程》
CSCD
北大核心
1996年第1期44-49,39-3,共6页
Ship Engineering
关键词
快速原型建造
设计
实时系统
软件开发
PERTX
Prototyping, Event-action model, Real time system, Prototype description language
