Synchronous modeling of avionics applications using the Signal language

In this paper, we discuss a synchronous, component-based approach to the modeling of avionics applications. The specification of the components relies on the avion-ics standard ARINC 653 and the synchronous language SIGNAL is considered as modeling formalism. The POLY-CHRONY 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 final-ly automatic code generation through formal transforma-tions of these specifications. This suits the basic stringent requirements that should be met by any design environment for embedded applications in general, and avionics appli-cations in particular. 1