Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language

Report English OPEN
Gamatié , Abdoulaye ; Gautier , Thierry (2002)
  • Publisher: HAL CCSD
  • Subject: [ INFO.INFO-OH ] Computer Science [cs]/Other [cs.OH] | ARINC | REAL-TIME SYSTEM MODELING | AVIONICS ARCHITECTURES | SIGNAL

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.
Share - Bookmark