A Time-Triggered Constraint-Based Calculus for Avionic Systems

Abstract

The Integrated Modular Avionics (IMA) architecture 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).

Fully-Deterministic Execution of IEC-61499 Models for Distributed Avionics Applications

“…This is in great part because IMA comes along the Avionics Full Duplex (ADFX) communication platform. However, existing approaches include a network performance analysis [14], platform modelling based on TimeTriggered Constraint-Based Calculus (TTCC) [15,16] …”

“…This is in great part because IMA comes along the Avionics Full Duplex (ADFX) communication platform. However, existing approaches include a network performance analysis [14], platform modelling based on Time-Triggered Constraint-Based Calculus (TTCC) [15,16], a scheduling algorithm for distributed IMA based on a network partition integrating model [17], a cost optimization strategy for iterative integration of IMA and Time-Triggered Ethernet (TTEthernet) multi-critical functions [18], embedded cloud computing for critical systems [19,20], and PhD dissertations about integrated task and message scheduling for time-triggered aerospace systems [21] and mixed-criticality in distributed real-time systems [22].…”