九乡新闻网青蛙英文单词:科学计算语言MATLAB和基于模型设计的Simulink平台助力于系统开发进程
来源：百度文库 编辑：九乡新闻网 时间：2024/04/28 04:08:04
Jim Tung：如何将MATLAB写成的算法程序M文件直接生成嵌入式C代码；如何将Simulink仿真后的模型在硬件层次上进行在环验证与确认，是算法开发和系统开发人员共同面临的挑战。
宋斌：
The Mathworks期待助力中国的汽车、无线通信和数字通信、电子系统、教育等领域。
2007年5月18日，科学计算和基于模型设计的领导性软件厂商The MathWorks在京成立了中国独资公司，为中国商业和教育用户提供直接的市场销售、技术支持和培训服务，着重于汽车、教育、通信、半导体和电子行业的业务拓展。近日，本刊访问了The MathWorks公司Fellow（首席研究员）Jim Tung和北京迈斯沃克软件有限公司总经理宋斌先生。
两大核心平台
The MathWorks有两个核心技术平台，一是基于科学计算的工业标准语言MATLAB平台，主要是为算法开发人员提供一个开放性的集分析、可视化和高级编程于一体的交互环境，帮助工程师来完成数据获取（从各种软件，硬件和数据库）、信息挖掘（分析和可视化）及结果共享（报告和发布）等科研工作。二是建立在MATLAB平台上的基于模型设计的Simulink产品家族，它增加了系统级仿真、验证和确认，以及包括代码生成的嵌入式系统实现的功能。Simulink为建模、仿真和复杂系统实现――尤其是控制系统、DSP和通信系统提供了一个模块图的环境。在这两个平台上还衍生出了约90多个用于专门领域的专业应用软件工具包，包括用于建模和事件驱动（Event-driven）系统的Stateflow、用于自动产生实时代码的Real-Time Workshop和用于快速原型与硬件在回路测试的xPC Target。
最新产品动向
在过去的20年中，如何将MATLAB写成的算法程序M文件直接生成嵌入式C代码，从而避免基于C语言的代码重复改写工作；如何将Simulink仿真后的模型在硬件层次上（MCU/DSP或FPGA/ASIC）进行在环验证与确认，是算法开发和系统开发人员共同面临的挑战。在最新产品版本R2007b中，The MathWorks为上述问题提供了专门解决方案。Simulink Design Verifier是在原有Verification/Validation/Test基础上新增加的工具包，主要是完成测试用例自动生成，从而加速了模型验证工作。该产品是与瑞典Prover Technology公司共同合作开发的；为了验证嵌入式C代码的效率和可靠性，The MathWorks收购了法国PolySpace Technology 公司，其产品PolySpace已集成到MATLAB平台专门用作C代码验证，支持手工书写的或是由仿真模型自动生成的C代码。Link to Analog Devices DSP++ 和Link to Cadence Incisive的推出是为了完善芯片层次的仿真，前者可实现算法基于ADI公司的Blackfin、SHARC等芯片的仿真，后者可实现算法基于FPGA/ASIC的与Incisive仿真器的联合仿真。嵌入式MATLAB是MATLAB的一个子集，它用来将M文件在MATLAB平台下直接生成嵌入式C代码，从而实现算法开发到系统仿真的无缝扩展，是MATLAB平台的一个新提升。
成功奥秘
The MathWorks公司成立于1984年，总部位于美国马萨诸塞州的Natick市，在全球拥有超过1800人的员工，作为一家私有公司，20多年来一直持续性地成长和盈利，去年销售收入超过4亿美元。公司成功的奥秘是专注技术并有很强的市场预见力，20年来始终坚持既定的技术战略目标，并且从来没有改变过。产品定位在研发专业级的通用平台，因此同一产品可应用在不同行业，这样不仅满足客户的专业应用，更满足广泛客户的应用。