[发明专利]一种基于STPA形式化模型的安全分析方法在审
| 申请号： | 201810220224.1 | 申请日： | 2018-03-16 |
| 公开（公告）号： | CN108398940A | 公开（公告）日： | 2018-08-14 |
| 发明（设计）人： | 王立松;陈苗芳;胡军 | 申请（专利权）人： | 南京航空航天大学 |
| 主分类号： | G05B23/02 | 分类号： | G05B23/02 |
| 代理公司： | 南京钟山专利代理有限公司 32252 | 代理人： | 戴朝荣 |
| 地址： | 211106 江*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种基于STPA形式化模型的安全分析方法。所述基于STPA形式化模型的安全分析方法包括如下步骤：一、识别出相应的系统级危险，确定相应的系统级安全约束；二、建立系统分层控制结构；三、建立系统STPA形式化模型并生成不安全控制行为；四、针对步骤三生成的不安全控制行为，确定产生所述不安全控制行为的原因。本发明的有益效果是：所述基于STPA形式化模型的安全分析方法采用基于四变量模型的软件需求进行变量的提取，拥有很多潜在好处，包括降低错误数量、促使需求更加完整准确等，可以确保过程模型变量的提取具有可靠性且没有遗漏。 | ||
| 搜索关键词： | 安全分析 控制行为 不安全 建立系统 系统级 分层控制结构 安全约束 变量模型 过程模型 软件需求 遗漏 | ||
【主权项】：
1.一种基于STPA形式化模型的安全分析方法，其特征在于：包括如下步骤：一、识别出相应的系统级危险，确定相应的系统级安全约束；二、建立系统分层控制结构；三、建立系统STPA形式化模型并生成不安全控制行为；四、针对步骤三生成的不安全控制行为，确定产生所述不安全控制行为的原因。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京航空航天大学，未经南京航空航天大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201810220224.1/，转载请声明来源钻瓜专利网。
- 上一篇：一种基于DS证据理论的故障诊断方法
- 下一篇：一种应急监测车专用车载监控系统
