公开(公告)号：CN112596475B

公开(公告)日：2021-11-23

申请号：CN202011383584.7

申请日：2020-12-01

Applicant: 北京电子工程总体研究所

Inventor： 刘旭 ,  原艳斌 ,  李玉伟 ,  李昕龙

IPC: G05B19/418

Abstract: 本申请实施例公开了一种基于过程控制的系统安全性分析系统，所述系统包括：项目管理模块、不安全控制缺陷分析模块、分析结果管理模块及基础数据库模块；所述项目管理模块用于分析项目的新建、打开、保存和删除，还用于启动所述不安全控制缺陷分析模块和所述分析结果管理模块；所述不安全控制缺陷分析模块用于提供控制结构图建模的图形化操作界面，以及提供所述不安全控制动作UCA自动生成功能；所述分析结果管理模块用于在不安全控制缺陷分析过程中利用历史数据加载工具，以及存储不安全控制缺陷分析结果；还用于利用模型追溯树、控制结构图查看相关结果；还用于利用报告生成工具导出项目的STPA分析报告。将半形式化建模语言引入系统理论过程分析STPA流程中，为复杂过程控制系统开展安全性分析提供支撑工具。

公开(公告)号：CN112596475A

公开(公告)日：2021-04-02

申请号：CN202011383584.7

申请日：2020-12-01

Applicant: 北京电子工程总体研究所

Inventor： 刘旭 ,  原艳斌 ,  李玉伟 ,  李昕龙

IPC: G05B19/418

Abstract: 本申请实施例公开了一种基于过程控制的系统安全性分析系统，所述系统包括：项目管理模块、不安全控制缺陷分析模块、分析结果管理模块及基础数据库模块；所述项目管理模块用于分析项目的新建、打开、保存和删除，还用于启动所述不安全控制缺陷分析模块和所述分析结果管理模块；所述不安全控制缺陷分析模块用于提供控制结构图建模的图形化操作界面，以及提供所述不安全控制动作UCA自动生成功能；所述分析结果管理模块用于在不安全控制缺陷分析过程中利用历史数据加载工具，以及存储不安全控制缺陷分析结果；还用于利用模型追溯树、控制结构图查看相关结果；还用于利用报告生成工具导出项目的STPA分析报告。将半形式化建模语言引入系统理论过程分析STPA流程中，为复杂过程控制系统开展安全性分析提供支撑工具。