安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

安全关键软件开发与审定:DO-178C标准实践指南/(美) Leanna Rierson著 崔晓峰译

出版发行项:

北京:电子工业出版社,2020.12

ISBN及定价:

978-7-121-40155-8 精装/CNY139.00

载体形态项:

18, 366页:图;26cm

统一题名:

Developing safety-critical software : a practical guide for aviation software and DO-178C compliance

其它题名:

DO-178C标准实践指南

丛编项:

国防电子信息技术丛书

个人责任者:

瑞尔森 (Rierson, Leanna) 著

个人次要责任者:

崔晓峰 译

学科主题:

安全技术-软件开发-指南

中图法分类号:

TP311.52

出版发行附注:

由Taylor&Francis出版集团旗下的CRC出版公司授权出版

责任者附注:

责任者规范汉译姓: 瑞尔森

书目附注:

有书目 (第353-366页)

提要文摘附注:

本书以民用航空机载软件适航标准制定者的视角, 详细介绍了如何基于目前最新版的DO-178C标准进行安全关键软件的开发与管理, 给出了如何获得成功审定的实用指南。主要内容包括: 在系统与安全大视野中的软件, DO-178C标准的深人解读和推荐实践, 4个标准技术补充 (软件工具鉴定、基于模型的开发、面向对象技术和形式化方法) 的讲解说明, 以及10个相关特别专题 (未覆盖代码、外场可加载软件、用户可修改软件、实时操作系统、配置数据、软件复用和逆向工程等) 的指导建议。

豆瓣简介：