安全需求分析

作品数:41被引量:117H指数:7
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:胡道元戴晓栋江维陈浩詹瑾瑜更多>>
相关机构:天津大学电子科技大学北京国舜科技股份有限公司清华大学更多>>
相关期刊:《计算机工程》《考试周刊》《互联网周刊》《广播与电视技术》更多>>
相关基金:国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 基金=国家重点基础研究发展计划x
条 记 录,以下是1-2
视图:
排序:
基于STPA方法的平交道口安全需求分析被引量:9
《北京交通大学学报》2018年第2期84-90,共7页刘宏杰 唐涛 金夏垚 杜恒 
科技部"973"计划项目(2014CB340703);国家自然科学基金(U1434209);中央高校基本科研业务费专项资金(2016JBM007,2016JBZ004,2017JBZ004);交控科技设计创新和学科发展基金项目(9907006510)
现代平交道口控制系统多为由计算机组成的基于通信的控制系统,该类型系统中的危险致因大多源于系统组件间的复杂交互场景未得到充分辨识和控制。为了避免平交道口事故的发生,提出一套基于系统理论过程分析(STPA)的铁路信号系统安全分析...
关键词:平交道口 系统理论过程分析 安全分析 线性时序逻辑 XSTAMPP软件 
安全需求工程研究综述被引量:5
《计算机应用与软件》2013年第2期216-220,共5页汪北阳 
国家重点基础研究发展计划项目(2007CB310805)
近年来,安全需求工程逐渐成为软件工程领域的研究热点之一。在开发周期的早期阶段引进安全分析和安全工程实践比在应用设计阶段才引进分析的投资回报要高出12%-21%。归纳安全需求工程发展过程及其主要研究活动,给出安全需求工程的相关定...
关键词:安全需求 安全需求工程 安全需求获取 安全需求分析 安全需求建模 模型检测 风险评估 
检索报告 对象比较 聚类工具 使用帮助 返回顶部