便携式应急电源
镀铜焊丝的缺陷检测方法、装置、设...
电码的自动识别方法及存储介质
基于强化学习的楼栋摆放方法、装置...
用于观测水下生物的系统及其方法
一种电子设备的空中固件差分升级方...
一种印刷模切张力自动控制系统及其...
低功耗状态监控设备
一种利用RTP扩展头部解决视频帧...
一种高衍射效率相位型空间光调制器...
一种家装板材运输用包装机器人
航空发动机精密管路及其航空发动机...
宽光谱吸收的薄膜太阳能电池及光伏...
一种基于磁通压缩的脉冲磁体装置及...
一种总线访问仲裁装置及方法
一种处理网络抖动的方法及装置
基于光芯片的数据处理方法、装置、...
一种基于小基线条件下的大畸变广角...
一种自动识别设备间网络拓扑结构的...
基于光芯片的数据处理方法、装置、...
企业介绍页面,左右侧内容分别复制到相应容器即可,起始结束位置代码已作标注
专利名称机载安全关键系统的安全性需求追踪链建立和维护的方法
申请日2016-04-20
申请号/专利号CN201610248057.2
专利权人北京航空航天大学
申请人北京航空航天大学
发明人/设计人刘超;邓明丽;杨海燕;吴际
公告日2019-03-19
公告号CN105955719B
法律状态有效
专利类型发明
行业分类

摘要

本发明涉及一种机载安全关键系统的安全性需求追踪链建立和维护的方法,包括:从系统分配到软件时,预先定义软件高层安全性需求模板;基于所述软件高层安全性需求模板以及预定义的追踪实体之间的追踪关系,建立追踪链;本发明在系统安全性需求分配到软件高层安全性需求的过程中,保留了充足的信息;解决了当前软件高层需求模板没有对软件安全性要素进行描述的问题;提出了建立追踪链的模型,注意到了软件不同层次(高层到低层)的需求与需求之间的追踪关系,强调了分析过程中应当追踪的实体和关系;对于分析安全性需求的一致性和完整性、验证安全性需求是否得到满足提供了基础。
  关于我们  | 帮助中心  |  服务清单  |  发展历程 |  网站地图  |  手机访问

Copyrights 2016-2020  

南京锐阳信息科技有限公司 版权所有

苏ICP备17027521号-1

地址: 南京市秦淮区永智路5号五号楼3层