The integrated modular avionics system (IMA) has become the current mainstream architecture for civil and fighter aircraft. IMA-based avionics systems bring benefits such as optimizing computing resource utilization and reducing the weight and power consumption of airborne equipment. Accelerate the development progress of avionics systems and reduce the development cost of avionics systems. However, because it is different from the physics-based functional system independent architecture of the joint avionics system. The process, objects and content of its synthesis and verification have changed greatly. There are many problems with the development, verification, and integration methods currently used when applied to IMA-based avionics systems. This requires us to study IMA-based incremental verification and synthesis methods.
This project proposes a test management strategy and method for distributed avionics test systems (patent 201410197895.2), which uses the "hypothesis-guarantee" theory to model and analyze system resource configuration, time constraints and interactive activities in the IMA system, and proposes a hierarchical synthesis method, which simplifies the physical synthesis process of avionics systems and solves the problem of shared resource management in distributed platforms. A joint verification method (patent 20151000766.4) for inter-division communication in IMA system synthesis based on the "hypothesis-guarantee" theory is proposed. By designing test cases with the same external behavior as the original application in the integrated modular avionics synthesis, the application communication in IMA is tested, which solves the problem that traditional verification methods cannot complete the test without changing the actual operating configuration. A zoning and application time window compliance detection method based on ARINC653 specification (patent: 201510171295.3) was proposed, and a formal zoning and application time compliance Detection Tools based on ARINC653 specification was developed, which improved the efficiency and accuracy of detection, and also increased the readability and visibility of avionics comprehensive analysis results. Solve the problem of multiple configuration verification in IMA incremental verification.