Dans ce papier, nous abordons la conception d'applications avioniques suivant une démarche basée sur le raffinement de modèles. L'étude est réalisée dans le cadre synchrone dont une particularité forte est son fondement mathématique propice aux raisonnements formels (transformations, validation...). Dans l'approche proposée, on considère d'abord une description fonctionnelle d'une application à l'aide du langage Signal (modèle polychrone). Cette description est indépendante de toute architecture de mise en oeuvre. Ensuite, des transformations préservant entièrement la sémantique des programmes manipulés sont appliquées à cette description pour en déduire une représentation reflétant une architecture dite modulaire intégrée, plus connue sous l'acronyme IMA (Integrated Modular Avionics).