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

单锦辉¹, 张路^2,†, 王金波³, 张涛³

1. 华为技术有限公司, 深圳 518129
2. 北京大学信息科学技术学院, 北京 100871
3. 中国科学院空间应用工程与技术中心, 北京 100094

收稿日期:2018-03-16修回日期:2019-01-09出版日期:2019-03-20

基金资助:国家自然科学基金(61225007)资助

Extending Timed Abstract State Machines for Real-Time Embedded Software

SHAN Jinhui¹, ZHANG Lu^2,†, WANG Jinbo³, ZHANG Tao³

1. Huawei Technologies Co. Ltd., Shenzhen 518129
2. School of Electronics Engineering and Computer Science, Peking University, Beijing 100871
3. Technology and Engineering Center for Space Utilization, Chinese Academy of Sciences, Beijing 100094

Received:2018-03-16Revised:2019-01-09Published:2019-03-20

RichHTML

0

PDF

(741KB)

可视化

0

复制本文网址

1. 探讨2016版国际胰瘘研究小组定义和分级系统对胰腺术后患者胰瘘分级的影响.PDF(500KB)

-->

摘要/Abstract

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

引用本文

单锦辉, 张路, 王金波, 张涛. 实时嵌入式软件时间抽象状态机的扩展[J]. 北京大学学报自然科学版, 2019, 55(2): 197-208.
SHAN Jinhui, ZHANG Lu, WANG Jinbo, ZHANG Tao. Extending Timed Abstract State Machines for Real-Time Embedded Software[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2019, 55(2): 197-208.





PDF全文下载地址:

http://xbna.pku.edu.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=3313