| ISBN/价格： | 978-7-121-40155-8:CNY139.00 |
|---|
| 作品语种： | chi eng |
|---|
| 出版国别： | CN 110000 |
|---|
| 题名责任者项： | 安全关键软件开发与审定/.(美)Leanna Rierson著/.崔晓峰译 |
|---|
| 出版发行项： | 北京:,电子工业出版社:,2020.12 |
|---|
| 载体形态项： | 18,366页:;+图:;+26cm |
|---|
| 丛编项： | 国防电子信息技术丛书 |
|---|
| 提要文摘： | 本书以民用航空机载软件适航标准制定者的视角，详细介绍了如何基于目前最新版的DO-178C标准进行安全关键软件的开发与管理，给出了如何获得成功审定的实用指南。主要内容包括：在系统与安全大视野中的软件，DO-178C标准的深人解读和推荐实践，4个标准技术补充(软件工具鉴定、基于模型的开发、面向对象技术和形式化方法)的讲解说明，以及10个相关特别专题(未覆盖代码、外场可加载软件、用户可修改软件、实时操作系统、配置数据、软件复用和逆向工程等)的指导建议。 |
|---|
| 并列题名： | Developing safety-critical software eng |
|---|
| 题名主题： | 安全技术 软件开发 指南 |
|---|
| 中图分类： | TP311.52 |
|---|
| 个人名称等同： | 瑞尔森 L. (美) 著 |
|---|
| 个人名称次要： | 崔晓峰 译 |
|---|
| 记录来源： | CN 人天书店 20210119 |
|---|