【技术实现步骤摘要】
本专利技术涉及产品安全性分析领域，具体涉及一种面向冗余结构的安全刹车控制系统的设计方法及装置。
技术介绍
1、随着飞机研制技术的发展，航空运输的安全性、经济性和舒适性都得到有效提高。其中，民用飞机对安全性的要求贯穿整个寿命周期，保证飞机运行的安全性一直是航空业的首要目标。飞机刹车子系统（wbs）主要用于飞机在地面行驶和降落时的制动操作，对飞行安全至关重要。为了防止飞机在地面行驶和降落时发生灾难性的事故，在民用航空器研制阶段，需要对飞机进行系统化的安全性分析、设计与验证工作。
2、现在在许多复杂系统事故中，其中没有发生组件失效，而是非故障组件之间的不安全交互导致了损失。现有的故障树分析、事件树分析等传统的安全分析方法未能解决这些事故的新原因。而能够解决新原因的stpa方法存在证明分层正确性的问题。设计方面，在形式化验证领域有着大量的方法和工具，但是由于实际工业应用的复杂性等原因，在使用过程面临着许多困难。契约式设计通过明确定义和验证软件组件之间的接口和行为规范，以提高软件系统的可靠性、可维护性和可复用性，适用于复杂系统。但是其...
【技术保护点】
1.一种面向冗余结构的安全刹车控制系统的设计方法，其特征在于，包括以下步骤：
2.根据权利要求1所述的面向冗余结构的安全刹车控制系统的设计方法，其特征在于，所述确定飞机的安全刹车控制系统的系统级事故和危险，具体包括：
3.根据权利要求1所述的面向冗余结构的安全刹车控制系统的设计方法，其特征在于，所述安全刹车控制系统包括轮刹系统，所述控制结构图包括轮刹系统的控制结构图、轮刹系统及其子系统的控制结构图和轮刹系统及其子系统中各组件的控制结构图，分别表示所述轮刹系统、所述轮刹系统中的子系统和轮刹系统及其子系统中各组件之间的控制行为和反馈行为，所述轮刹系...
【技术特征摘要】
1.一种面向冗余结构的安全刹车控制系统的设计方法，其特征在于，包括以下步骤：
2.根据权利要求1所述的面向冗余结构的安全刹车控制系统的设计方法，其特征在于，所述确定飞机的安全刹车控制系统的系统级事故和危险，具体包括：
3.根据权利要求1所述的面向冗余结构的安全刹车控制系统的设计方法，其特征在于，所述安全刹车控制系统包括轮刹系统，所述控制结构图包括轮刹系统的控制结构图、轮刹系统及其子系统的控制结构图和轮刹系统及其子系统中各组件的控制结构图，分别表示所述轮刹系统、所述轮刹系统中的子系统和轮刹系统及其子系统中各组件之间的控制行为和反馈行为，所述轮刹系统的子系统包括刹车系统控制单元bscu和液压系统，所述刹车系统控制单元bscu的组件包括第一子单元subbscu1、第二子单元subbscu2和开关switch，所述液压系统的组件包括主液压、第一液压传感器、备用液压、第二液压传感器和蓄电池。
4.根据权利要求3所述的面向...
【专利技术属性】
技术研发人员：林泓凯，陈祖希，梅萌，张宏扬，朱永华，周长利，郑黎晓，
申请(专利权)人：华侨大学，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。