论文部分内容阅读
实时系统有着广泛而关键的应用,为了能把实时系统的开发建立在一个坚实的基础之上,该文提出一个描述实时系统需求的模型.在这个模型中,层次式有穷状态机被表示成规则的形式,并且一个模板对应于一个状态机.与状态机相关的规则和信息可被写入到模板中.用此模型写出的需求规格说明书就可由多个模板组成,并且易于理解和阅读.该文还全面描述了方便使用该模型的工具环境.该工具环境由需求说明编辑器、中心数据库、规则转换器、需求检查器、模拟执行器和需求规格说明书生成器等几个子系统组成.最后详细地分析和设计了作为该工具环境子系统的层次状态图编辑器并且对其中的关键算法作了详细的说明.