基于BIP的AADL行为模型验证方法

下载PDF

导出

摘要为了实现AADL(体系结构分析与设计语言)行为模型验证,基于行为附件的文法结构及行为描述方式,提出了AADL行为模型与BIP行为模型之间的状态转换规则。

作者李棠陈苗

出处《电子技术与软件工程》 2016年第1期128-128,共1页 ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING

关键词 AADL 行为模型 BIP 模型转换验证

参考文献2

1SAE Aerospace.SAE AS5506A:Architecture Analysis and Design Language V2.0[EB/OL].http://www.sae.org/technical/standards/AS5506A,2009.
2SAE Aerospace.SAE AS5506A Annex:Behavior Specification.V1.6[EB/OL].http://www.aadl.info/aadl/document/BehaviorAnnex1.6.pdf,2006.

1李振松,顾斌.基于UPPAAL的AADL行为模型验证方法研究[J].计算机科学,2012,39(2):159-161. 被引量：12
2雷雯.高速OTA系统的研究[J].电脑知识与技术（技术论坛）,2005(12):117-118.
3李振松,蒋志雄,顾斌.AADL模式转换设计方法研究[J].计算机工程与设计,2011,32(12):4269-4272. 被引量：1
4吴亮,曹晓梅,杨庚,李大伟.一种有效的无线传感器网络广播密钥管理方案[J].电子与信息学报,2010,32(6):1480-1484. 被引量：3
5刘玮.AADL数据通信的BIP建模研究[J].电子技术与软件工程,2015(21):199-199.
6赵素娟.基于可拓蚁群算法的粗糙集属性约简方法[J].现代计算机,2011(12):6-8.
7宋翠叶,杜承烈,李刚.基于AADL的软件开发技术研究[J].计算机应用研究,2009,26(9):3361-3364. 被引量：2
8程红举,黄行波,XIONG Naixue.不可靠通信环境下无线传感器网络最小能耗广播算法[J].软件学报,2014,25(5):1101-1112. 被引量：17
9刘翔,郭新军,贾利新.基于遗传策略的DVD在线租赁模型优化[J].河南科学,2009,27(8):991-994.
10吕方远.一种新的无线网络分布式广播算法及其OPNET实现[J].数字通信世界,2006(12):33-37.

电子技术与软件工程

2016年第1期

内容加载中请稍等...