基于模型的软件开发 ，比较系统的一本书，希望对你有用

《基于模型的系统工程最佳实践》从方法论的角度，描述了基于模型的系统工程最佳实践。主要从系统工程的视点出发，把系统开发的前期系统工程的工作任务、责任范围，以工作流的方式，解剖得淋漓尽致，为系统的后续开发和系统的确认与验证，提供了无缝衔接。本书以系统工程实践者为对象，通过众多截屏、注释和最佳实践技巧，帮助读者清晰理解工作流的细节。本书的目的是帮助读者在集成系统和软件开发中应用基于模型的系统工程标准建模语言SysML。 第1章 绪论 1.1 范围 1.2 内容概述 第2章 HarmonySE基础 2.1 Rational集成系统嵌入式实时开发流程：Harmony 2.2 基于模型的系统工程流程 2.2.1 需求分析 2.2.2 系统功能分析 2.2.3 设计综合 2.2.3.1 架构分析(权衡分析研究) 2.2.3.2 架构设计 2.2.4 系统工程交付 2.3 SysML应用于基于模型的系统工程的基本工件 2.3.1 需求图 2.3.2 结构图 2.3.2.1 模块定义图 2.3.2.2 内部模块图 2.3.2.3 参数图 2.3.3 行为图 2.3.3.1 用例图 2.3.3.2 活动图 2.3.3.3 序列图 2.3.3.4 状态图 2.3.4 需求分析系统功能分析层次的工件关系 2.4 服务请求驱动的建模方法 第3章 Rhapsody项目结构 3.1 项目结构概览 3.2 需求分析套件包 3.3 功能分析套件包 3.4 设计综合套件包 3.4.1 架构分析套件包 3.4.2 架构设计套件包 3.5 系统层定义 第4章 案例：安全系统 4.1 案例工作流 4.2 创建Harmony项目结构 4.3 需求分析 4.3.1 DOORS：涉众需求的导入 4.3.2 DOORS：系统需求的导入 4.3.3 关联系统需求到涉众需求 4·3.4 DOORS一>Gateway->Rhapsody：导入系统需求 4.3.5 系统级用例定义 …… 第5章 交付到子系统开发

Simulink及基于模型设计的嵌入式应用,随着模型复杂度的提高，人工检查模型属性，配置以及对于MAAB标准的遵守度逐渐 成为负担，使用Simulink工具栏中的Model Advisor工具可以自动进行标准以及模型 配置和属性的检查，并产生检查报告。检查的内容：

《基于模型的设计:MCU篇》一书采用了先进的产品开发思想一一基于模型设计的方法，并以MATLAB R2010b为软件平台。让工程师在可视化的MATLAB统一开发环境中，一边进行需求分析、算法研究、模型与需求分析的双向跟踪、模型验证与优化；另一边进行自动生成C代码的软件在环测试、处理器在环测试、代码的有效性分析、代码与模型的双向跟踪、代码优化、硬件测试等，让算法到嵌入式实时C代码的生成一步到位、一次成功，避免传统开发MCU器件，前期投入大、开发周期长、一般需要重复多次才能成功的弊端。 实现了51单片机、英飞凌C166单片机、dsPIC3x数字信号处理器、ARM处理器的快速开发，其资金投入、工作量和所需花费时间只占传统方法的1/3～1/2，有效地规避MCU应用开发的潜在市场风险。 书中着重介绍了有限状态机Stateflow描述MCU编程的特点，让一些复杂或晦涩的逻辑关系变得异常简单

主要用于学习Simulink建模和代码生成方法介绍，针对从事于MBD工作的人员

刘杰、周宇博编著的《基于模型的设计DSP篇》主要介绍了基于模型设计的建模基础，包括基于Simulink和Stateflow的建模方法；

想学习hdl coder的和matlab，fpga 的必下书籍。

基于模型的设计 MSP430、F28027、F28335DSP篇

基于模型的设计:MCU篇 《基于模型的设计:MCU篇》一书采用了先进的产品开发思想一一基于模型设计的方法，并以MATLAB R2010b为软件平台。让工程师在可视化的MATLAB统一开发环境中，一边进行需求分析、算法研究、模型与需求分析的双向跟踪、模型验证与优化;另一边进行自动生成C代码的软件在环测试、处理器在环测试、代码的有效性分析、代码与模型的双向跟踪、代码优化、硬件测试等，让算法到嵌入式实时C代码的生成一步到位、一次成功，避免传统开发MCU器件，前期投入大、开发周期长、一般需要重复多次才能成功的弊端。 图书信息折叠编辑本段 出版社: 北京航空航天大学出版社; 第1版 (2011年1月1日) 平装: 502页 正文语种: 简体中文 开本: 16 ISBN: 7512403151, 9787512403154 =============== 目录折叠编辑本段 第1章 MATLAB编程基础 1.1 MATLAB R2010a与2010b的若干更新 1.1.1 压缩文件 1.1.2 目录浏览器 1.1.3 文件夹及文件比较 1.1.4 登录MATLAB文件交换服务器 1.2 M文件的编写 1.2.1 M文件结构 1.2.2 M脚本文件 1.2.3 快捷方式 1.2.4 M函数 1.2.5 匿名函数 1.2.6 函数提示 1.3 M文件的调试 1.3.1 M-Lint 1.3.2 使用cells加快调试 1.4 M文件的发布 1.5 Embedded MATLAB 1.5.1 Embedded MATLAB的主要功能特点 1.5.2 Embedded MATLAB的编程规范 1.5.3 C编译器的设置 1.5.4 Embedded MATLAB编程实例 第2章 Simulink建模与调试 2.1 Simulink基本操作 2.1.1 模块库和编辑窗口 2.1.2 Simulink模块库 2.1.3 模块的基本操作 2.2 搭建直流电动机模型 2.2.1 数学模型分析 2.2.2 模型搭建与参数设置 2.2.3 子系统与库 2.2.4 添加模块到库浏览器及知识产权保护 2.2.5 数据格式与输入/输出 2.2.6 PID控制 2.3 Simulink模型调试 2.3.1 图形界面调试 2.3.2 命令行调试 2.3.3 运行调试器 2.3.4 断点设置 2.3.5 显示模型和仿真信息 第3章 Stateflow建模与应用 3.1 Stateflow基本概念 3.1.1 状态图编辑器 3.1.2 状态 3.1.3 迁移 3.1.4 数据与事件 3.1.5 对象的命名规则 3.2 Stateflow状态图 3.2.1 状态 3.2.2 迁移 3.2.3 计时器状态图 3.2.4 数据与事件 3.2.5 动作 3.2.6 自动创建对象 3.3 Stateflow流程图 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.6 stateflow其他对象 3.6.1 真值表(Truth table) 3.6.2 图形函数(Graphical function) 3.6.3 Embedded MATLAB 3.6.4 图形盒(Box) 3.6.5 Simulink函数调用 3.6.6 目标 3.7 综合应用 3.7.1 计时器 3.7.2 交通灯 第4章 设备驱动模块的编写 4.1 创建S函数模块的示例 4.1 I1手工编写Wrapper S函数 4.1.2 代码继承工具(Legacy Code T001) 4.1.3 S-Function Builder 4.1.4 三种方法的比较 4.2 S函数 4.2.1 S函数工作机制 4.2.2 C MEX S函数模板 4.2.3 其他回调方法 4.2.4 宏函数 4.2.5 数据访问 4.2.6 目标语言编译器 4.3 S-Function Builder 4.3.1 S-Function Builder简介 4.3.2 初始化界面(initialization) 4.3.4 数据属性界面(Data Properties) 4.3.5 库文件界面(Libraries) 4.3.6 输出界面(O