搜索
高级检索
高级搜索
书       名 :
著       者 :
出  版  社 :
I  S  B  N:
文献来源:
出版时间 :
基于模型的IMA安全性分析理论与方法
0.00     定价 ¥ 98.00
图书来源: 浙江图书馆(由浙江新华配书)
此书还可采购25本,持证读者免费借回家
  • 配送范围:
    浙江省内
  • ISBN:
    9787030797568
  • 作      者:
    作者:孙有朝//李龙彪|责编:赵敬伟//赵颖
  • 出 版 社 :
    科学出版社
  • 出版日期:
    2024-11-01
收藏
内容介绍
本书以基于模型的综合模块化航空电子系统(integrated modularavionics,IMA)安全性分析理论与方法为主线,深入探讨了IMA体系架构与设计特征、基于FTGPN的IMA建模方法、IMA级联失效影响分析、风险传播机制、基于GSPN的IMA安全性建模方法以及基于模型的IMA安全性分析方法等内容,涵盖了IMA安全性分析理论方法与工程应用,给出了大型飞机典型IMA系统的安全性分析工程案例。 本书可供从事航空电子系统安全性分析、设计、制造、试验和管理的工程技术人员使用和参考,也可作为高等工科院校电子、自动化、航空、航天、民航等相关专业高年级本科生、硕士和博士研究生的学习参考书。
展开
目录
前言
第1章 绪论
1.1 航电系统的发展
1.1.1 分立式航电系统
1.1.2 联合式航电系统
1.1.3 综合模块化航电系统
1.1.4 新一代航电系统
1.2 IMA工作原理分析
1.2.1 IMA结构组成与功能分析
1.2.2 实施推理方法
1.2.3 基于“合同”的模块化系统集成方法
1.2.4 系统交互验证
第2章 IMA安全性分析
2.1 引言
2.2 IMA安全性分析的难点
2.3 IMA安全性分析研究现状
2.3.1 系统安全性分析的相关适航规章
2.3.2 系统安全性分析方法研究现状
2.3.3 IMA的安全性分析方法研究现状
2.3.4 IMA前沿理论与技术现状
2.4 小结
第3章 基于FTGPN的IMA系统架构模型
3.1 引言
3.2 IMA系统架构
3.2.1 IMA的适航标准
3.2.2 IMA架构与特点
3.2.3 IMA与联合式航空电子系统对比
3.3 典型机型IMA架构特征分析
3.3.1 波音777飞机IMA架构特征分析
3.3.2 波音787飞机IMA架构特征分析
3.3.3 空客A380飞机IMA架构特征分析
3.3.4 三种机型IMA架构特征对比分析
3.4 基于FTGPN的建模方法
3.4.1 FTGPN建模
3.4.2 IMA平台系统的FTA模型
3.4.3 IMA平台系统的FTGPN模型
3.5 小结
第4章 面向组件的IMA失效影响分析方法
4.1 引言
4.2 IMA级联失效及原因分析
4.2.1 IMA级联失效的原因
4.2.2 IMA级联失效的类型
4.2.3 IMA级联失效故障传播机制
4.2.4 IMA级联失效影响分析
4.2.5 IMA级联失效影响发展
4.3 IMA级联失效模型
4.3.1 同层内级联失效模型
4.3.2 层间耦合级联失效模型
4.3.3 案例分析
4.4 IMA失效影响分析方法
4.4.1 事件树分析
4.4.2 原因-模式-影响-分析
4.4.3 关系矩阵失效分析
4.4.4 基于组件的级联失效分析
4.4.5 基于DOMINO-GSPN的级联失效分析
4.5 小结
第5章 基于功能仿真的IMA风险传播分析
5.1 引言
5.2 IMA级联失效跨空间传播的基本形式
5.3 改进的元胞自动机
5.4 基于细胞自动机的IMA级联失效传播模型
5.4.1 IMA的细胞及其状态
5.4.2 IMA的细胞空间
5.4.3 IMA的细胞邻居
5.4.4 IMA的状态转换规则
5.5 IMA级联失效跨空间传播仿真案例
5.5.1 IMA的仿真场景
5.5.2 IMA的仿真模型及基本参数
5.5.3 IMA的仿真流程
5.5.4 IMA的仿真结果与分析
5.6 小结
第6章 基于GSPN的IMA安全性建模方法
6.1 引言
6.2 基于组合方法的安全性建模
6.2.1 HiP-HOPS安全性建模方法
6.2.2 基于AADL和GSPN安全性建模方法
6.3 IMA的安全性建模案例
6.3.1 IMA的静态建模案例
6.3.2 IMA的动态建模案例
6.4 小结
第7章 基于模型的IMA安全性分析方法
7.1 引言
7.2 传统系统安全性分析方法
7.2.1 飞机/系统级功能危险分析
7.2.2 初步系统安全性分析
7.2.3 系统安全性分析
7.3 基于模型的系统安全性分析方法
7.3.1 基于模型的系统安全性分析架构
7.3.2 故障扩展机制研究
7.3.3 模型验证方法
7.4 基于模型的IMA安全性分析实例
7.4.1 IMA平台系统架构建模
7.4.2 故障注入及模型扩展
7.4.3 安全性分析结果
7.5 小结
参考文献
展开
加入书架成功!
收藏图书成功!
我知道了(3)
发表书评
读者登录

请选择您读者所在的图书馆

选择图书馆
浙江图书馆
点击获取验证码
登录
没有读者证?在线办证