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

• 作者: 单锦辉 张涛 张路 王金波
• 来源期刊: 北京大学学报（自然科学版）
• 关键词: 需求建模语言 实时 嵌入式软件 形式化定义 扩展 时间抽象状态机
• 年，卷（期）: 2019,（2）
• 页码范围: 197-208
• 页数: 12页
• 字数: 12391字
• 语种: 中文
• DOI: 10.13209/j.0479-8023.2019.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张涛	中国科学院空间应用工程与技术中心	473	4174	31.0	44.0
2	张路	北京大学信息科学技术学院	43	925	14.0	30.0
3	王金波	中国科学院空间应用工程与技术中心	22	92	6.0	8.0
4	单锦辉		1	1	1.0	1.0