I. Introduction
The tendency towards more complex avionics systems in all kinds of aircraft is likely to continue for the predictable future, as digital electronics continue to become more powerful and cost-effective. As system complexity increases, the challenge of achieving the necessary reliability for safety critical systems becomes much more difficult, mainly because system failures will be more common as the number of components increases. The aerospace avionics domain is not exempt from this tendency, as the definition of guidelines, standards, etc for the specification of avionic systems demonstrates. ARINC 650 [2] is one of the most well-known of these standards and describes how avionic systems can be developed applying an Integrated Modular Avionic (IMA) architecture. IMA promotes a specific decomposition of avionic systems in order to deal properly with their inherent complexitv.