Affiliations: Inria Futurs, Synergie Park, 6bis avenue Pierre et
Marie Curie, 59260 Lezennes, France | Irisa, Campus de Beaulieu, 35042 Rennes, France
Note: [] Corresponding author: INRIA Lille Nord Europe, Parc Scientifique
de la Haute Borne, Park Plaza – Bât A – 40 avenue Halley, 59650
Villeneuve d'Ascq, France. Tel.: +33 3 59 57 78 16; Fax: +33 3 28 77 85 38;
E-mail: [email protected]
Abstract: In this article, we address the design of avionic applications based
on an approach, which relies on model refinement. This study is done within the
synchronous framework, which has solid mathematical foundations enabling formal
methods for specification, verification and analysis, transformations, etc. In
the proposed approach, we first consider a functional description of a given
application using the SIGNAL language. This description is independent of a
specific implementation platform. Then, some transformations that fully
preserve the semantics of manipulated SIGNAL programs are applied to the
description such that a representation reflecting an integrated modular
avionics architecture results.
Keywords: Integrated Modular Avionics, ARINC, synchronous design, SIGNAL, model refinement
