AADL数据通信的BIP建模研究  

作　　者：刘玮[1] 

机构地区：[1]重庆师范大学涉外商贸学院数学与计算机学院,重庆市401520

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

摘　　要：随着AADL在基于模型驱动的复杂系统开发中的广泛应用,AADL模型的形式化转换已经成为研究热点。本文基于AADL执行模型的数据通信的特点,着重探讨了将AADL数据通信转换成BIP形式化语言的策论。通过将AADL里的两种实时数据通信(即时通信和延迟通信)用BIP语言建模,可以更好理解系统的执行情况,以此来支持AADL形式化分析。

关 键 词：AADL BIP 周期线程 通信 

分 类 号：TN919.2[电子电信—通信与信息系统]