[论文解读] Integrating AADL and FMI to Extend Virtual Integration Capability

Jérôme Hugues, Jean-Marie Gauthier+1 more|arXiv (Cornell University)|Feb 15, 2018

Real-Time Systems Scheduling被引用 4

一句话总结

本文提出了一种集成框架，结合AADL用于系统架构建模，FMI用于物理部件仿真，实现了对信息物理系统的高保真虚拟集成。该方法通过协同仿真AADL定义的嵌入式平台与FMI建模的物理元件，实现复杂系统的早期验证，案例研究展示了可测量的行为一致性与互操作性。

ABSTRACT

Virtual Integration Capability is paramount to perform early validation of Cyber Physical Systems. The objective is to guide the systems engineer so as to ensure that the system under design meets multiple criteria through high-fidelity simulation. In this paper, we present an integration scheme that leverages the FMI (Functional Mock-Up interface) standard and the AADL architecture description language. Their combination allows for validation of systems combining embedded platform captured by the AADL, and FMI components that represent physical elements, either mechanical parts, or the environment. We present one approach, and demonstrator case studies.

研究动机与目标

• 通过在物理原型设计前实现虚拟集成，解决信息物理系统（CPS）设计中的早期验证挑战。
• 通过统一架构建模（AADL）与物理部件仿真（FMI），克服孤立建模方法的局限性。
• 通过协同仿真嵌入式软件与硬件（AADL）与机械或环境模型（FMI），支持多领域系统验证。
• 提供一种标准化、互操作的框架，以提升系统级验证能力，并降低复杂CPS项目中的开发风险。
• 通过嵌入式系统与机电一体化领域的实际案例研究，证明该集成的可行性与有效性。

提出的方法

• 使用AADL（架构分析与设计语言）对系统的软件与硬件架构进行建模，包括组件、数据流与执行平台。
• 集成符合FMI标准的模型组件（功能模型单元，FMU），以表示机械系统或环境动力学等物理元件。
• 建立协同仿真环境，使AADL模型与FMI FMU通过通用仿真引擎实现实时数据交换。
• 定义AADL组件与FMI FMU之间的映射与接口协议，确保仿真过程中语义与时间的一致性。
• 实现一个原型工具链，支持使用标准FMI与AADL执行语义的模型交换与协同仿真。
• 通过涉及嵌入式控制系统与物理子系统交互的案例研究验证集成效果，确保正确数据交换与动态行为。

实验结果

研究问题

• RQ1 如何有效集成AADL与FMI，以支持信息物理系统的虚拟集成？
• RQ2 在协同仿真环境中，同步基于AADL的系统模型与基于FMI的物理模型面临哪些关键挑战？
• RQ3 该集成在多大程度上支持对软件、硬件与物理部件的系统行为进行早期验证？
• RQ4 所提出的框架如何确保异构建模领域之间的互操作性与数据一致性？
• RQ5 集成的AADL-FMI仿真环境存在哪些实际限制与性能特征？

主要发现

• AADL与FMI的集成实现了信息物理系统端到端的虚拟集成，结合了架构建模与高保真物理仿真。
• 协同仿真框架成功同步了AADL组件与FMI FMU，运行时表现出一致的数据交换与时间对齐。
• 案例研究显示，该方法可在物理原型设计前支持系统行为的早期验证，包括控制逻辑与物理动力学。
• 该框架在不同领域间保持了模型保真度与互操作性，降低了复杂系统开发中的集成风险。
• 演示系统证实，AADL-FMI集成在实际嵌入式与机电一体化系统设计中具有可行性与有效性。
• 该方法支持现有AADL与FMI模型的重用，促进基于组件的开发并减少设计迭代周期。