杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

安全关键软件开发与审定: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.522

出版发行附注:

Taylor & Francis出版集团旗下，CRC出版公司授权出版 限中国大陆发行

责任者附注:

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

书目附注:

有书目 (第353-364页)

提要文摘附注:

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

豆瓣简介：