发明专利 已授权

面向冗余结构的安全刹车控制系统的设计方法及装置

📄 申请号:CN202410029921.4 📄 发布日:2026/05/07

著录项目信息

申请日
2024-01-09
公开号
CN117555217A
公开日
2024-02-13
申请人
华侨大学
法律状态
已下证
专利类型
发明
主分类号
IPC 分类号

技术画像

应用场景

汽车制动, 轨道交通制动, 航空航天制动, 工业设备安全制动, 自动驾驶

摘要

本发明公开了一种面向冗余结构的安全刹车控制系统的设计方法及装置,涉及安全性分析领域,包括:确定飞机的安全刹车控制系统的系统级事故和危险,明确各组件的功能需求;设计分层次的控制结构图,根据各组件的功能需求和控制结构图定义各组件的功能性契约;验证和测试功能性契约的正确性和一致性,若通过,则识别不安全控制行为和组件级的致因场景;将致因场景表示成安全性契约,并添加对应的组件中,与功能性契约构成理想模型定义的契约,验证和测试理想模型定义的契约的正确性和一致性;设计安全刹车控制系统中各组件的产品并将各组件的产品实现描述为有限状态机,验证是否满足理想模型定义的契约的约束,解决设计不统一、复杂性高的问题。
权利要求书 (12项) 说明书 附图

……

……

图1
图2
图3

法律状态时间线

同领域国内专利 · IPC: (G05B9_03)

G05B9_03 覆盖1个领域

相似专利推荐 AI 驱动 · 同领域

暂无同领域相似专利推荐
议价
不含过户费

📋 交易方式: 委托待转让 📌 交易状态: 在售 👁️ 浏览次数:75 ❤️ 收藏人数:93 📋 项目申报: 未申报

资金托管 权属尽调 包过户
🏢 淄博智来知识产权服务有限公司
✓ 企业认证✓ 手机绑定历史成交 0件好评率 98.5%

📊 出价记录 (3条)
王**¥-10万
李** 企业¥-8万
陈**¥-3万
查看全部出价