ANSYS SCADE Suite建模基礎 ( 簡體 字) |
| 作者：荊華，沈軼燁 等 著 | 類別：1. -> 工程繪圖與工程計算 -> ANSYS |
| 譯者： |
| 出版社：水利水電出版社 |  3dWoo書號： 50025
詢問書籍請說出此書號！【缺書】
NT售價： 410 元 |
| 出版日：10/1/2018 |
| 頁數：368 |
| 光碟數：0 |
|
站長推薦：   |
| 印刷：黑白印刷 | 語系： ( 簡體 版 ) |
| |
加入購物車  │加到我的最愛
(請先登入會員) |
| ISBN：9787517068037 |
| 作者序 | 譯者序 | 前言 | 內容簡介 | 目錄 | 序 |
| (簡體書上所述之下載連結耗時費功, 恕不適用在台灣, 若讀者需要請自行嘗試, 恕不保證) |
| 作者序： |
| 譯者序： |
| 前言： |
內容簡介：SCADE產品模組眾多，適用于安全關鍵領域的嵌入式系統和軟體研製，涵蓋功能安全分析、系統架構設計、控制演算法設計、人機界面設計、多學科模擬應用等多個方面。本書主要講解其中的控制演算法設計軟體SCADE Suite，並重點圍繞三個角度進行編寫：從初學者的角度出發，循序漸進地安排內容結構和知識點分佈；從使用者的角度出發，介紹SCADE的基本使用方法和常用操作技巧；從工程人員的角度出發，講述有代表性的實例、介紹通用的行業經驗。本書收錄了大量有較強代表性的示例，示例中的模型都力求準確無誤，可以在PC環境下模擬運行。所有示例都可在Github網站上下載，供有興趣的讀者操作實踐，加深理解。 |
目錄：第1章 開啟SCADE之旅
1.1 背景概念簡介
1.1.1 嵌入式系統
1.1.2 安全關鍵系統
1.1.3 機載軟體的適航標准
1.1.4 基於模型的開發與驗證
1.2 SCADE介紹
1.2.1 同步語言介紹
1.2.2 SCADE產品的演進
1.2.3 SCADE Suite的特點
1.2.4 SCA：DE產品未來發展的路線圖
1.3 SCADE快速入門
1.3.1 SCADE的適用環境和安裝步驟
1.3.2 創建SCADE Suite工程
1.3.3 SCADE Suite操作符和輸入輸出
的創建
1.3.4 飛機滾轉角示例
練習題
第2章 SCADE Suite建模基礎
2.1 SCADE Suite整合式開發環境常見操作
2.2 SCADE資料類型
2.2.1 預定義資料類型
2.2.2 自訂資料類型
2.3 常量
2.3.1 常量的定義
2.3.2 常量的使用
2.4 操作符
2.4.1 預定義操作符
2.4.2 自訂操作符
2.5 條件模組
2.5.1 條件模組的概念
2.5.2 條件模組的創建與編輯
2.5.3 條件模組中變數的隱式賦值
2.6 導入元素
2.6.1 導入常量
2.6.2 外部引用變數(Sensor)
2.6.3 導入操作符
2.6.4 導入靜態程式庫
練習題
第3章 SCADE Suite安全狀態機
3.1 安全狀態機
3.1.1 狀態機的組成
3.1.2 狀態機的創建
3.2 狀態的設置
3.2.1 狀態
3.2.2 初始狀態和終止狀態
3.2.3 狀態的編輯
3.3 遷移的設置
3.3.1 遷移
3.3.2 遷移的條件和行為
3.3.3 遷移的觸發
3.3.4 遷移和初始狀態
3.3.5 遷移的編輯
3.4 狀態機中變數的隱式賦值
3.4.1 變數的隱式賦值
3.4.2 定義變數的Last值
3.4.3 定義變數的Default值
3.4.4 同時定義變數的Last值和Default值
3.4.5 同時不定義變數的Last值和Default值
3.5 Signal(信號量)
練習題
第4章 SCADE Suite高級建模設計
4.1 陣列操作
4.1.1 陣列的創建
4.1.2 陣列元素的獲取
4.1.3 陣列操作
4.2 結構體操作
4.2.1 Data Structure操作符
4.2.2 Make操作符
4.2.3 Flatter操作符
4.2.4 Project操作符
4.3 反覆運算器建模
4.3.1 反覆運算器的創建和迴圈次數設置
4.3.2 map反覆運算器
4.3.3 fold反覆運算器
4.3.4 mapfold反覆運算器
4.3.5 mapi反覆運算器
4.3.6 foldi反覆運算器
4.3.7 mapw反覆運算器
4.3.8 foldw反覆運算器
4.3.9 mapwi反覆運算器
4.3.10 foldwi反覆運算器
4.3.11 mapfoldi反覆運算器
4.3.12 mapfoldw反覆運算器
4.3.13 mapfoldwi反覆運算器
4.4 條件啟動操作
4.4.1 條件啟動操作符的創建
4.4.2 Boolean Activate操作符
4.4.3 Restart操作符
4.5 多態建模
4.5.1 陣列大小的參數化
4.5.2 變數類型的參數化
4.5.3 操作符行為的參數化
4.6 模擬相關的設置
4.6.1 Assume和Guarantee
4.6.2 精度的設置
練習題
第5章 SCADE Suite基於模型的驗證
5.1 基於SCADE Suite模型的驗證流程
5.1.1 DO-178C的傳統驗證手段
5.1.2 基於SCADE Suite模型的驗證工作
5.2 基礎驗證活動
5.2.1 SCADE模型檢查器
5.2.2 SCADE模型模擬
5.2.3 SCADE覆蓋分析
5.3 認證級測試環境QTE
5.3.1 SCADE QTE的工作流
5.3.2 創建測試工程
5.3.3 設計模擬用例和模擬規程
5.3.4 QTE在主機上的功能測試
5.3.5 QTE在主機上的模型覆蓋分析
5.3.6 QTE在主機上的代碼覆蓋分析
5.3.7 QTE在目的機上的測試
5.3.8 QTE下多操作符驗證的注意事項
5.3.9 模擬結果的評審
5.4 SCADE的形式化驗證
5.4.1 安全屬性
5.4.2 形式化驗證的工作流
5.4.3 形式化驗證工具Design Verifier
5.4.4 形式化驗證實例
5.5 SCADE編譯器驗證套件
5.5.1 編譯器的驗證
5.5.2 C語言安全子集
5.5.3 CVK的內容與使用方法
5.5.4 使用SCADE CVK的注意事項
練習題
第6章 代碼和其他目標的生成
6.1 代碼生成
6.1.1 代碼生成的配置
6.1.2 單個操作符的代碼生成配置
6.1.3 創建並保存自訂配置
6.2 代碼集成
6.2.1 代碼生成步驟
6.2.2 生成代碼的集成
6.2.3 代碼集成的其他考慮
6.3 Simulink的S函數生成
6.4 NI VeriStand生成
6.5 FMU生成
6.5.1 Modelica協會與統一模組化語言
6.5.2 FMI標準與FMU檔
6.5.3 Suite生成FMU檔
6.6 Adaptor生成
6.7 設計文檔生成
練習題
第7章 SCADE Suite模型的優化
7.1 模型優化的目標和基準
7.1.1 安全關鍵系統的軟體規模在增長
7.1.2 MBDV方法的優勢
7.1.3 模型優化的目標和準則
7.2 佈局格式優化
7.2.1 佈局格式的推薦規範
7.2.2 編輯技巧
7.2.3 自訂樣式
7.3 模型優化
7.3.1 模型優化的內容和要點
7.3.2 模型優化示例
7.4 最壞執行時間與堆疊分析
7.4.1 TSO介紹
7.4.2 TSO使用方法
7.5 性能優化案例
7.5.1 演算法一：基於過程的傳統C語言程式設計的思維
7.5.2 演算法二：優化的基於過程的思維
7.5.3 演算法三：選擇恰當的反覆運算子
7.5.4 演算法四：關注資料的SCADe Suite建模最佳方式
7.5.5 WCET分析結果
7.5.6 堆疊分析結果
練習題
第8章 專案管理
8.1 專案組織
8.1.1 命名規則
8.1.2 工程管理
8.1.3 文件管理
8.2 追蹤管理
8.2.1 DO-178C中追蹤管理的要求
8.2.2 SCADE RM Gateway
8.2.3 普通文本類型檔的追蹤
8.2.4 SCADE檔的追蹤
8.2.5 驗證相關文檔的追蹤
8.2.6 生成快照
8.2.7 生成追蹤矩陣
8.3 配置管理
8.4 建模規範
練習題
第9章 綜合案例
9.1 目標
9.2 中位數計算設計實例
9.2.1 Torben演算法求中位數簡述
9.2.2 實例創建步驟
附錄1 縮略詞彙總和常用詞定義
附錄2 SCADE Suite關於DO-178C／DO-331目標的符合性矩陣
|
| 序： |
