Abstract:Integrated Modular Avionics (IMA) has now been fully developed, and installed in practically every new airplane model that are in service today. IMA approach allows mixed criticality real-time applications to be merged into integrated system. These integrated real-time applications must meet their own timing requirements and be protected from other malfunctioning applications, while physically sharing resources such as processors and communication networks. To guarantee timing constraints and dependability of each application, an IMA-based system must be equipped with strong partitioning schemes. Based on ARINC IMA standards, we refer a model as strongly partitioned distributed real-time system which composed of three major parts that are Avionics Subsystem, End System and Avionics Full Duplex Switched Ethernet (AFDX) Communication System. We build the two-level scheduling hierarchy architecture model of Avionics Subsystem to provide spatial and temporal partitioning for real-time applications. End system provides communication interface for Avionics Subsystem and AFDX Communication system. AFDX Communication system provides reliable message transmission among applications. To evaluate the performance of an IMA-based system, simulation tool based on the discrete event system simulation method has been developed. The simulation captures additional characteristics of the system with respect to the analytical study, which is basically used to evaluate worst cases and deterministic guarantees. The tool is designed to help platform designer, applications developer and system integrator to describe and evaluate different implementation choices.

A Time-Triggered Constraint-Based Calculus for Avionic Systems

A Model Driven Multi-Constraint Safety Analysis Method for Integrated Modular Avionics Systems on Time Domain

A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus.

A model-based approach for real-time embedded multimodal systems in military aircrafts

Modelling and Simulation of Integrated Modular Avionics Systems

Schedulability Analysis For Independent Partitions In Integrated Modular Avionics Systems

AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics

A Tool for IMA System Configuration Verification and Case Study

Network Performance Analysis of Time-Triggered Ethernet Based on Network Calculus for DIMA

Scheduling Independent Partitions in Integrated Modular Avionics Systems

Towards SMT-Based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems

Embedded real-time monitoring using SystemC in IMA network

Architecture and Timing Analysis of Safety Critical Software Based on Partitioning Model

An Automatic Development Process for Integrated Modular Avionics Software.

Time4sys2imi: A tool to formalize real-time system models under uncertainty

Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets

A Controller/Architecture Co-design Framework for Wireless Cyber-Physical Systems.

A Process Calculus SMrCaIT for IoT

Integrated flight control system development using CEASIOM

Modeling and analysis of integrated avionics processing systems

A new method for safety assessment of complex avionic systems