基于AADL的DIMA系统建模与可调度性分析方法  

Modeling and Schedulability Analysis Method of the DIMA System Based on AADL

作　　者：胡乔乔 杨志斌[1,2] 黄志球 周勇[1,2] HU Qiaoqiao;YANG Zhibing;HUANG Zhiqiu;ZHOU Yong(School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China;Key Laboratory of Safety-critical Software,Ministry of Industry and Information Technology,Nanjing 211106,China)

机构地区：[1]南京航空航天大学计算机科学与技术学院,南京211106 [2]高安全系统的软件开发与验证技术工信部重点实验室,南京211106

出　　处：《小型微型计算机系统》2024年第11期2790-2799,共10页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(62072233)资助;国防基础科研项目(JCKY2020205C006)资助;航空科学基金项目(201919052002)资助;南京航空航天大学科研与实践创新计划项目(xcxjh20221602)资助.

摘　　要：随着航空电子系统功能的复杂性不断增加,航空电子架构由综合化向分布式综合化(DIMA)发展.考虑网络延迟的DIMA系统可调度性分析成为一个重要挑战.本文提出基于AADL(Architecture Analysis and Design Language)的DIMA系统架构建模和可调度性分析方法.首先,提出光纤通道(Fibre Channel,FC)网络属性集扩展和自定义调度算法属性集扩展,构建DIMA系统架构模型;其次,提出一种支持复杂自定义调度算法的DIMA系统可调度分析框架,其中包括OPNET网络延迟分析、自定义调度算法建模与验证及AADL模型到Cheddar模型的转换;最后,基于工业界实际案例分析所提方法的有效性.With the increasing complexity of avionics system functions,avionics architecture is developing from integration to distributed integration(DIMA).The schedulability analysis of DIMA system with network delay becomes an important challenge.This paper propose an architecture modeling and schedulability analysis method of DIMA system based on Architecture Analysis and Design Language(AADL).Firstly,the extension of Fibre Channel(FC)network property set and the extension of user-defined scheduling algorithm property set are proposed to construct DIMA system architecture model.Secondly,a schedulability analysis framework of DIMA system supporting complex user-defined scheduling algorithm is proposed,which includes OPNET network delay analysis,modeling and verification of user-defined scheduling algorithm,and transformation from AADL model to Cheddar model.Finally,the effectiveness of the proposed method is demonstrated by an industrial case.

关 键 词：DIMA AADL 光纤通道网络 可调度性分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]