Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2002

Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-4678.pdf (1.21 Mo) Télécharger le fichier

Dates and versions

inria-00071907 , version 1 (23-05-2006)

Identifiers

  • HAL Id : inria-00071907 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More