申请/专利权人：华侨大学;舒柏睿(厦门)信息科技有限公司

申请日：2022-12-21

公开（公告）日：2023-04-07

公开（公告）号：CN115933485A

主分类号：G05B19/042

分类号：G05B19/042

优先权：

专利状态码：在审-实质审查的生效

法律状态：2023.04.25#实质审查的生效;2023.04.07#公开

摘要：本发明涉及一种基于控制结构层次划分的安全攸关系统控制方法及装置，属于工业控制领域。方法包括：对安全攸关系统进行需求提取，提取出系统需求描述并梳理出系统组件之间的关系；根据系统组件之间的关系建立控制结构图；基于STPA方法对控制结构图进行组件层次划分，划分出多层嵌套控制结构；基于STPA方法对多层嵌套控制结构中每一层控制结构的控制行为进行不安全控制行为识别，得到相应的安全约束；基于安全约束，利用Event‑B方法对多层嵌套控制结构中的每一层控制结构进行建模验证，得到安全攸关系统的验证模型；采用验证模型对安全攸关系统进行安全控制。本发明方法能够保证安全攸关系统验证模型的正确性和系统控制的安全性，有效避免危险事件的发生。

主权项：1.一种基于控制结构层次划分的安全攸关系统控制方法，其特征在于，包括：从自动控制器和人工操作两方面对安全攸关系统进行需求提取，提取出对应的系统需求描述；所述安全攸关系统包括轨道交通系统和自动驾驶汽车系统；所述需求包括功能需求和非功能需求；根据所述系统需求描述梳理出所述安全攸关系统中系统组件之间的关系；根据所述系统组件之间的关系建立所述安全攸关系统的控制结构图；所述控制结构图中包括控制器、被控对象、控制命令以及变量信息；基于STPA方法对所述控制结构图进行组件层次划分，划分出多层嵌套控制结构；基于STPA方法对所述多层嵌套控制结构中每一层控制结构的控制行为进行不安全控制行为识别，得到相应的安全约束；基于所述安全约束，利用Event-B方法对所述多层嵌套控制结构中的每一层控制结构进行建模验证，得到安全攸关系统的验证模型；采用所述验证模型对所述安全攸关系统进行安全控制。

全文数据：

权利要求：

百度查询： 华侨大学;舒柏睿(厦门)信息科技有限公司 基于控制结构层次划分的安全攸关系统控制方法及装置

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD