CAJ | 학술논문

在分布式综合模块化航空电子（DIMA）系统中，采用综合化互连，同时支持时间触发（TT）通信流量和事件触发通信的速率约束（RC）流量。使用体系结构分析与设计语言（AADL）建立 DIMA 系统实时通信任务模型，提出一套基于模型的实时通信流量时延分析方法。对于 TT 流量，在 AADL “流时延”框架下进行分析；对于 RC 流量，开发模型转换工具，将网络配置转换为便于实时演算（RTC）的参数，求解最坏情况下的时延；两方面相结合，实现 DIMA 系统混合关键性流量的端到端实时性能分析。通过一个典型的案例验证了该流量建模与时延分析方法的有效性。
재분포식종합모괴화항공전자（DIMA）계통중，채용종합화호련，동시지지시간촉발（TT）통신류량화사건촉발통신적속솔약속（RC）류량。사용체계결구분석여설계어언（AADL）건립 DIMA 계통실시통신임무모형，제출일투기우모형적실시통신류량시연분석방법。대우 TT 류량，재 AADL “류시연”광가하진행분석；대우 RC 류량，개발모형전환공구，장망락배치전환위편우실시연산（RTC）적삼수，구해최배정황하적시연；량방면상결합，실현 DIMA 계통혼합관건성류량적단도단실시성능분석。통과일개전형적안례험증료해류량건모여시연분석방법적유효성。
In the distributed integrated modular avionics (DIMA)system,interconnections were integrated and multiple classes of flows including time-triggered (TT)and rate-constrained (RC)flows were both supported.Models of real-time communica-tion tasks were constructed by the architecture analysis and design language (AADL).Moreover,a method of real-time flow la-tency analysis was proposed.TT flows were analyzed using the AADL flow latency analysis framework,while a tool for model transformation was developed to derive fundamental parameters for real-time calculus (RTC)to compute the worst-case end-to-end latency of RC flows from the AADL models.Those two aspects were combined to implement the real-time performance anal-ysis of mixed-criticality flows in DIMA systems.Finally,an example was given to demonstrate the effectiveness of the method mentioned above.