登入帳戶  | 訂單查詢  | 購物車/收銀台( 0 ) | 在線留言板  | 付款方式  | 聯絡我們  | 運費計算  | 幫助中心 |  加入書簽
會員登入 新註冊 | 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌 香港/國際用戶
最新/最熱/最齊全的簡體書網 品種:超過100萬種書,正品正价,放心網購,悭钱省心 送貨:速遞 / EMS,時效:出貨後2-3日

2024年03月出版新書

2024年02月出版新書

2024年01月出版新書

2023年12月出版新書

2023年11月出版新書

2023年10月出版新書

2023年09月出版新書

2023年08月出版新書

2023年07月出版新書

2023年06月出版新書

2023年05月出版新書

2023年04月出版新書

2023年03月出版新書

2023年02月出版新書

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

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

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

售價:NT$ 739

我要買

share:

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



新書推薦:
商学精要(第12版)(工商管理经典译丛)
《 商学精要(第12版)(工商管理经典译丛) 》

售價:NT$ 554.0
产业政策的选择及其经济后果
《 产业政策的选择及其经济后果 》

售價:NT$ 722.0
战争的幽灵
《 战争的幽灵 》

售價:NT$ 493.0
西洋镜:中华考古图志
《 西洋镜:中华考古图志 》

售價:NT$ 1053.0
学会当领导:优秀员工的晋升之路
《 学会当领导:优秀员工的晋升之路 》

售價:NT$ 364.0
目的行为论导论——刑法体系的新图景(增补第4版·中文增订版)(当代世界学术名著)
《 目的行为论导论——刑法体系的新图景(增补第4版·中文增订版)(当代世界学术名著) 》

售價:NT$ 381.0
浮沉:里亚布申斯基家族兴衰史
《 浮沉:里亚布申斯基家族兴衰史 》

售價:NT$ 549.0
Android自动化测试实战:Python+Appium +unittest
《 Android自动化测试实战:Python+Appium +unittest 》

售價:NT$ 503.0

建議一齊購買:

+

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

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

NT$ 498
《 综合化模块化航空电子系统的分布式平台——对未来航空电子系统及其认证需求的见解 》
+

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

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

NT$ 670
《 机载软件适航标准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.tw
Copyright (C) 2013 - 2024 (香港)大書城有限公司 All Rights Reserved.