DESIGN AND VERIFICATION OF ACARS COMMUNICATION MANAGEMENT UNIT BASED ON IMA ARCHITECTURE

The airborne ACARS communication management unit (CMU), as the core device for data exchange, plays an important role in data link communication management. This paper studies the airborne ACARS system by combining with IMA partition operating system, and puts forward a method of using CMU as a partitioned application to host in the IMA partition operating system, and uses the AADL modeling language to design the airborne ACARS system architecture and the CMU partition software model. The safety analysis of the architecture is carried out by using the fault tree analysis method, and the safety analysis results that meet the airworthiness requirements of the airborne ACARS are obtained, and the feasibility of using the CMU as a partition application to host in the IMA partition operating system is verified.