HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language

Abdoulaye Gamatié 1 Thierry Gautier 1
1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : This document presents a study on the modeling of architecture components for avionics applications. We consider the avionics standard ARINC 653 specifications as basis, as well as the synchronous language SIGNAL to describe the modeling. A library of APEX object models (partition, process, communication and synchronization services, etc.) has been implemented. This should allow to describe distributed real-time applications using POLYCHRONY, so as to access formal tools and techniques for architecture evaluation.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 7:13:14 PM
Last modification on : Friday, February 4, 2022 - 3:15:15 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:43:58 PM


  • HAL Id : inria-00071907, version 1


Abdoulaye Gamatié, Thierry Gautier. Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language. [Research Report] RR-4678, INRIA. 2002. ⟨inria-00071907⟩



Record views


Files downloads