Synchronous modeling of avionics applications using the SIGNAL language

Abdoulaye Gamatié (1, 2) , Thierry Gautier (3)

1 DART - Contributions of the Data parallelism to real time
2 LIFL - Laboratoire d'Informatique Fondamentale de Lille
3 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems

In this paper, we discuss a synchronous, component-based approach to the modeling of avionics applications. The specification of the components relies on the avionics standard ARINC 653 and the synchronous language SIGNAL is considered as modeling formalism. The POLYCHRONY tool-set allows for a seamless design process based on the SIGNAL model, which provides possibilities of high level specifications, verification and analysis of the specifications at very early stages of the design, and finally automatic code generation through formal transformations of these specifications. This suits the basic stringent requirements that should be met by any design environment for embedded applications in general, and avionics applications in particular.

Mots clés: avionics; embedded systems; formal specification; formal verification; program compilers; specification languages; SIGNAL language; avionics application; avionics standard ARINC 653; code generation; component-based modeling; synchronous modeling

Domaines: Systèmes embarqués

Abdoulaye Gamatié, Thierry Gautier. Synchronous modeling of avionics applications using the SIGNAL language. 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), May 2003, Toronto, Canada. pp.144-151, ⟨10.1109/RTTAS.2003.1203046⟩. ⟨hal-00541841⟩