科學計算語言ＭＡＴＬＡＢ和基于模型設計的Ｓｉｍｕｌｉｎｋ平臺助力系統開發進程

2007年5月18日，科學計算和基于模型設計的領導性軟件廠商TheMathWorks在京成立了中國獨資公司，為中國商業和教育用戶提供直接的市場銷售、技術支持和培訓服務，著重于汽車、教育、通信、半導體和電子行業的業務拓展。近日，本刊訪問了The MathWorks公司Fellow(首席研究員)Jim Tung和北京邁斯沃克軟件有限公司總經理宋斌先生。

兩大核心平臺

The MathWorks有兩個核心技術平臺，一是基于科學計算的工業標準語言MATLAB平臺，主要是為算法開發人員提供一個開放性的集分析、可視化和高級編程于一體的交互環境，幫助工程師來完成數據獲取(從各種軟件，硬件和數據庫)、信息挖掘(分析和可視化)及結果共享(報告和發布)等科研工作。二是建立在MATLAB平臺上的基于模型設計的Simulink產品家族，它增加了系統級仿真、驗證和確認，以及包括代碼生成的嵌入式系統實現的功能。simulink為建模、仿真和復雜系統實現一尤其是控制系統、DSP和通信系統提供了一個模塊圖的環境。在這兩個平臺上還衍生出了約90多個用于專門領域的專業應用軟件工具包，包括用于建模和事件驅動(Event-driven)系統的StateflOW、用于自動產生實時代碼的Rea1-TimeWorkshop和用于快速原型與硬件在回路測試的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收購了法國P01ySpaceTechnology公司，其產品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年來始終堅持既定的技術戰略目標，并且從來沒有改變過。產品定位在研發專業級的通用平臺，因此同一產品可應用在不同行業，這樣不僅滿足客戶的專業應用，更滿足廣泛客戶的應用。