全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 综合模块化航空电子系统安全分析的模型检测方法
- 作者： 邝安玄 马超 王佳明 来源： 电光与控制 年份： 2023 文献类型 ： 期刊 关键词： 模型检测 综合模块化航空电子系统 系统分析 安全性
- 描述： 的使用在实现自动化的同时减少对工程经验的需求。该方法在综合模块化航空电子系统安全分析中的实用性得到验证，在系统需求规格的基础上给出了分析过程，利用模型检测工具NuSMV进行安全性分析。该方法能够自动识别出引起顶层事件的最小故障组合，从而达到传统故障树分析的目的，最终通过案例分析表明了该方法的实用性。
- 综合模块化航空电子系统安全分析的模型检测方法
- 作者： 邝安玄 马超 王佳明 来源： 电光与控制 年份： 2023 文献类型 ： 期刊 关键词： 模型检测 综合模块化航空电子系统 系统分析 安全性
- 描述： 的使用在实现自动化的同时减少对工程经验的需求。该方法在综合模块化航空电子系统安全分析中的实用性得到验证，在系统需求规格的基础上给出了分析过程，利用模型检测工具NuSMV进行安全性分析。该方法能够自动识别出引起顶层事件的最小故障组合，从而达到传统故障树分析的目的，最终通过案例分析表明了该方法的实用性。