基于模型的民用飞机自动刹车系统设计与研究

Design and research of civil aircraft autobrake system based on model

针对民用飞机刹车系统的重要组成部分-自动刹车系统,介绍了自动刹车系统的功能,并对其原理进行了简单介绍,提出了一种适用于自动刹车系统开发的基于模型驱动的设计方法,根据自动刹车的功能需求,建立其对应的行为模型,对需求进行确认以及验证,根据自动刹车的功能架构对其行为模型进行集成,形成自动刹车功能的集成模型,确认、验证其架构的正确性。最后,综合考虑自动刹车的需求以及行为模型,建立基于模型的各工况测试用例,包括着陆刹车以及中止起飞测试用例,对自动刹车系统需求进行自动化测试,验证其正确性、完整性。最后,以着陆阶段自动刹车某一减速率为例对该方法进行了验证,确认了该方法的正确性。模型及管理工具分别为Library、Stateflow、Simulink。

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 model-based 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.