書馨卡幫你省薪 2024個人購書報告 2024中圖網(wǎng)年度報告
歡迎光臨中圖網(wǎng) 請 | 注冊
> >>
可信的航天嵌入式控制軟件開發(fā)技術

可信的航天嵌入式控制軟件開發(fā)技術

出版社：國防工業(yè)出版社出版時間：2017-12-01
開本： 16開 頁數(shù)： 176
本類榜單：政治軍事銷量榜
中 圖 價:¥37.2(6.0折) 定價  ¥62.0 登錄后可看到會員價
加入購物車 收藏
運費6元，滿39元免運費
?新疆、西藏除外
本類五星書更多>

可信的航天嵌入式控制軟件開發(fā)技術 版權信息

  • ISBN：9787118112665
  • 條形碼：9787118112665 ; 978-7-118-11266-5
  • 裝幀：一般膠版紙
  • 冊數(shù)：暫無
  • 重量：暫無
  • 所屬分類：>>

可信的航天嵌入式控制軟件開發(fā)技術 本書特色

　　《可信的航天嵌入式控制軟件開發(fā)技術》主要介紹航天嵌入式控制軟件可信保障技術體系及其關鍵技術。首先從近年來的實際案例提煉出影響航天嵌入式軟件可信性的十大可信問題，針對這些關鍵可信問題，從問題、階段、方法、工具和度量五個維度進行研究，形成了具有五維體系結構的可信性保障技術體系；然后，重點論述了需求建模與驗證、程序?qū)崿F(xiàn)正確性保障、嵌入式軟件形式化驗證等關鍵問題的解決方案；*后依據(jù)可信保障技術體系的需求，介紹了構建嵌入式軟件可信保障集成環(huán)境的集成方法、體系架構和關鍵技術。
　　《可信的航天嵌入式控制軟件開發(fā)技術》針對嵌入式軟件研制中的實際問題給出系統(tǒng)的解決方案，實用性強，對于在航天行業(yè)以及航空、兵器、汽車、核電等行業(yè)從事嵌入式軟件研制的工程技術人員和系統(tǒng)總體設計人員，具有很好的參考價值。

可信的航天嵌入式控制軟件開發(fā)技術 內(nèi)容簡介

本書主要論述了航天嵌入式軟件可信保障的問題、解決方法和相關工具，并介紹了可信保障集成環(huán)境。本書由以下內(nèi)容組成：嵌入式軟件可信性保障技術體系；航天控制軟件需求建模與驗證；程序?qū)崿F(xiàn)正確性保障;操作系統(tǒng)驗證；航天嵌入式軟件可信保障集成環(huán)境構建。

可信的航天嵌入式控制軟件開發(fā)技術 目錄

第1章 嵌入式軟件可信性保障技術體系
1．1 航天嵌入式控制系統(tǒng)的組成和特點
1．2 航天嵌入式控制軟件中的可信問題
1．2．1 實時性問題
1．2．2 內(nèi)存使用問題
1．2．3 數(shù)據(jù)使用問題
1．2．4 計算問題
1．2．5 協(xié)議正確性問題
1．2．6 狀態(tài)轉換問題
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 需求性質(zhì)描述語言
2．2．1 性質(zhì)描述語法定義
2．2．2 性質(zhì)描述語義解釋
2．2．3 性質(zhì)描述模板
2．3 分析與驗證方法
2．3．1 類型檢查
2．3．2 數(shù)據(jù)流分析
2．3．3 原型生成與快速仿真
2．3．4 隨機語義
2．3．5 概率模型檢查
2．4 SPRADL應用框架

第3章 程序?qū)崿F(xiàn)正確性保障
3．1 可信編程規(guī)范
3．1．1 禁止使用的C語言特性
3．1．2 語言使用規(guī)則
3．1．3 領域相關規(guī)則
3．1．4 環(huán)境相關規(guī)則
3．1．5 檢測工具介紹
3．2 數(shù)值性質(zhì)分析技術
3．2．1 基于抽象解釋的數(shù)值性質(zhì)分析技術
3．2．2 區(qū)間抽象域的基本定義及操作
3．2．3 區(qū)間抽象域的冪集拓展
3．2．4 基于浮點區(qū)間冪集的程序分析方法
3．3 數(shù)據(jù)競爭預防和檢測技術
3．3．1 典型數(shù)據(jù)競爭案例及分析
3．3．2 避免數(shù)據(jù)競爭的設計策略
3．3．3 數(shù)據(jù)競爭檢測方法及工具
3．4 單元測試用例自動生成技術
3．4．1 測試技術
3．4．2 應用實例
3．5 數(shù)字虛擬仿真測試技術
3．5．1 數(shù)字虛擬仿真測試平臺的功能
3．5．2 數(shù)字虛擬仿真測試平臺構建技術
3．5．3 數(shù)字虛擬仿真測試平臺

第4章 嵌入式軟件形式化驗證
4．1 模型檢驗
4．1．1 軟件模型檢驗技術
4．1．2 嵌入式軟件模型檢驗技術
4．1．3 模型檢驗工具
4．1．4 面向源程序的模型檢驗應用舉例
4．2 定理證明
4．2．1 定理證明技術
4．2．2 嵌入式操作系統(tǒng)的形式化驗證舉例

第5章 嵌入式軟件可信保障集成環(huán)境
5．1 集成環(huán)境的需求和功能
5．2 集成環(huán)境的集成方法
5．2．1 集成對象
5．2．2 集成方法
5．3 集成環(huán)境實現(xiàn)
5．3．1 集成環(huán)境體系架構
5．3．2 集成環(huán)境的實現(xiàn)技術
5．3．3 設計實現(xiàn)
5．3．4 工具集成與應用舉例
縮略語
參考文獻
展開全部

可信的航天嵌入式控制軟件開發(fā)技術 作者簡介

楊孟飛，現(xiàn)為國家某重點型號總設計師，博士生導師，國家有突出貢獻中青年專家，享受政府特殊津貼，國家百千萬人才工程第一第二層次人選。現(xiàn)任中國自動化學會副理事長，曾任中國計算機學會理事，中國宇航學會空間控制專業(yè)委員會主任，中國計算機學會工業(yè)控制專業(yè)委員會主任。主要從事控制計算機系統(tǒng)、控制系統(tǒng)及空間飛行器總體等方面的研究和研制工作。獲國家發(fā)明二等獎一項，國家科技進步一等獎一項，省部級獎十項，發(fā)明專利20余項，發(fā)表學術論文60余篇。

商品評論(0條)
暫無評論……
書友推薦
編輯推薦
返回頂部
中圖網(wǎng)
在線客服