Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00071907
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 7:13:14 PM
Last modification on : Thursday, January 7, 2021 - 4:28:14 PM
Long-term archiving on: : Sunday, April 4, 2010 - 10:43:58 PM

Identifiers

  • HAL Id : inria-00071907, version 1

Citation

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

Share

Metrics

Record views

328

Files downloads

1061