[00286391]基于形式化系统理论过程分析的安全需求生成方法

交易价格： 面议

类型： 发明专利

技术成熟度： 正在研发

专利所属地：中国

专利号：CN201710283349.4

交易方式： 完全转让许可转让技术入股

联系人：南京航空航天大学

所在地：江苏南京市

服务承诺: 产权明晰; 资料保密
对所交付的所有资料进行保密; 如实描述

登录后向技术服务商咨询

咨询平台客服试试在线客服吧发布技术需求服务免费

技术详细介绍

摘要：本发明公开了一种基于形式化系统理论过程分析的安全需求生成方法，其特征在于包含以下步骤步骤一针对需要分析的系统级危险，确定与其对应的系统级安全约束，构建系统的控制结构图；步骤二辨识出导致系统危险的不恰当控制，并根据不恰当控制行为制定细化的安全约束；步骤三辨识导致不恰当控制行为出现的控制缺陷，即导致系统危险出现的根本原因；步骤四对确定的安全约束进行变量的提取与形式化建模，再对这些需求进行验证，将其中冗余或矛盾的需求剔除或修改。本发明保障了电子检查单系统安全需求的正确性与一致性。

成果推荐需求推荐评估专家推荐评估机构推荐

更多>

上海平正评估有限公司

服务分类：资产评估、无形资产评...

进入主页
连城资产评估有限公司

服务分类：资产评估、无形资产评...

进入主页

更多>