李海峰

作品数：5被引量：32H指数：3
导出分析报告
供职机构：中国航空综合技术研究所更多>>
发文主题：风扇转速发动机控制发动机嵌入式软件控制软件更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机应用与软件》《软件学报》《电子设计工程》《计算机测量与控制》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于软件仿真技术的外源性故障注入方法研究被引量：3
《计算机测量与控制》2017年第9期17-20,共4页高虎 李海峰 赵刚 
针对当前复杂系统测试性试验中存在的无法模拟外部条件性存在的设备故障、外部输入输出故障模式单一等故障注入问题,定义了外源性故障的概念;针对外源性故障具有的功能逻辑和运行场景特性、故障源繁杂特性、模拟难度大成本高特性、总线...
关键词：测试性 故障注入 仿真技术 外源性故障 
系统安全性交叉验证工具设计与实现被引量：1
《电子设计工程》2017年第4期32-34,38,共4页李丹 李震 苗虹 郑军 李海峰 
江苏高校优势学科(苏政办发[2011]6号);江苏省企业博士集聚计划(苏人才办[2012]40号);镇江市"331"计划优先项目(镇领军办[2013]3号);中航综合技术研究所创新课题(2011DX051F)
针对独立验证方法存在容易遗漏以及人工分析的易错和效率低下等问题,文章基于PHA和FHA结合的交叉验证方法,设计和开发了系统安全性分析和验证工具,支持可视化和图形化的功能结构建模、FHA分析和汇总、PHA建模、分析和汇总、独立验证、...
关键词：系统安全性 初步危险分析 功能危险分析 验证 
支持SPIN验证的详细级SFMEA方法研究被引量：1
《计算机应用与软件》2016年第5期281-284,306,共5页刘畅 李海峰 沈国华 顾益 刘银陵 
国家自然科学基金项目(61272083)
随着软件系统的规模和复杂度不断增大,以软件为核心的安全关键系统的可靠性和安全性越来越难以保证。软件失效模式与影响分析SFMEA(Software Failure Modes and Effect Analysis)是军工业中常用的一种安全分析方法,其依赖人工分析、缺...
关键词：软件FMEA 失效模式 SPIN 安全关键系统 
一种结合线性时序逻辑和故障树的软件安全验证方法被引量：3
《计算机科学》2015年第12期71-75,共5页王飞 沈国华 黄志球 马琳 刘畅 李海峰 廖莉莉 
国家自然科学基金(61272083);国家高技术研究发展计划(863)(2009AA010307);国家国防科技工业局技术基础科研项目(Z052013B009;JSJC2013205C507)资助
嵌入式软件在安全关键领域的广泛应用使得保障软件的安全性成为学界的研究热点。故障树技术是工业界常用的传统的安全分析方法之一。然而,传统的故障树无法精确描述安全关键系统中具有时序特征的系统故障。针对此问题,给出了一种结合线...
关键词：故障树分析 模型检验 线性时序逻辑 安全关键系统 安全属性 
考虑测试工作量与覆盖率的软件可靠性模型被引量：24
《软件学报》2013年第4期749-760,共12页李海峰 王栓奇 刘畅 郑军 李震 
为了进一步提升现有非齐次泊松过程类软件可靠性增长模型的拟合与预计精度,首先,提出一个同时考虑测试工作量与测试覆盖率的NHPP类软件可靠性建模框架.在此基础上,将变形S型测试工作量函数(IS-TEF)以及Logistic测试覆盖率函数(LO-TCF)...
关键词：软件可靠性建模 测试覆盖率 测试工作量 非齐次泊松过程 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部