基于模型的设计：MCU篇

图书标准信息

• 作者 刘杰 著
• 出版社 北京航空航天大学出版社
• 出版时间 2011-01
• 版次 1
• ISBN 9787512403154
• 定价 69.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 502页
• 字数 819千字
• 正文语种 简体中文

【内容简介】

《基于模型的设计：MCU篇》以基于模型的设计在MCU中的应用为主线，分三部分介绍全书。
第一部分，深入剖析了Stateflow的建模与应用，以及Simulink建模与调试；介绍了新版MATLAB的特色功能与R2010b版中EmbeddedMA丁I．AB的编程规范和新的编程与调试模式；最后着重讨论了用户驱动模块的创建过程与应用实例等．
第二部分，演示了简化的基于模型设计，即基于模型的8051、英飞凌C166、MicroehipdsPIC、ARM等MCU中的快速开发，并在Proteus中进行虚拟硬件测试，使读者直观地感受到在可视化的开发环境中，从算法验证到嵌入式C代码自动生成一步到位的方便与高效。
第三部分，以直流电动机的PID控制模型为例，介绍了满足DO一178b航空电子规范的完整基于模型设计在ARM上的实现。其流程包括可执行、可跟踪的需求分析／技术规范、ModelAd—vior测试、系统测试、设计测试、浮点模型到定点模型的自动转换与定标、为特定芯片生成嵌入式C代码、软件／硬件在环测试、嵌入式实时C代码的自动生成，最后是手工底层驱动代码与自动代码的整合等，这部分是《基于模型的设计：MCU篇》的总结与核心。
《基于模型的设计：MCU篇》可作为航天军工、汽车电子、通信与信息处理，电力等行业的工程师从事MCU开发时的技术手册，也可作为高校电类专业的MCU开发或基于模型设计的教材，同时也是Simulink／Sateflow高级建模与验证的参考书，另外也为广大高校学生（本、硕、博）做毕业设计提供了一种高效、快捷的软件实现方法。

【作者简介】

刘杰，毕业于浙江大学信电系通信工程专业，获工学博士学位，现为硕士生导师，兼职教授。长期从事嵌入式器件的研究与开发，特别是近3～4年，夜以继日地潜心钻研基于模型的设计，这项最近几年才在全球掀起的新技术。致力于宣传、推广基于模型的设计在我国的应用和普及，已经出版了国内第一部基于模型设计的专著《基于模型的设计及其嵌入式实现》。

【目录】

第1章MATLAB编程基础
1.1MATLABR2010a与2010b的若干更新
1.1.1压缩文件
1.1.2目录浏览器
1.1.3文件夹及文件比较
1.1.4登录MATLAB文件交换服务器
1.2M文件的编写
1.2.1M文件结构
1.2.2M脚本文件
1.2.3快捷方式
1.2.4M函数
1.2.5匿名函数
1.2.6函数提示
1.3M文件的调试
1.3.1M-Lint
1.3.2使用cells加快调试
1.4M文件的发布
1.5EmbeddedMATLAB
1.5.1EmbeddedMATLAB的主要功能特点
1.5.2EmbeddedMATLAB的编程规范
1.5.3C编译器的设置
1.5.4EmbeddedMATLAB编程实例

第2章Simulink建模与调试
2.1Simulink基本操作
2.1.1模块库和编辑窗口
2.1.2Simulink模块库
2.1.3模块的基本操作
2.2搭建直流电动机模型
2.2.1数学模型分析
2.2.2模型搭建与参数设置
2.2.3子系统与库
2.2.4添加模块到库浏览器及知识产权保护
2.2.5数据格式与输入／输出
2.2.6PID控制
2.3Simulink模型调试
2.3.1图形界面调试
2.3.2命令行调试
2.3.3运行调试器
2.3.4断点设置
2.3.5显示模型和仿真信息

第3章Stateflow建模与应用
3.1Stateflow基本概念
3.1.1状态图编辑器
3.1.2状态
3.1.3迁移
3.1.4数据与事件
3.1.5对象的命名规则
3.2Stateflow状态图
3.2.1状态
3.2.2迁移
3.2.3计时器状态图
3.2.4数据与事件
3.2.5动作
3.2.6自动创建对象
3.3Stateflow流程图
3.3.1流程图与节点
3.3.2建立流程图
3.4层次结构
3.4.1层次的概念
3.4.2迁移的层次
3.4.3历史节点
3.4.4子状态图
3.4.5层次状态图中的流程图
3.5并行机制
3.5.1设置状态关系
3.5.2并行状态活动顺序配置
3.5.3本地事件广播
3.5.4直接事件广播
3.5.5隐含事件和条件
3.6stateflow其他对象
3.6.1真值表（Truthtable）
3.6.2图形函数（Graphicalfunction）
3.6.3EmbeddedMATLAB
3.6.4图形盒（Box）
3.6.5Simulink函数调用
3.6.6目标
3.7综合应用
3.7.1计时器
3.7.2交通灯

第4章设备驱动模块的编写
4.1创建S函数模块的示例
4.1I1手工编写WrapperS函数
4.1.2代码继承工具（LegacyCodeT001）
4.1.3S-FunctionBuilder
4.1.4三种方法的比较
4.2S函数
4.2.1S函数工作机制
4.2.2CMEXS函数模板
4.2.3其他回调方法
4.2.4宏函数
4.2.5数据访问
4.2.6目标语言编译器
4.3S-FunctionBuilder
4.3.1S-FunctionBuilder简介
4.3.2初始化界面（initialization）
4.3.4数据属性界面（DataProperties）
4.3.5库文件界面（Libraries）
4.3.6输出界面（Outputs）
4.3.7连续状态求导（ContinuousDerivatives）
4.3.8离散状态更新（DiscreteUpdate）
4.3.9编译信息（BuildInfo）
4.4创建设备驱动实例
4.4.1HCl2模数转换模块
4.4.2DASl600数据输入模块
4.4.3S-FunctionBuilder

第5章8051单片机代码的快速生成
5.1仿真软件Proteus快速人门
5.1.1Proteus简介
5.1.2快速绘制原理图
5.1.3PCB制板
5.2KeilC51集成开发环境（IDE）
5.2.1预备知识
5.2.2RTW-EC快速代码生成
5.2.3脉宽调制
5.2.4流水灯
5.3TASKING嵌入式开发环境（EDE）
5.3.1预备知识
5.3.2直流电机控制
5.3.3算术乘法
5.3.4流水灯

第6章C166代码的快速生成
6.1英飞凌C166模块库简介
6.2TASKINGEDEforC166
6.2.1电动机控制模型
6.2.2设置IDE与模型参数
6.2.3处理器在环测试（PIL）
6.2.4代码的自动生成

第7章基于Simulink模块的dsPIC单片机开发
7.1MPLAB嵌入式开发环境及工具
7.1.1软件的下载和安装
7.1.2利用MPLABIDE及ProteusVSM进行虚拟硬件调试
7.1.3dsPIC外围驱动模块简介
7.2dsPIC外围驱动模块应用
7.2.1数模转换实验
7.2.2闪烁灯
7.2.3调用现有C函数
7.3无对应模块时的应用
7.3.1创建功能验证模型
7.3.2自动代码生成
7.3.3虚拟硬件测试

第8章ARM代码的快速生成
8.1ARM简介
8.2蜂鸣器
8.2.1蜂鸣器发声模型
8.2.2蜂鸣器功能验证模型
8.2.3软件在环测试
8.2.4自动代码生成
8.2.5虚拟硬件测试
8.3交通灯控制
8.3.1软件在环测试
8.3.2自动代码生成及编译
8.3.3虚拟硬件测试
8.4步进电动机控制
8.4.1步进电动机原理简介
8.4.2步进电动机控制模型
8.4.3步进电动机的功能验证模型
8.4.4软件在环测试
8.4.5自动代码生成
8.4.6虚拟硬件测试
8.5无刷电动机的控制
8.5.1无刷电动机原理简介
8.5.2TASKINGIDEFORARM
8.5.3无刷电动机控制模型
8.5.4无刷电动机功能验证模型
8.5.5软件在环测试
8.5.6编写驱动代码
8.5.7自动代码生成
8.5.8代码效率比较
8.5.9虚拟硬件测试

第9章基于模型的设计
9.1传统设计的弊端
9.2基于模型设计的优势
9.3基于模型设计的流程
9.3.1建立需求文档
9.3.2建立可执行的技术规范
9.3.3浮点模型
9.3.4需求与模型间的双向跟踪
9.3.5ModelAdvisor检查
9.3.6模型验证
9.3.7定点模型
9.3.8软件在环测试（SIL）
9.3.9处理器在环测试（PIL）
9.3.10代码与模型间的双向跟踪
9.3.11代码优化
9.3.12生成产品级代码
9.4需求分析及跟踪
9.4.1系统模型
9.4.2需求关联
9.4.3一致性检查
9.5模型检查及验证
9.5.1SystemTest
9.5.2DesignVerifier
9.5.3ModelAdvisor检查
9.6定点模型
9.6.1FixedPointAdvisoi
9.6.2FixedPointTools
9.7软件在环测试
9.8代码跟踪
9.9代码优化及代码生成
9.9.1子系统原子化
9.9.2确定芯片类型
9.9.3代码检查
9.9.4代码生成
9.10虚拟硬件测试
附录EmbeddedMATLAB支持的各函数
参考文献