期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
实时嵌入式软件时间抽象状态机的扩展 认领
1
作者 单锦辉 张路 +1 位作者 王金波 张涛 《北京大学学报:自然科学版》 EI CAS CSCD 北大核心 2019年第2期197-208,共12页
针对时间抽象状态机(TASM)存在的不足,对TASM进行扩展,增加数组数据类型、while循环处理规则以及"%","&","|","^",">>"和"<<"等运算符,定义扩展后TASM的... 针对时间抽象状态机(TASM)存在的不足,对TASM进行扩展,增加数组数据类型、while循环处理规则以及"%","&","|","^",">>"和"<<"等运算符,定义扩展后TASM的语法和语义。采用扩展后的TASM为实际的实时嵌入式软件需求建模,通过实验,验证了采用扩展后的TASM为实时嵌入式软件需求建模的有效性。 展开更多
关键词 需求建模语言 实时 嵌入式软件 形式化定义 扩展 时间抽象状态机
在线阅读 免费下载
SPARDL模型的Event-B解释 认领 被引量:2
2
作者 綦艳霞 沈慧丽 +1 位作者 陈朝晖 顾斌 《计算机应用》 CSCD 北大核心 2012年第12期3525-3528,3539共5页
针对由周期行为和模式转换机制组成的实时系统提出的SPARDL需求建模语言,详细阐明了其对应的SPARDL模型的Event-B解释。通过Event-B来解释SPARDL的语义,同时提出一种基于SPARDL模型特征的精化框架用于Event-B模型的开发。最后,通过案例... 针对由周期行为和模式转换机制组成的实时系统提出的SPARDL需求建模语言,详细阐明了其对应的SPARDL模型的Event-B解释。通过Event-B来解释SPARDL的语义,同时提出一种基于SPARDL模型特征的精化框架用于Event-B模型的开发。最后,通过案例研究的分析展示用Event-B对SPARDL模型建模和验证的方法的有效性。 展开更多
关键词 需求建模语言 周期性控制系统 EVENT-B 需求分析 精化 验证
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈