摘要： 针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征，提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心，以支持合成的模板为基本组成单元．利用转换有效期和事件预定机制来描述时间限制，既具有较强的时间限制描述能力，又能自然而直接地支持交互行为的建模，可执行且具有良好的形式语义。给出了该语言的形式化语法，举例说明了其时间描述机制，并通过执行步算法和基于HCA项的结构化操作规则定义了该语言的形式化操作语义。

关键词: 嵌入式实时软件 需求建模 操作语义 交互行为 嵌入式实时系统 软件需求 形式语义 语言 严格 支持