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

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

兩大核心平臺

The MathWorks有兩個核心技術(shù)平臺，一是基于科學計算的工業(yè)標準語言MATLAB平臺，主要是為算法開發(fā)人員提供一個開放性的集分析、可視化和高級編程于一體的交互環(huán)境，幫助工程師來完成數(shù)據(jù)獲取(從各種軟件，硬件和數(shù)據(jù)庫)、信息挖掘(分析和可視化)及結(jié)果共享(報告和發(fā)布)等科研工作。二是建立在MATLAB平臺上的基于模型設計的Simulink產(chǎn)品家族，它增加了系統(tǒng)級仿真、驗證和確認，以及包括代碼生成的嵌入式系統(tǒng)實現(xiàn)的功能。simulink為建模、仿真和復雜系統(tǒng)實現(xiàn)一尤其是控制系統(tǒng)、DSP和通信系統(tǒng)提供了一個模塊圖的環(huán)境。在這兩個平臺上還衍生出了約90多個用于專門領(lǐng)域的專業(yè)應用軟件工具包，包括用于建模和事件驅(qū)動(Event-driven)系統(tǒng)的StateflOW、用于自動產(chǎn)生實時代碼的Rea1-TimeWorkshop和用于快速原型與硬件在回路測試的xPC Target。

產(chǎn)品動向

在過去的20年中，如何將MATLAB寫成的算法程序M文件直接生成嵌入式C代碼，從而避免基于C語言的代碼重復改寫工作；如何將Simulink仿真后的模型在硬件層次上(MCu/DsP或FPGA/ASIC)進行在環(huán)驗證與確認，是算法開發(fā)和系統(tǒng)開發(fā)人員共同面臨的挑戰(zhàn)。在最新產(chǎn)品版本R2007b中，The MathWorks為上述問題提供了專門解決方案。Simulink Design Verifier是在原有Verification/Validation/Test基礎(chǔ)上新增加的工具包，主要是完成測試用例自動生成，從而加速了模型驗證工作。該產(chǎn)品是與瑞典Prover Technology公司共同合作開發(fā)的；為了驗證嵌入式C代碼的效率和可靠性，The MathWorks收購了法國P01ySpaceTechnology公司，其產(chǎn)品PolySpace已集成到MATLAB平臺專門用作C代碼驗證，支持手工書寫的或是由仿真模型自動生成的C代碼。Link to Analog Devices DSP++和Link to Cadence Incisive的推出是為了完善芯片層次的仿真，前者可實現(xiàn)算法基于ADI公司的Blackfin、SHARC等芯片的仿真，后者可實現(xiàn)算法基于FPGA／ASIC的與Incisive仿真器的聯(lián)合仿真。嵌入式MATLAB是MATLAB的一個子集，它用來將M文件在MATLAB平臺下直接生成嵌入式C代碼，從而實現(xiàn)算法開發(fā)到系統(tǒng)仿真的無縫擴展，是MATLAB平臺的一個新提升。

成功奧秘

The MathWorks公司成立于1984年，總部位于美國馬薩諸塞州的Natick市，在全球擁有超過1800人的員工，作為一家私有公司，20多年來一直持續(xù)性地成長和盈利，去年銷售收入超過4億美元。公司成功的奧秘是專注技術(shù)并有很強的市場預見力，20年來始終堅持既定的技術(shù)戰(zhàn)略目標，并且從來沒有改變過。產(chǎn)品定位在研發(fā)專業(yè)級的通用平臺，因此同一產(chǎn)品可應用在不同行業(yè)，這樣不僅滿足客戶的專業(yè)應用，更滿足廣泛客戶的應用。