MATLAB产品介绍

MATLAB产品家族是美国The MathWorks公司开发的用于概念设计,算法开发,建模仿真,实时实现的理想的集成环境。由于其完整的专业体系和先进的设计开发思路，使得MATLAB在多种领域都有广阔的应用空间，特别是在MATLAB 的主要应用方向——科学计算、建模仿真以及信息工程系统的设计开发上已经成为行业内的首选设计工具，全球现有超过五十万的企业用户和上千万的个人用户。

MATLAB产品体系包含MATLAB产品家族，Simulink产品家族和Polyspace产品家族三部分组成。

MATAB产品

MATLAB是一种用于算法开发、数据可视化、数据分析以及数值计算的高级技术计算语言和交互式环境。除了矩阵运算、绘制函数/数据图像等常用功能外，MATLAB还可以用来创建用户界面及与调用其它语言（包括C，C++，Java，Python和FORTRAN）编写的程序。利用为数众多的附加工具箱（Toolbox）它也适合不同领域的应用，例如控制系统设计与分析、图像处理、信号处理与通讯、金融建模和分析等。

MATAB产品家族

Simulink是一个面向多域仿真并和基于模型设计的框模块图环境。它支持系统级设计、仿真、自动代码生成以及嵌入式系统的连续测试和验证。其丰富的模块库（Blockset），可对各种时变系统，例如通讯、控制、信号处理、视频处理和图像处理系统等进行设计、仿真、执行和测试，也可以进行基于模型的设计。

Simulink产品家族

Polyspace Code Prover可以证明C和C++源代码中不存在溢出、被零除、数组访问超出边界以及其他某些运行时错误。Polyspace Bug Finder可以识别运行时错误、数据流问题以及C和C++嵌入式软件中的其他缺陷。

Polyspace产品家族

基于模型设计思想是由美国The MathWorks公司提出，并在其完整工具链的支撑下在全球特别是航空航天和汽车设计领域得到广泛的应用，并在逐渐发展成为嵌入式系统设计领域的行业标准流程。

基于模型设计（Model Based Design，简称MBD），就是基于模型设计的流程。顾名思义，基于模型设计的核心是模型，基于模型设计思想中包括以下四个关键点。

1)   可执行的需求描述

2)   仿真环境下的设计

3)   由模型自动生成的代码

4)   贯穿始终的持续性验证

基于模型设计流程

基于模型设计中，整个设计流程中传递信息的已经不仅仅是文档，而是可以图形化表述并且产生运行结果的模型；设计过程不再是静态的或者依赖于众多硬件环境的方式，而是可以通过仿真快速设计快速修改的多轮次迭代设计过程；模型已然在那里，就让设计师从繁琐的手写编码中解脱出来，让模型去自动生成更加标准化更加易读的C代码；验证不再需要等到编码完成之后，在模型设计阶段就开始早期的验证，将设计缺陷发现并解决于早期，对于系统设计质量的提高和成本的降低无疑是最大的帮助。

MBD优势

工具保证各个环节的跟踪