A Time-Triggered Constraint-Based Calculus for Avionic Systems
This work addresses the need for formal analysis tools in avionic systems, which is critical for safety and reliability in civil aircraft, but it appears incremental as it builds on existing concepts without claiming major breakthroughs.
The authors tackled the problem of analyzing real-time avionic embedded systems by proposing a constraint-based calculus, demonstrating its application on the Integrated Modular Avionics architecture and Time-Triggered Ethernet network using a Flight Management System example.
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).