FRANÇAIS
A showcase of ÉTS researchers’ publications and other contributions
SEARCH

A time-triggered constraint-based calculus for avionic systems

Downloads

Downloads per month over past year

Hamadou, Sardaouna, Gherbi, Abdelouahed, Mullins, John et Beji, Sofiene. 2014. « A time-triggered constraint-based calculus for avionic systems ». arXiv. 8 p.

[thumbnail of A-Time-Triggered-Constraint-Based-Calculus-for-Avionic-Systems.pdf]
Preview
PDF
A-Time-Triggered-Constraint-Based-Calculus-for-Avionic-Systems.pdf

Download (653kB) | Preview

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).

Item Type: Technical report (UNSPECIFIED)
Professor:
Professor
Gherbi, Abdelouahed
Affiliation: Génie logiciel et des technologies de l'information
Date Deposited: 06 Nov 2015 17:00
Last Modified: 18 Apr 2017 20:38
URI: https://espace2.etsmtl.ca/id/eprint/11823

Actions (login required)

View Item View Item