基于模型的端到端延时概率分布研究

作者：张晓; 郭鹏; 王洋

来源：航空计算技术, 2023, 53(04): 10-13.

• 基于模型的系统工程
• 体系结构设计分析语言
• 端到端延时
• 马尔科夫

当前，AADL因提供端到端延时、重量、功耗等维度的分析功能而受到MBSE研究人员的广泛关注与使用。然而，AADL现有的端到端延时机制仅仅刻画延时区间，并未关注延时区间内的概率分布，导致研究人员无法更为准确地刻画与分析端到端延时。以AADL扩展属性集的方式对基于模型的端到端概率分布予以刻画。根据端到端数据流内相邻处理器的相关性，提出不同的端到端延时概率分布分析方法。方法支持分析结果的AADL代码写回。经实验，使用枚举法与马尔科夫法分析端到端延时概率分布具有可行性。