一种面向嵌入式实时软件的需求建模语言  

A Requirements Modeling Language of Embedded Real-Time Software

作　　者：舒风笛[1] 毋国庆[2] 

机构地区：[1]中国科学院软件研究所,北京100080 [2]武汉大学计算机学院,武汉430072

出　　处：《计算机科学》2005年第2期114-120,共7页Computer Science

基　　金：Supported by the National Natural Science Foundation of China under Grant No.69873035.60273026(国家自然科学基金);the K.C.Wong Education Foundation;Hong Kong(王宽诚教育基金)

摘　　要：针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元。利用转换有效期和事件预定机制来描述时间限制,既具有较强的时间限制描述能力,又能自然而直接地支持交互行为的建模,可执行且具有良好的形式语义。给出了该语言的形式化语法,举例说明了其时间描述机制,并通过执行步算法和基于HCA项的结构化操作规则定义了该语言的形式化操作语义。Aiming at the complicated dynamic interactive behaviors and rigid timing constraints of embedded real-time system,the paper presents a kind of software requirements specification language RTRSM. It takes HCA,a kind of extended hierarchical and concurrent finite state machine as the kernel,and its basic unit is template,which supports composition. The language makes use of transitions with duration and events that can be scheduled and canceled to describe timing constraints. Therefore,it provides not only fairy powerful facilities for the description of timing con- straints but natural and direct schema for the modeling of interactivity. It has formal semantics as well as executabili- ty. After introducing the syntax of RTRSM,the paper illustrates how to describe timing constraints with this lan- guage. Subsequently,the paper defines its formal operational semantics in the form of execution step algorithm and structural operational rules based on HCA items.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论] TP393[自动化与计算机技术—计算机科学与技术]