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

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