检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:陈国慧 张娟 张博强 陆峰 CHEN Guohui;ZHANG Juan;ZHANG Boqiang;LU Feng(Xi'an Brake Technology Co.,Ltd,Xi'an 710075,China)
出 处:《民用飞机设计与研究》2020年第3期61-66,共6页Civil Aircraft Design & Research
摘 要:针对民用飞机刹车系统的重要组成部分-自动刹车系统,介绍了自动刹车系统的功能,并对其原理进行了简单介绍,提出了一种适用于自动刹车系统开发的基于模型驱动的设计方法,根据自动刹车的功能需求,建立其对应的行为模型,对需求进行确认以及验证,根据自动刹车的功能架构对其行为模型进行集成,形成自动刹车功能的集成模型,确认、验证其架构的正确性。最后,综合考虑自动刹车的需求以及行为模型,建立基于模型的各工况测试用例,包括着陆刹车以及中止起飞测试用例,对自动刹车系统需求进行自动化测试,验证其正确性、完整性。最后,以着陆阶段自动刹车某一减速率为例对该方法进行了验证,确认了该方法的正确性。模型及管理工具分别为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.
关 键 词:自动刹车 基于模型的系统工程 行为模型 自动化测试
分 类 号:V227[航空宇航科学与技术—飞行器设计] V37
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.70