实时嵌入式软件时间抽象状态机的扩展

作者：单锦辉; 张路; 王金波; 张涛

来源：北京大学学报(自然科学版), 2019, 55(02): 197-208.

DOI：10.13209/j.0479-8023.2019.005

• 需求建模语言
• 实时
• 嵌入式软件
• 形式化定义
• 扩展
• 时间抽象状态机

针对时间抽象状态机(TASM)存在的不足,对TASM进行扩展,增加数组数据类型、while循环处理规则以及"%","&","|","^",">>"和"<<"等运算符,定义扩展后TASM的语法和语义。采用扩展后的TASM为实际的实时嵌入式软件需求建模,通过实验,验证了采用扩展后的TASM为实时嵌入式软件需求建模的有效性。

• 单位
  北京大学; 中国科学院空间应用工程与技术中心; 华为技术有限公司