航空裝備軟件安全性技術（簡體書）
商品資訊
商品簡介
本書的讀者物件主要定位於航空裝備研制領域的專業技術人員，以及高等院校計算機、軟件工程、嵌入式系統及相關專業的本科生及研究生，也可為從事軍(民)領域系統開發、驗證及維護領域的專業技術人員能力提升提供參考。
序
隨著科學技術步．是計算機和電子信息技術的飛速發展，航空、航天、武器系統、電力、交通、、無人系統等軟件密集型裝備的性提高，結構也變得越來越複雜。這些系統的意外事件往往會造成人員的傷亡、設備的損壞、環境破壞和財產損失等嚴重後果。還可能問接地產生政治影響，所以它們的運行成為一項基本要求，
當前軟件性問題日益突出．且直接關係到裝備的研製成敗。國外對軟件性技術已經展開了大量的科研和工程實踐工作．我國航空裝備軟件性技術研究起步較晚，隨著裝備性問題頻出．目前工業界對航空裝備軟件性技術的要求極為迫切，但國內系統全面地闡述該技術的書籍尚不多見。筆者在航空裝備軟件性技術研究及型號實際工作中積累了許多經驗、技術和教訓，這是一筆寶貴的財富，基於此，謹以淺陋之學識。對多年在軟件性領域的學究及工程實行了全結、梳理和凝練，形成本書。希望對有關的科研、工程、教學及管理等方面有所裨益，以便更好地迎接未來航空裝備信息技術的發展和挑戰，為航空裝備質量提升提供有效的技術支撐並打下堅實的基礎。
本書立足於航空裝備研製工作實際，目標是為航空裝備研製的性工作提供具有實性的方法指南．涵蓋了航空裝備軟件性分析、設計及測試驗證等諸多方面。.....
目次
1.1 航空裝備系統概述
1.1.1 航空裝備系統分類
1.1.2 航空裝備系統特點分析
1.1.3 航空裝備系統軟件概述
1.2 航空裝備質量與安全概述
1.2.1 航空裝備質量
1.2.2 系統安全性與軟件安全性
1.2.3 航空裝備軟件安全等級劃分
1.2.4 航空裝備軟件安全性工作目標
第2章 軟件安全性概述
2.1 軟件安全性基礎概念
2.1.1 軟件安全性基本概念
2.1.2 軟件安全性與軟件可靠性
2.1.3 軟件安全性標準與型號規範
2.1.4 典型航空裝備軟件安全性工程實踐和事故案例
2.2 軟件安全性工作過程框架
第3章 航空裝備軟件安全性技術
3.1 軟件系統危險分析
3.1.1 系統功能危險分析(FHA)
3.1.2 系統故障樹分析(FTA)
3.2 軟件安全性需求分析
3.2.1 軟件安全性需求模型構建
3.2.2 模型與數據驅動的軟件安全性需求分析
3.2.3 基於形式化方法的軟件安全性需求分析
3.3 軟件安全性設計
3.3.1 開展時機與輸入輸出
3.3.2 軟件安全性設計準則
3.3.3 基於準則的軟件安全性設計符合性分析
3.4 軟件安全性編碼
3.4.1 開展時機與輸入輸出
3.4.2 軟件安全性編碼準則
3.4.3 基於準則的軟件安全性編碼符合性分析
3.5 軟件安全性測試
3.5.1 開展時機與輸入輸出
3.5.2 軟件安全性測試過程
3.5.3 軟件安全性測試需求分析
3.5.4 基於故障模式的軟件安全性測試用例設計
3.5.5 軟件安全性測試執行與環境要求
3.5.6 軟件安全性測試數據記錄
3.6 軟件安全性評審
3.6.1 系統危險分析評審
3.6.2 軟件故障模式分析評審
3.6.3 軟件安全性需求獲取評審
第4章 航空裝備軟件故障模式及其影響分析
4.1 開展時機與輸入輸出
4.2 軟件故障模式及其影響分析過程
4.2.1 軟件故障模式分析準則制定
4.2.2 軟件故障原因分析
4.2.3 軟件故障模式及其影響分析
4.2.4 軟件安全性需求制定
4.2.5 形成軟件故障模式分析數據記錄
第5章 典型航空裝備軟件故障模式
5.1 航空裝備軟件故障模式概述
5.1.1 航空裝備軟件故障機理分析
5.1.2 航空裝備軟件故障模式分析模型
5.2 航空裝備軟件故障模式獲取
5.2.1 輸入接口故障模式獲取
5.2.2 功能邏輯故障模式獲取
5.2.3 功能層次故障模式獲取
5.2.4 狀態方式故障模式獲取
5.2.5 輸出接口故障模式獲取
5.3 航空裝備軟件通用故障模式記錄與描述
5.3.1 通用故障模式規範化記錄
5.3.2 通用故障模式形式化描述
第6章 軟件安全性工具介紹
6.1 國內安全性工具
6.1.1 軟件安全性分析與驗證工具(Castle Safetv)
6.1.2 基於適航標準的軟件故障案例知識平臺(castle D0178)
6.1.3 軟件通用故障模式數據庫(Castle Data)
6.2 國外安全性工具
6.2.1 Simfia
6.2.2 SpedTRM
第7章 航空裝備軟件安全性技術工程應用
7.1 典型航空裝備軟件介紹
7.2 典型航空裝備軟件安全性工程實例
7.2.1 系統功能危險分析示例
7.2.2 系統故障樹分析示例
7.2.3 軟件安全性需求模型構建示例
7.2.4 模型與數據驅動的軟件安全性需求分析示例
7.2.5 軟件安全性設計準則示例
7.2.6 軟件安全性編碼準則示例
7.2.7 軟件安全性測試驗證示例
附錄典型航空裝備軟件故障模式
書摘/試閱
摘要
第
歷史的長河滾滾向前，自 第一次大戰中．航空飛行器在戰爭中的重要地位開始嶄露頭角。到了第二次大戰，航空飛行器幾乎成了所有戰爭武器中決定意義的力量。二戰之後，航空工業和航空裝備的發展一直受到各國，是工業大國的重視，已成為任何一個希冀在國際舞台上有所作為的國家不得不全力角逐的製高點。
經過 製造廠家也不同，具有相同或能的系統會出現不同的名稱和內涵。美國空軍編制了 我國裝備部參考 航空裝備具體系統分類見表
航空裝備使用範圍處於空域中，與陸基、海基裝備區別在於，一旦裝備異常可能直接引發空中機毀人亡，因此其通用質量特性可靠性、保障性、維修性、測試性、性、環境適應性中性一直備受關注。同時。航空裝備的戰備完好性及出動率對於其他幾項通用質量特性均提出了較高要求．直接影響戰備任務完成及作戰戰略的實施。
航空裝備按照其使命任務，可採用不同組合來安裝系統．有些系統與航空裝備綜合在一起，有些作為任務設備安裝在托架或吊艙內。不論採用哪種方式．一個航空裝備系統的輸入、程能、輸出、反饋及與其他系統的交聯是大致相同的。.........
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。