实时控制系统需求描述方法及其应用

摘要：

@@1 引言
实时系统是指有时间限制的系统，与其它类型的软件系统相比具有许多独特的特性：(1)复杂的外部环境，通常是无智能的；(2)与环境交互的系统；(3)完成多个同时输入的并发处理；(4)系统具有特定的性能要求，甚至是严格或苛刻的；(5)高可靠性；(6)系统十分复杂；(7)难以测试，在单个操作环境下无法测试。这些特性使得实时系统的开发异常复杂、代价昂贵、周期长，迫切需要一种行之有效的方法来描述实时系统的需求，这种方法需根据实时系统自身特点重点考虑一些关键要素如时间、并发控制、死锁、同步等等。本文正是在这种背景下提出了一种实时控制系统需求描述方法，该方法以层次式有穷状态机模型HRAFSM[1]作为基础，通过填充与状态机对应的模板信息形成需求规格说明书，该需求规格说明书易于理解和阅读，利于用户与软件开发人员之间的交流。为了更好地说明文[1]中提出的分层状态机模型HRAFSM及其实现技术——模板技术，本文用该模型来描述一个实时系统研究领域中比较经典的例子——电梯控制系统。

机标关键词：实时控制系统、需求描述、方法及、实时系统、需求规格说明书、状态机模型、软件开发人员、电梯控制系统、与环境交互、易于理解、研究领域、性能要求、系统需求、外部环境、特性、实现技术、时间限制、软件系统、模板技术、描述方法

所属期刊栏目：28

分类号：TP31(计算技术、计算机技术)

资助基金：国家自然科学基金69873035;教育部科学技术研究项目

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：78-82