您的位置： 专家智库 > >

江志炜

作品数：5 被引量：0H指数：0
供职机构：中国航空综合技术研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 5篇中文专利

领域

  • 2篇自动化与计算...

主题

  • 2篇形式化
  • 2篇形式化验证
  • 2篇软件测试
  • 2篇软件测试技术
  • 2篇失效率
  • 2篇时态逻辑
  • 2篇嵌入式
  • 2篇嵌入式软件
  • 2篇自动化
  • 2篇模拟系统
  • 2篇可靠性
  • 2篇可靠性分析
  • 2篇仿真
  • 2篇仿真模型
  • 2篇测试技术
  • 2篇测试用例
  • 2篇测试用例生成
  • 1篇需求文档
  • 1篇自动生成
  • 1篇危险分析

机构

  • 5篇中国航空综合...

作者

  • 5篇江志炜
  • 4篇周汉清
  • 4篇黄燕冰
  • 1篇邵将

年份

  • 1篇2024
  • 1篇2021
  • 1篇2019
  • 1篇2018
  • 1篇2017
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
一种嵌入式软件安全性自动化验证系统及其验证方法
本发明是一种嵌入式软件安全性自动化验证系统及其验证方法，该技术方案结合基于模型检测的形式化验证技术与基于模型的软件测试技术，实现了对软件安全性的双重验证。本发明实现的自动化验证系统包括四部分，分别是软件需求建模模块、安全...
周汉清黄燕冰江志炜
一种基于事故动态推演仿真的故障模式与影响分析方法
本发明是一种基于事故动态推演仿真的故障模式与影响分析方法，该方法针对被分析对象的特点，构建最低约定层次的每一个模块的功能方框，构建功能框图，与传统的在功能模块上添加失效率并进行可靠性分析不同，本发明方法对每一个功能方框，...
周汉清吕海熊王智浩黄燕冰江志炜李瑜
一种基于事故动态推演仿真的故障模式与影响分析方法
本发明是一种基于事故动态推演仿真的故障模式与影响分析方法，该方法针对被分析对象的特点，构建最低约定层次的每一个模块的功能方框，构建功能框图，与传统的在功能模块上添加失效率并进行可靠性分析不同，本发明方法对每一个功能方框，...
周汉清吕海熊王智浩黄燕冰江志炜李瑜
文献传递
基于模型的飞机功能危险分析方法和装置
本发明涉及一种基于模型的飞机功能危险分析方法和装置，其包括：1)确定功能危险分析的基础数据；2)自动获取功能模型；3)根据功能定义功能失效状态；4)确定初因事件并获取事件属性；5)确定结果事件数据；6)构建事件序列模型；...
郭泰江雨航江志炜丁杰危虹邵将周德杰
一种嵌入式软件安全性自动化验证系统及其验证方法
本发明是一种嵌入式软件安全性自动化验证系统及其验证方法，该技术方案结合基于模型检测的形式化验证技术与基于模型的软件测试技术，实现了对软件安全性的双重验证。本发明实现的自动化验证系统包括四部分，分别是软件需求建模模块、安全...
周汉清黄燕冰江志炜
文献传递
全选 清除 导出
共1页<1>
聚类工具0