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