航电系统安全性需求捕获类别数据
收藏国家基础学科公共科学数据中心2026-01-30 收录
官方服务:
资源简介:
项目实施过程数据,包括安全控制结构模型、不安全约束规约体系、不安全规约体系与安全性需求的映射关联关系表;项目实施的结果数据:主要包括未提供、错误提供、时点错误、时长错误等4类不安全控制行为关联的安全需求捕获方法,以文件形式存储。包含数据一:主要介绍了安全控制结构模型的构建方法,包括定义系统边界、识别控制层级、建立反馈回路、细化控制结构等步骤,并详细阐述了如何基于该模型识别不安全控制行为,以及如何生成相应的安全性需求。具体涉及未提供控制行为、提供错误控制行为、时序错误、作用时间错误等四种不安全控制行为的识别与安全性需求生成方法。数据二:聚焦于4类不安全控制行为(未提供控制行为、错误提供控制行为、时点错误、时长错误)关联的安全需求捕获方法。对每类不安全控制行为,分别从识别相关情境和生成安全需求两个方面进行了详细说明,包括具体的分析步骤、考虑因素、定义规则及建立机制等内容。
提供机构:
中国民航大学搜集汇总
数据集介绍

背景与挑战
背景概述
该数据集包含航电系统安全性需求捕获的过程与结果数据,涉及安全控制结构模型构建、不安全约束规约体系及其与安全性需求的映射关系。结果数据针对未提供、错误提供、时点错误和时长错误四类不安全控制行为,提供了具体的识别与安全需求生成方法,以文件形式存储。
以上内容由遇见数据集搜集并总结生成



