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

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