Abstract:Aiming at the automatic brake system, which is an important part of the civil aircraft brake system, this paper introduces the function of the automatic brake system and its principle, and puts forward a modelbased design method suitable for the development of the automatic brake system. According to the functional requirements of the automatic brake, the corresponding behavior model was established, and the requirements were confirmed and verified. According to the functional architecture of automatic brake, the behavior model was integrated to form an integrated model of automatic brake function, and the correctness of its architecture was confirmed and verified. Then, considering the demand and behavior model of automatic brake, the test cases of various working conditions based on the model were established, including the test cases of landing brake and reject takeoff to conduct automatic test on the demand of automatic brake system and verify its correctness and considering. Finally, taking a certain deceleration rate of automatic braking in landing phase as an example, the correctness of the method was verified. The model and management tools were Library, Stateflow, and Simulink.