基於模型的設計及其嵌入式實現

《基於模型的設計及其嵌入式實現》可作為汽車電子、航天軍工、通信與電子信息、電力等領域的工程師從事嵌入式系統開發的技術手冊，也可作為高校電子類專業嵌入式系統開發與基於模型設計的教材，另外也是一本MATLAB高級建模與模型驗證的參考書。

基本介紹

• 書名：基於模型的設計及其嵌入式實現
• 作者：劉傑
• ISBN：9787512402133
• 定價： 59.00元
• 出版社：北京航空航天大學出版社
• 出版時間： 2010年9月1日
• 開本：16開

內容簡介

《基於模型的設計及其嵌入式實現》以基於模型的設計為主線，講述了M代碼和Embedded MATLAB代碼的快速編寫與調試、浮點Simulillk/Stateflow模型的建立、調試與驗證以及用戶驅動模組的創建；詳細介紹了基於模型設計的全過程，主要包括：需求的驗證與跟蹤、模型的系統測試與設計驗證、浮點到定點模型的轉換、模型嵌入式C代碼的自動生成以及軟體/處理器/硬體在環測試。整個過程滿足DO-178B航空電子規範，可顯著提高工作效率、降低開發成本，並且增加了代碼的安全性與魯棒性，避免了產品開發的潛在市場風險。

圖書目錄

第1章 MATLAB基礎

1.1 MATLAB發環境新功能

1.1.1 函式瀏覽器

1.1.2 函式提示

1.1.3 目錄瀏覽器

1.1.4 檔案交換服務

1.2 M檔案

1.2.1 M檔案結構

1.2.2 清理程式

1.2.3 創建M檔案

1.2.4 M腳本檔案

1.2.5 M函式

1.2.6 匿名函式

1.3 加快M檔案的編寫——M-Lint

1.3.1 什麼是M-Lint

1.3.2 M-Lint使用方法

1.3.3 M-Lint實時代碼檢查

1.4 加快M檔案的調試——cell

1.4.1 什麼是eell

1.4.2 cell的定義與刪除

1.4.3 使用eell調試模式

1.4.4 套用

1.5 數據存取

1.5.1 生成MAT檔案

1.5.2 載入MAT檔案

1.5.3 讀取音視頻檔案

1.6 代碼效率分析

1.7 Embedded MATLAB

1.7.1 Embedded MATLAB的主要功能特點

1.7.2 Embedded MATLAB的編程規範

1.7.3 Embedded MATLAB的常用命令

1.7.4 C編譯器的設定

1.7.5 套用實例

第2章 Simulink建模與驗證

2.1 Simulink基本操作

2.1.1 啟動Simulink

2.1.2 Simulink模組庫簡介

2.1.3 模組操作

2.2 信號採樣誤差

2.2.1 信號源

2.2.2 MATLAB工作空間

2.2.3 用戶自定義函式

2.2.4 非線性系統

2.2.5 離散模組

2.2.6 採樣誤差

2.2.7 建立於系統

2.2.8 封裝子系統

2.2.9 數據類型匹配

2.2.10 模型信息

2.2.11 模型元件化

2.2.12 自定義模組庫

2.3 音頻信號處理

2.3.1 仿真環境

2.3.2 基於採樣的模型

2.3.3 幀結構

2.3.4 基於幀結構的模型

2.3.5 信號緩衝器

2.3.6 低通濾波

2.4 視頻監控

2.4.1 原理

2.4.2 SAD子系統

2.4.3 閾值比較

2.4.4 視頻記錄子系統

2.4.5 源視頻幀計數及顯示

2.4.6 數據讀取與顯示

2.5.7 實驗結果

2.5 模型調試

2.5.1 圖形調試模式

2.5.2 命令行調試模式

2.5.3 調試過程

2.5.4 斷點設定

2.5.5 顯示仿真及模型信息

2.6 模型檢查與驗證

2.6.1 使用ModelAdvisor檢查模型

2.6.2 建立測試用例；

2.6.3 模型覆蓋度分析

2.6.4 模型效率分析

第3章 Stateflow原理與建模

3.1 Stateflow概述

3.1.1 狀態

3.1.2 遷移

3.1.3 事件

3.1.4 數據對象

3.1.5 條件與動作

3.1.6 連線節點

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.6 Embedded MATLAB函式

3.6.1 建立調用Embedded MATLAB函式的Simulink模型

3.6.2 編寫Embedded MATLAB函式

3.6.3 調試

3.7 Simulink函式

3.7.1 Simulink函式的使用

3.7.2 使用Simulink函式需遵循的規則

3.8 集成自定義代碼

3.9 Stateflow建模實例

3.9.1 嵌入Simulink

3.9.2 模擬各種操作模式的狀態

3.9.3 狀態行為與變數

3.9.4 狀態間的遷移

3.9.5 如何觸發圖表

3.9.6 仿真

3.9.7 調試

第4章 用戶驅動模組的創建

4.1 什麼是S-Function

4.1.1 S-Function的工作機制

4.1.2 S-Function的幾個重要概念

4.1.3 編寫CMEXS-Function

4.1.4 Simulink引擎與CS-Function的相互作用

4.1.5 TLC檔案

4.1.6 LEVEL-2M檔案S-Function介紹

4.1.7 調用仿真模型外部的C代碼和生成代碼

4.2 S-FunctionBuilder，

4.2.1 S-Function名及參數名選項卡

4.2.2 初始化選項卡

4.2.3 數據屬性面板

4.2.4 庫檔案選項卡

4.2.5 輸出代碼選項卡

4.2.6 連續狀態求導

4.2.7 離散狀態更新

4.2.8 編譯信息

4.2.9 套用

4.3 Embedded MATLAB函式模組

4.3.1 Embedded MATLAB函式模組的生成方法

4.3.2 集成用戶自定義的C代碼

4.4 實例

4.4.1 IIR濾波器

4.4.2 圖像的相似度

4.4.3 S-Function的參數設定與封裝

4.4.4 讀取數據檔案

第5章 嵌入式代碼的快速生成

5.1 CCS介紹

5.1.1 反彙編視窗

5.1.2 連結命令檔案

5.1.3 探針的設定

……

第6章 基於模型的設計

附錄

參考文獻