航天型号软件可靠性安全性设计
全新正版 极速发货
¥
48.97
7.2折
¥
68
全新
库存3件
作者宋晓秋等 著
出版社中国宇航出版社
ISBN9787515919676
出版时间2021-08
装帧平装
开本16开
定价68元
货号31276571
上书时间2024-06-01
商品详情
- 品相描述:全新
- 商品描述
-
目录
第1章 基础术语与基本概念
1.1 软件可靠性相关术语及其相互关系
1.2 软件可靠性的概念
1.3 软件安全性的概念
1.4 软件可靠性与软件安全性的关系
第2章 配合硬件或系统设计的考虑事项
2.1 嵌入式系统掉电防护的设计
2.2 嵌入式系统加电自检的设计
2.3 嵌入式系统抗电磁干扰的设计
2.4 嵌入式系统的系统不稳定性防范设计
2.5 嵌入式系统接口故障的防范设计
2.6 嵌入式系统剔除干扰信号的设计
2.7 嵌入式系统错误操作的防范设计
2.8 嵌入式系统机械限位控制的设计
第3章 容错和容失效的设计
3.1 软件安全关键功能的冗余设计
3.2 防漏与防误的混联冗余设计
3.3 软件的故障/失效检测、隔离和恢复设计
3.4 软件对故障的屏蔽设计
3.5 软件机内自测试的设计
3.6 软件冗余中的多数表决设计
3.7 软件的N-版本程序设计
3.8 软件的故障封锁区域设计
3.9 软件的不同版本冗余设计
3.10 软件的恢复块设计
3.11 软件功能实现途径的多样性设计
3.12 软件模块的自我保护和自我检测设计
第4章 接口设计
4.1 与硬件相关的接口软件设计
4.1.1 软件检测中的硬件反馈回路设计
4.1.2 软件对接口的监测与控制设计
4.1.3 软件安全关键信息冗余位的设计
4.1.4 通信接口的实时监测设计
4.1.5 数据传输报文的设计
4.1.6 外部功能对软件安全关键信号的接收设计
4.1.7 接收外部数据时的合理性检查设计
4.1.8 IO数据满量程范围的设计
4.2 软件程序模块之间的接口设计
4.3 人机界面设计
4.3.1 人机交互显示界面的设计
4.3.2 人机接口(CHI)的设计
4.3.3 安全状态恢复的设计
4.3.4 安全关键操作双重保护的设计
4.3.5 对误操作的防范处理设计
4.3.6 对危险状态报警的设计
4.3.7 对故障标识的设计
第5章 通信设计
5.1 通信协议的设计
5.2 数据接收方的因素
5.3 数据发送方的因素
内容摘要
本书是对GJB/Z102A-2012在航天型号软件中工程实践的经验总结,也是对GJB/Z102A-2012的工程要
点释义,是深刻领会与贯彻执行GJB/Z102A-2012的辅助教材。
本书的第1章是基础术语与基本概念,第2章至第14章是对应于GJB/Z102A-2012的具体设计要求与设计方法,第2章是配合硬件或系统设计的考虑事项,第3章是容错和容失效的设计,第4章是接口设计,第5章是通信设计,第6章是数据安全性设计,第7章是中断设计,第8章是模块设计,第9章是定时、吞吐量和规模的余量设计,第10章是防错设计,第1l章是自检查设计,第12章是异常保护设计,第13章是软件实现,第14章是代码验证,第15章是软件工程中可靠性安全性的一般要求,附录A介绍了一个软件异常退出的技术分析典型案例,附录B介绍了软件可靠性安全性设计全视角知识系统,附录C介绍了软件可靠性量化指标评估。
— 没有更多了 —
以下为对购买帮助不大的评价