Aiming at the earlier verification of the system design of the Distributed Integrated Modular Avionics (DIMA), the Architecture Analysis and Design Language (AADL) and the DIMA architecture characteristics are introduced.Taking an example of architecture design as input, models of the architecture of a DIMA system and of the inter-module communication are established.By using the models, analysis is made to the utilization ratio of the processor, and the schedulability of the partition/task, and simulation is made to the inter-module communication, which verifies the feasibility of the architecture design.