基于AADL的RDC架构建模与关键特性仿真

Architecture Modeling and Critical Characteristics Analysis of RDC Based on AADL

随着系统工程的发展,基于模型驱动的开发与设计方法在复杂系统软硬件设计中扮演了越来越重要的角色.对于航空电子这一涉及多学科、资源受限的强实时性混杂物理信息系统,通过在设计初期进行建模仿真验证,能够有效降低潜在的设计风险。针对远程数据集中器(RDC),通过结构分析与设计语言(AADL)建立其架构模型,并对调度性和流延迟等关键特性进行仿真分析与评估,从而支持设计方案的验证与优化,该方法具有较高的使用价值和指导意义。

With the development of system engineering, model-based development and design approaches play an increasingly important role in hardware and software design for complex systems. Since avionics are an interdisciplinary, resource-constrained and time-critical cyber physical system, model-based architecture analysis and verification in the early stages can decrease the design risk effectively. An architecture model of Remote Data Concentrator (RDC) is proposed based on Architecture Analysis and Design Language (AADL). Then the critical characteristics are analyzed to verify the designing scheme. The practical significance of this approach for system design has been proved.