AADL数据通信的BIP建模研究

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