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

• 作者: 张博强 张娟 陆峰 陈国慧
• 来源期刊: 民用飞机设计与研究
• 学科: 航空航天
• 关键词: 自动刹车 基于模型的系统工程 行为模型 自动化测试
• 年，卷（期）: 2020,（3）
• 所属期刊栏目: 技术研究
• 页码范围: 61-66
• 页数: 6页
• 分类号: V227|V37
• 语种: 中文
• DOI: 10.19416/j.cnki.1674-9804.2020.03.011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈国慧		2	0	0.0	0.0
2	张娟		2	3	1.0	1.0
3	张博强		1	0	0.0	0.0
4	陆峰		1	0	0.0	0.0