A DSPN modeling and simlation Tool for Avionics System

Abstract Avionics System is the typical real-time embedded system and DSPN-base system evaluation is the important theoretical basis and supporting technology of the development of it. This paper focuses on the design of the tool based on DSPN, called Aero_DSPN, with the functions of component modelling and simulation analysis of the avionics system, to offer invaluable process and organizational design support. We illustrate system modelling and simulation analysis in a case study of avionics system.