☆☆☆☆☆




點擊這裡下載

類似圖書 點擊查看全場最低價

---

內容簡介

　　《可信的航天嵌入式控製軟件開發技術》主要介紹航天嵌入式控製軟件可信保障技術體係及其關鍵技術。首先從近年來的實際案例提煉齣影響航天嵌入式軟件可信性的十大可信問題，針對這些關鍵可信問題，從問題、階段、方法、工具和度量五個維度進行研究，形成瞭具有五維體係結構的可信性保障技術體係；然後，重點論述瞭需求建模與驗證、程序實現正確性保障、嵌入式軟件形式化驗證等關鍵問題的解決方案；最後依據可信保障技術體係的需求，介紹瞭構建嵌入式軟件可信保障集成環境的集成方法、體係架構和關鍵技術。
　　《可信的航天嵌入式控製軟件開發技術》針對嵌入式軟件研製中的實際問題給齣係統的解決方案，實用性強，對於在航天行業以及航空、兵器、汽車、核電等行業從事嵌入式軟件研製的工程技術人員和係統總體設計人員，具有很好的參考價值。

目錄

第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 工具集成與應用舉例
縮略語
參考文獻
可信的航天嵌入式控製軟件開發技術 [Development technology for dependable space embedded control software] 下載 mobi epub pdf txt 電子書

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

類似圖書 點擊查看全場最低價

查看全網最低價