|
|||||
|
|
| 实时嵌入式软件时间抽象状态机的扩展 | |
| 引用本文： | 单锦辉,张路,王金波,张涛.实时嵌入式软件时间抽象状态机的扩展[J].北京大学学报(自然科学版),2019,55(2):197-208. |
| 作者姓名： | 单锦辉 张路 王金波 张涛 |
| 作者单位： | 华为技术有限公司,深圳,518129;北京大学信息科学技术学院,北京,100871;中国科学院空间应用工程与技术中心,北京,100094 |
| 基金项目： | 国家自然科学基金(61225007)资助 |
| 摘 要： | 针对时间抽象状态机(TASM)存在的不足, 对TASM进行扩展, 增加数组数据类型、while循环处理规则以及“%”, “&”, “|”, “^”, “>>”和“<<”等运算符, 定义扩展后TASM的语法和语义。采用扩展后的TASM为实际的实时嵌入式软件需求建模, 通过实验, 验证了采用扩展后的TASM为实时嵌入式软件需求建模的有效性。 |
| 关 键 词： | 需求建模语言 实时 嵌入式软件 形式化定义 扩展 时间抽象状态机 |
| 收稿时间： | 2018-03-16 |
Extending Timed Abstract State Machines for Real-Time Embedded Software |
|
| 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. | |
| Authors: | SHAN Jinhui ZHANG Lu WANG Jinbo ZHANG Tao |
| Institution: | 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 |
| 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. |
| Keywords: | requirements modeling language real-time embedded software formal definition extension timed abstract state machine |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《北京大学学报(自然科学版)》浏览原始摘要信息 | |
| 点击此处可从《北京大学学报(自然科学版)》下载免费的PDF全文 | |