Virtual simulation of avionics embedded platform: Integrating AADL and FMI to extend virtual integration capability

Abstract

AADL is an established standard for the modeling, analysis and generation of avionics embedded platforms. Various projects led by ISAE with partners (ESA, CMU/SEI) demonstrated AADL capability to generate code targeting high-integrity platforms, either regular real-time operating systems or avionics executive based on the ARINC653 platforms. The Functional Mock-Up Interface (or FMI) is an emerging standard, pushed by the automotive indust1y and embraced by key players such as Mathworks, ANSYS (including Esterel Technologies), Dassault Systems. FMI allows for the simulation of large industrial systems through interacting models, and allows for model-level co-simulation capabilities. One key benefit of FMI is the capability to let models interoperate in a seamless way thanks to dedicated code generation. For each model, a Functional Mock-up Unit (FMU) is generated as a binary library. The integration of these libraries allows for co-simulation of large models mixing mechanical designs (based on Modelica), control plants (e.g. Simulink) or other specific models in a uniform way. The TRL associated to FMI is increasing and FMI is now supported in many products including AN SYS Simplorer, Dassault System Dymola toolset, or Mathworks Simulink. The objective of this project is to evaluate the relationships between AADL and FMI to increase confidence in AADL models built in two scenarios: (1) by connecting FMU to AADL models, so as to perform system-level simulations. In this context, FMU may provide inputs to AADL-centric simulation, allowing to inject particular conditions such as aerodynamics behavior of a vehicle; (2) by generating FMUs from AADL models to build system-level simulations of large systems, combining all domain-specific models in a Systems engineering tool combined with a PLM tool.

Document Details

Document Type
DoD Grant Award
Publication Date
Jan 12, 2017
Source ID
W911NF1610569

Entities

People

  • Jérôme Hugues

Organizations

  • Army Contracting Command
  • United States Army

Tags

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.