A Time-Triggered Constraint-Based Calculus for Avionic Systems

TL;DR

This paper introduces a real-time constraint-based calculus designed to analyze avionic systems, specifically focusing on IMA architecture and TTEthernet network, demonstrated through modeling a Flight Management System.

Contribution

It presents a novel formal framework for analyzing integrated avionic architectures and networks, enhancing understanding of their real-time behaviors.

Findings

Successfully modeled IMA architecture and TTEthernet network

Analyzed Flight Management System behavior

Provided a formal basis for future avionic system analysis

Abstract

The Integrated Modular Avionics (IMA) architec- ture and the Time-Triggered Ethernet (TTEthernet) network have emerged as the key components of a typical architecture model for recent civil aircrafts. We propose a real-time constraint-based calculus targeted at the analysis of such concepts of avionic embedded systems. We show our framework at work on the modelisation of both the (IMA) architecture and the TTEthernet network, illustrating their behavior by the well-known Flight Management System (FMS).