MARC状态:审校 文献类型:中文图书 浏览次数:23
- 题名/责任者:
- 安全关键软件开发与审定:DO-178C标准实践指南/(美) Leanna Rierson著 崔晓峰译
- 出版发行项:
- 北京:电子工业出版社,2020
- ISBN及定价:
- 978-7-121-40155-8 精装/CNY139.00
- 载体形态项:
- 18, 366页:图;27cm
- 并列正题名:
- Developing safety-critical software : a practical guide for aviation software and DO-178C compliance
- 其它题名:
- DO-178C标准实践指南
- 丛编项:
- 国防电子信息技术丛书
- 个人责任者:
- (美) 瑞尔森 (Rierson, Leanna) 著
- 个人次要责任者:
- 崔晓峰 译
- 学科主题:
- 安全技术-软件开发-指南
- 中图法分类号:
- TP311.52
- 书目附注:
- 有书目 (第353-364页)
- 提要文摘附注:
- 本书以民用航空机载软件适航标准制定者的视角,详细介绍了如何基于目前最新版的DO-178C标准进行安全关键软件的开发与管理,给出了如何获得成功审定的实用指南。主要内容包括在系统与安全大视野中的软件,DO-178C标准的深入解读和推荐实践,4个标准技术补充(软件工具鉴定、基于模型的开发、面向对象技术和形式化方法)的讲解说明,以及10个相关特别专题(未覆盖代码、外场可加载软件、用户可修改软件和实时操作系统等)的指导建议。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP311.52/379 | CN1855178 | ![]() |
阅览 | 内阅图书 | |
TP311.52/379 | CN1855179 | ![]() |
可借 | 未央馆 |
显示全部馆藏信息