李海峰
- 作品数：13 被引量：32H指数：3
- 供职机构：中国航空综合技术研究所更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种发动机控制软件的测试方法
- 本发明涉及一种发动机控制软件的测试方法。发动机控制系统软件具有运行时间长，接收数据量大等特征。传统测试方法很难在有效的时间内发现其隐藏的性能缺陷数据。针对此问题，本发明提出一种发动机控制软件的测试方法，直接针对发动机转速...
- 李海峰郑军
- 文献传递
- 支持SPIN验证的详细级SFMEA方法研究被引量：1
- 2016年
- 随着软件系统的规模和复杂度不断增大,以软件为核心的安全关键系统的可靠性和安全性越来越难以保证。软件失效模式与影响分析SFMEA(Software Failure Modes and Effect Analysis)是军工业中常用的一种安全分析方法,其依赖人工分析、缺乏形式化语义、无法支持验证。针对SFMEA方法的不足,提出一种结合SPIN的详细级SFMEA方法,对软件失效模式进行形式化建模与分析,并结合模型检验工具SPIN进行自动化地模型检验和模拟仿真,从而提高软件系统的安全性和可靠性。该方法验证了"缓冲区数组下标越界"的这一失效模式,从而说明该方法的有效性。
- 刘畅李海峰沈国华顾益刘银陵
- 关键词：失效模式SPIN安全关键系统
- 基于脚本的嵌入式软件仿真及测试一体化平台的构建方法
- 本发明属于自动化测试领域，是针对飞行器机载嵌入式软件的自动化测试技术，涉及一种基于脚本的嵌入式软件仿真及测试一体化平台的构建方法。本发明的实现是基于实时处理机和主控机的架构。在主控机上，测试用例和仿真模型采用测试脚本进行...
- 周汉清李海峰
- 文献传递
- 系统安全性交叉验证工具设计与实现被引量：1
- 2017年
- 针对独立验证方法存在容易遗漏以及人工分析的易错和效率低下等问题,文章基于PHA和FHA结合的交叉验证方法,设计和开发了系统安全性分析和验证工具,支持可视化和图形化的功能结构建模、FHA分析和汇总、PHA建模、分析和汇总、独立验证、交叉验证、危险数据库等功能,并结合刹车系统利用该方法和工具开展安全性交叉验证工作,结果表明方法和工具可以发现独立验证遗漏的问题,可以提高系统安全性的建模和分析能力、工作效率和可复用性。
- 李丹李震苗虹郑军李海峰
- 一种嵌入式软件安全性分析充分性检查方法
- 本发明属于计算机技术领域，涉及一种嵌入式软件安全性分析充分性检查方法，尤其涉及一种用于飞机安全性分析充分性检查的方法。本发明首次明确提出从系统和软件双向角度分别对机载嵌入式软件安全性分析工作开展充分性检查，给出了对PHA...
- 刘畅李海峰蔡玉华谢许扬郑军
- 文献传递
- 一种发动机控制软件的检查方法
- 本发明涉及一种发动机控制软件的检查方法。针对目前发动机控制软件运行过程中无法实施对发动机进行实时性能检测的问题，提出一种检测方法。该发明可通过发动机控制软件运行过程中实时收集到的风扇转速、压气机温度、压力、风扇导叶位置输...
- 李海峰郑军
- 文献传递
- 一种发动机控制软件的测试方法
- 本发明涉及一种发动机控制软件的测试方法。发动机控制系统软件具有运行时间长，接收数据量大等特征。传统测试方法很难在有效的时间内发现其隐藏的性能缺陷数据。针对此问题，本发明提出一种发动机控制软件的测试方法，直接针对发动机转速...
- 李海峰郑军
- 文献传递
- 基于脚本的嵌入式软件仿真及测试一体化平台的构建方法
- 本发明属于自动化测试领域，是针对飞行器机载嵌入式软件的自动化测试技术，涉及一种基于脚本的嵌入式软件仿真及测试一体化平台的构建方法。本发明的实现是基于实时处理机和主控机的架构。在主控机上，测试用例和仿真模型采用测试脚本进行...
- 周汉清李海峰
- 一种嵌入式软件安全性分析充分性检查方法
- 本发明属于计算机技术领域，涉及一种嵌入式软件安全性分析充分性检查方法，尤其涉及一种用于飞机安全性分析充分性检查的方法。本发明首次明确提出从系统和软件双向角度分别对机载嵌入式软件安全性分析工作开展充分性检查，给出了对PHA...
- 刘畅李海峰蔡玉华谢许扬郑军
- 一种结合线性时序逻辑和故障树的软件安全验证方法被引量：3
- 2015年
- 嵌入式软件在安全关键领域的广泛应用使得保障软件的安全性成为学界的研究热点。故障树技术是工业界常用的传统的安全分析方法之一。然而,传统的故障树无法精确描述安全关键系统中具有时序特征的系统故障。针对此问题,给出了一种结合线性时序逻辑和故障树的安全验证方法。该方法运用线性时序逻辑对故障树进行形式化规约,从中抽取出软件安全属性并用时序逻辑公式进行描述,用以支持对安全关键软件的模型检验。最后,以某机载控制系统软件数据处理故障模块的模型检验为例,来说明该方法的有效性和可行性。
- 王飞沈国华黄志球马琳刘畅李海峰廖莉莉
- 关键词：故障树分析线性时序逻辑安全关键系统
