A FACE-based Simulation and Verification Approach for Avionics Systems

Avionics systems have to integrate and to manipulate numerous sensors, actuators and controllers while maintaining high quality of safety and reliability. Traditional chimney development method, which has shortages in the ability and efficiency, cannot be able to meet the increasing requirements of large scale avionics systems applications. In order to solve these problems, this paper proposes a FACE-based simulation and verification approach for avionics systems. First, by analysing the FACE standard, a FACE-based framework of avionics systems is designed to develop and deploy applications on different platforms. Then, based on the proposed framework, a simulation and verification approach for avionics systems designed by adopting the component packaging technology. Finally, the simulation and verification platform is established by integrating the component applications, exciter applications and display processing units in the avionics systems. Experimental results show that this approach not only guarantees the correctness and reliability of software applications, but also increases the flexibility, scalability and the cross-platform capability of avionics systems.