掃一掃
關注中圖網
官方微博
¥18.2(2.9折)?
預估到手價是按參與促銷活動、以最優惠的購買方案計算出的價格（不含優惠券部分），僅供參考，未必等同于實際到手價。
促銷活動:
本類五星書更多>
-
>
論中國
-
>
中共中央在西柏坡
-
>
同盟的真相:美國如何秘密統治日本
-
>
中國歷代政治得失
-
>
中國共產黨的一百年
-
>
習近平談治國理政 第四卷
-
>
在慶祝中國共產主義青年團成立100周年大會上的講話
可信的航天嵌入式控制軟件開發技術 版權信息
- ISBN：9787118112665
- 條形碼：9787118112665 ; 978-7-118-11266-5
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
可信的航天嵌入式控制軟件開發技術 本書特色
《可信的航天嵌入式控制軟件開發技術》主要介紹航天嵌入式控制軟件可信保障技術體系及其關鍵技術。首先從近年來的實際案例提煉出影響航天嵌入式軟件可信性的十大可信問題，針對這些關鍵可信問題，從問題、階段、方法、工具和度量五個維度進行研究，形成了具有五維體系結構的可信性保障技術體系；然后，重點論述了需求建模與驗證、程序實現正確性保障、嵌入式軟件形式化驗證等關鍵問題的解決方案；*后依據可信保障技術體系的需求，介紹了構建嵌入式軟件可信保障集成環境的集成方法、體系架構和關鍵技術。
《可信的航天嵌入式控制軟件開發技術》針對嵌入式軟件研制中的實際問題給出系統的解決方案，實用性強，對于在航天行業以及航空、兵器、汽車、核電等行業從事嵌入式軟件研制的工程技術人員和系統總體設計人員，具有很好的參考價值。
可信的航天嵌入式控制軟件開發技術 內容簡介
本書主要論述了航天嵌入式軟件可信保障的問題、解決方法和相關工具，并介紹了可信保障集成環境。本書由以下內容組成：嵌入式軟件可信性保障技術體系；航天控制軟件需求建模與驗證；程序實現正確性保障;操作系統驗證；航天嵌入式軟件可信保障集成環境構建。
可信的航天嵌入式控制軟件開發技術 目錄
第1章 嵌入式軟件可信性保障技術體系
1．1 航天嵌入式控制系統的組成和特點
1．2 航天嵌入式控制軟件中的可信問題
1．2．1 實時性問題
1．2．2 內存使用問題
1．2．3 數據使用問題
1．2．4 計算問題
1．2．5 協議正確性問題
1．2．6 狀態轉換問題
1．2．7 故障處理問題
1．2．8 編譯等價性問題
1．2．9 編碼問題
1．2．10 各階段一致性問題
1．3 可信保障五維體系結構模型
1．4 實例：時序保障問題分析
1．4．1 需求分析階段的保障
1．4．2 設計階段的保障
1．4．3 編碼階段的保障
1．4．4 測試階段的保障
1．4．5 方法、技術和工具
1．4．6 度量
第2章 航天控制軟件需求建模與驗證
2．1 需求建模語言
2．1．1 建模語法定義
2．1．2 建模語義解釋
2．2 需求性質描述語言
2．2．1 性質描述語法定義
2．2．2 性質描述語義解釋
2．2．3 性質描述模板
2．3 分析與驗證方法
2．3．1 類型檢查
2．3．2 數據流分析
2．3．3 原型生成與快速仿真
2．3．4 隨機語義
2．3．5 概率模型檢查
2．4 SPRADL應用框架
第3章 程序實現正確性保障
3．1 可信編程規范
3．1．1 禁止使用的C語言特性
3．1．2 語言使用規則
3．1．3 領域相關規則
3．1．4 環境相關規則
3．1．5 檢測工具介紹
3．2 數值性質分析技術
3．2．1 基于抽象解釋的數值性質分析技術
3．2．2 區間抽象域的基本定義及操作
3．2．3 區間抽象域的冪集拓展
3．2．4 基于浮點區間冪集的程序分析方法
3．3 數據競爭預防和檢測技術
3．3．1 典型數據競爭案例及分析
3．3．2 避免數據競爭的設計策略
3．3．3 數據競爭檢測方法及工具
3．4 單元測試用例自動生成技術
3．4．1 測試技術
3．4．2 應用實例
3．5 數字虛擬仿真測試技術
3．5．1 數字虛擬仿真測試平臺的功能
3．5．2 數字虛擬仿真測試平臺構建技術
3．5．3 數字虛擬仿真測試平臺
第4章 嵌入式軟件形式化驗證
4．1 模型檢驗
4．1．1 軟件模型檢驗技術
4．1．2 嵌入式軟件模型檢驗技術
4．1．3 模型檢驗工具
4．1．4 面向源程序的模型檢驗應用舉例
4．2 定理證明
4．2．1 定理證明技術
4．2．2 嵌入式操作系統的形式化驗證舉例
第5章 嵌入式軟件可信保障集成環境
5．1 集成環境的需求和功能
5．2 集成環境的集成方法
5．2．1 集成對象
5．2．2 集成方法
5．3 集成環境實現
5．3．1 集成環境體系架構
5．3．2 集成環境的實現技術
5．3．3 設計實現
5．3．4 工具集成與應用舉例
縮略語
參考文獻
1．1 航天嵌入式控制系統的組成和特點
1．2 航天嵌入式控制軟件中的可信問題
1．2．1 實時性問題
1．2．2 內存使用問題
1．2．3 數據使用問題
1．2．4 計算問題
1．2．5 協議正確性問題
1．2．6 狀態轉換問題
1．2．7 故障處理問題
1．2．8 編譯等價性問題
1．2．9 編碼問題
1．2．10 各階段一致性問題
1．3 可信保障五維體系結構模型
1．4 實例：時序保障問題分析
1．4．1 需求分析階段的保障
1．4．2 設計階段的保障
1．4．3 編碼階段的保障
1．4．4 測試階段的保障
1．4．5 方法、技術和工具
1．4．6 度量
第2章 航天控制軟件需求建模與驗證
2．1 需求建模語言
2．1．1 建模語法定義
2．1．2 建模語義解釋
2．2 需求性質描述語言
2．2．1 性質描述語法定義
2．2．2 性質描述語義解釋
2．2．3 性質描述模板
2．3 分析與驗證方法
2．3．1 類型檢查
2．3．2 數據流分析
2．3．3 原型生成與快速仿真
2．3．4 隨機語義
2．3．5 概率模型檢查
2．4 SPRADL應用框架
第3章 程序實現正確性保障
3．1 可信編程規范
3．1．1 禁止使用的C語言特性
3．1．2 語言使用規則
3．1．3 領域相關規則
3．1．4 環境相關規則
3．1．5 檢測工具介紹
3．2 數值性質分析技術
3．2．1 基于抽象解釋的數值性質分析技術
3．2．2 區間抽象域的基本定義及操作
3．2．3 區間抽象域的冪集拓展
3．2．4 基于浮點區間冪集的程序分析方法
3．3 數據競爭預防和檢測技術
3．3．1 典型數據競爭案例及分析
3．3．2 避免數據競爭的設計策略
3．3．3 數據競爭檢測方法及工具
3．4 單元測試用例自動生成技術
3．4．1 測試技術
3．4．2 應用實例
3．5 數字虛擬仿真測試技術
3．5．1 數字虛擬仿真測試平臺的功能
3．5．2 數字虛擬仿真測試平臺構建技術
3．5．3 數字虛擬仿真測試平臺
第4章 嵌入式軟件形式化驗證
4．1 模型檢驗
4．1．1 軟件模型檢驗技術
4．1．2 嵌入式軟件模型檢驗技術
4．1．3 模型檢驗工具
4．1．4 面向源程序的模型檢驗應用舉例
4．2 定理證明
4．2．1 定理證明技術
4．2．2 嵌入式操作系統的形式化驗證舉例
第5章 嵌入式軟件可信保障集成環境
5．1 集成環境的需求和功能
5．2 集成環境的集成方法
5．2．1 集成對象
5．2．2 集成方法
5．3 集成環境實現
5．3．1 集成環境體系架構
5．3．2 集成環境的實現技術
5．3．3 設計實現
5．3．4 工具集成與應用舉例
縮略語
參考文獻
展開全部
可信的航天嵌入式控制軟件開發技術 作者簡介
楊孟飛，現為國家某重點型號總設計師，博士生導師，國家有突出貢獻中青年專家，享受政府特殊津貼，國家百千萬人才工程第一第二層次人選。現任中國自動化學會副理事長，曾任中國計算機學會理事，中國宇航學會空間控制專業委員會主任，中國計算機學會工業控制專業委員會主任。主要從事控制計算機系統、控制系統及空間飛行器總體等方面的研究和研制工作。獲國家發明二等獎一項，國家科技進步一等獎一項，省部級獎十項，發明專利20余項，發表學術論文60余篇。
書友推薦
- >
月亮虎
- >
朝聞道
- >
羅庸西南聯大授課錄
- >
苦雨齋序跋文-周作人自編集
- >
我從未如此眷戀人間
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
名家帶你讀魯迅:故事新編
- >
莉莉和章魚
本類暢銷
