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

doi:10.13209/j.0479-8023.2019.005

北京大学学报自然科学版 ›› 2019, Vol. 55 ›› Issue (2): 197-208.DOI: 10.13209/j.0479-8023.2019.005

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

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

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

收稿日期:2018-03-16 修回日期:2019-01-09 出版日期:2019-03-20 发布日期:2019-03-20
通讯作者: 张路, E-mail: zhanglu(at)sei.pku.edu.cn
基金资助:
国家自然科学基金(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-16 Revised:2019-01-09 Online:2019-03-20 Published:2019-03-20
Contact: ZHANG Lu, E-mail: zhanglu(at)sei.pku.edu.cn

摘要/Abstract

摘要：

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

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

Abstract:

According to the deficiency of Timed Abstract State Machine (TASM), TASM is extended with the data type of arrays, a loop rule named “while”, and some operators such as “%”,“&”, “|”, “^”, “>>”, “<<”, etc. The syntax and semantics of the extended TASM are defined. The extended TASM is applied to actual real-time embedded software to validate its effectiveness for requirements modeling.

Key words: requirements modeling language, real-time, embedded software, formal definition, extension, timed abstract state machine

单锦辉, 张路, 王金波, 张涛. 实时嵌入式软件时间抽象状态机的扩展[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.

导出引用管理器 EndNote|Ris|BibTeX

链接本文: https://xbna.pku.edu.cn/CN/10.13209/j.0479-8023.2019.005

https://xbna.pku.edu.cn/CN/Y2019/V55/I2/197

[1]	王璠璘, 贺新强, 王东辉. 实验教学用植物活体荧光影像系统的研制[J]. 北京大学学报自然科学版, 2024, 60(1): 127-132.
[2]	赵秀嘉, 李雷, 刘先华. 一种保障实时系统时间约束的处理器指令扩展[J]. 北京大学学报自然科学版, 2023, 59(2): 179-188.
[3]	屈永霖, 闻新宇, 张慕琪, 刘喆. 使用人工神经网络改进2022年北京冬奥会数值天气预报后处理过程的算法研究[J]. 北京大学学报自然科学版, 2022, 58(2): 210-220.
[4]	张阳, 冼慧婷, 赵志杰. 基于空间相关性和神经网络模型的实时河流水质预测模型[J]. 北京大学学报自然科学版, 2022, 58(2): 337-344.
[5]	王宏亮, 高艺宁, 吴健生, 王娜, 赵宇豪, 彭子凤, 王仰麟. 高度城市化地区建设用地扩展及其驱动力分析——以深圳市为例[J]. 北京大学学报自然科学版, 2021, 57(4): 707-715.
[6]	杨兴文, 雍珊珊, 王新安, 周康生, 金秀如. AETA数据采集系统的设计与实现[J]. 北京大学学报自然科学版, 2020, 56(4): 600-606.
[7]	包樱钰, 谢辉, 陈吕军, 温东辉. 城镇污水处理系统中4种抗生素抗性基因的沿程变化[J]. 北京大学学报自然科学版, 2020, 56(4): 772-776.
[8]	王文超, 吕学强, 张凯, 周建设. 足球赛事战报的自动写作研究[J]. 北京大学学报（自然科学版）, 2018, 54(2): 271-278.
[9]	刘超, 严伟. 基于FPU的高速卡尔曼滤波器公式推导法硬件设计[J]. 北京大学学报（自然科学版）, 2016, 52(5): 803-808.
[10]	柴宝惠, 李培军, 张瑞洁, 赵鹏. 基于Landsat数据和DMSP/OLS夜间灯光数据的城市扩展提取: 以天津市为例[J]. 北京大学学报（自然科学版）, 2016, 52(3): 475-485.
[11]	王腾,王新安,谢峥,胡子一. H.264/AVC编码器中运动估计的低代价VLSI实现[J]. 北京大学学报（自然科学版）, 2014, 50(4): 768-780.
[12]	张津,李双成,王阳. 深圳市城市扩展预测与分区评价[J]. 北京大学学报（自然科学版）, 2014, 50(2): 379-387.
[13]	姚兰,林鸿飞,林原,马云龙. 基于句法特征的冗长查询处理技术[J]. 北京大学学报（自然科学版）, 2013, 49(2): 213-218.
[14]	黄雨胡文蕙张世琨. 基于扩展库所网的工作流过程规约和模式描述[J]. 北京大学学报（自然科学版）, 2009, 45(4): 572-578.
[15]	郭泺,杜世宏,王桥. 基于方向关系的不确定区域拓扑关系推理[J]. 北京大学学报（自然科学版）, 2009, 45(2): 339-349.

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

Extending Timed Abstract State Machines for Real-Time Embedded Software

RichHTML

PDF

PDF (翻译版)

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

留言