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