登入帳戶  | 訂單查詢  | 購物車/收銀台(0) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入   新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

新書上架簡體書 繁體書
暢銷書架簡體書 繁體書
好書推介簡體書 繁體書

11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書

『簡體書』安全关键软件开发与审定——DO-178C标准实践指南

書城自編碼: 2585990
分類:簡體書→大陸圖書→計算機/網絡软件工程/开发项目管理
作者: L.里埃森
國際書號(ISBN): 9787121259920
出版社: 电子工业出版社
出版日期: 2015-06-01

頁數/字數: 341页
書度/開本: 16开 釘裝: 平装

售價:HK$ 164.7

我要買

share:

** 我創建的書架 **
未登入.


新書推薦:
心理咨询与治疗技术经典入门(第3版)
《 心理咨询与治疗技术经典入门(第3版) 》

售價:HK$ 142.9
无冕之王:齐桓公与齐国崛起
《 无冕之王:齐桓公与齐国崛起 》

售價:HK$ 63.8
中国涉外法治蓝皮书(2024)
《 中国涉外法治蓝皮书(2024) 》

售價:HK$ 98.0
黄庭经详解(全2册)
《 黄庭经详解(全2册) 》

售價:HK$ 141.6
台北故宫博物院典藏大系·绘画卷(全十册)
《 台北故宫博物院典藏大系·绘画卷(全十册) 》

售價:HK$ 9784.0
姑苏繁华图
《 姑苏繁华图 》

售價:HK$ 684.4
人的消逝:从原子弹、互联网到人工智能
《 人的消逝:从原子弹、互联网到人工智能 》

售價:HK$ 103.8
想象的共同体--民族主义的起源与散布(增订版)
《 想象的共同体--民族主义的起源与散布(增订版) 》

售價:HK$ 77.3

 

建議一齊購買:

+

HK$ 202.5
《嵌入式系统软件工程——方法、实用技术及应用》
+

HK$ 58.5
《致命Bug 软件缺陷的灾难与启示》
+

HK$ 111.0
《综合化模块化航空电子系统的分布式平台——对未来航空电子系统及》
+

HK$ 233.2
《民用飞机系统安全性设计与评估技术概论》
+

HK$ 262.4
《大飞机出版工程:机载软件研制流程最佳实践(附光盘)》
+

HK$ 190.8
《机载软件适航标准DO-178B/C研究》
內容簡介:
本书作者是DO-178系列标准的直接制定者之一。书中详细介绍了如何基于最新版本的DO-178C标准进行高安全软件开发,既包括对标准的全面介绍,又包括依据该标准进行开发和审定的实用指南;既包含多年从事高安全软件研制、管理、审定工作的经验,又包含相关最新软件技术的深入讲解。主要内容有:在系统与安全性大视野中的软件;DO-178C标准的具体解释及如何有效使用;DO-178C相关的工具鉴定、基于模型的开发、面向对象技术、形式化方法;成功开发高安全软件及审定的实用建议;以及与高安全软件开发和验证相关的深入专题。
關於作者:
Leanna Rierson是一位面向安全关键系统的软件、复杂电子硬件以及综合模块化航空电子(IMA)开发的独立咨询师,尤其重点在民用航空领域。她在软件和航空工业有超过20年的经验。Rierson用了9年时间作为美国联邦航空局(FAA)的软件和航空电子专家——其中5年是作为航空器计算机软件的首席科技顾问。Rierson已经出版了大量关于安全关键软件、综合模块化航空电子以及航空方面的论文,领导了许多国家的和国际的工程团队和工作会议,并为FAA开发了课程、原则、手册以及指南材料。她在编写DO-178C和其他6份相关文件的美国航空无线电技术委员会(RTCA)专门委员会中担任了一个子工作组的副主席和编辑小组负责人。Rierson已经为数百名专业人员讲授DO-178B,以及现在的DO-178C。她是一位在软件和复杂硬件领域具有A级授权的FAA委任工程代表(DER)。她已经与众多的航空器和航空电子公司合作,包括波音(Boeing)、 赛斯纳(Cessna)、里尔喷气机(Learjet)、巴西航空工业公司(Embraer)、罗克韦尔柯林斯(Rockwell Collins)、通用电气航空(GE Aviation)、霍尼韦尔Honeywell以及其他许多。她目前兼职工作于罗克韦尔柯林斯的航空电子合格审定小组。Leanna拥有罗切斯特技术学院的软件工程硕士学位和卫奇塔州立大学的电子工程学士学位。她还曾在欧扎克基督教学院学习,以及获得约翰逊圣经学院学院的硕士学位。
目錄
第一部分 引言
 第1章 引言和概览
1.1 安全关键软件的定义
1.2 安全性问题的重要性
1.3 本书目的和重要提示
1.4 本书概览
第二部分 安全关键软件开发的语境
 第2章 系统语境中的软件
2.1 系统开发概览
2.2 系统需求
2.3 系统需求确认与验证
2.4 系统工程师最佳实践
2.5 软件与系统的关系
 第3章 系统安全性评估语境中的软件
3.1 航空器与系统安全性评估过程概览
3.2 开发保证
3.3 软件如何置入安全性过程
第三部分 使用DO-178C开发安全关键软件
 第4章 DO-178C及支持文件概览
4.1 DO-178历史
4.2 DO-178C和DO-278A核心文件
4.3 DO-330:软件工具鉴定考虑
4.4 DO-178C技术补充
4.5 DO-248C:支持材料
 第5章 软件策划
5.1 引言
5.2 一般策划建议
5.3 5个软件计划
5.4 3个开发标准
5.5 工具鉴定计划
5.6 其他计划
 第6章 软件需求
 ……
第四部分 工具鉴定和DO-178C补充
第五部分 特别专题
参考文献

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 海外用户
megBook.com.hk
Copyright © 2013 - 2024 (香港)大書城有限公司  All Rights Reserved.