基于模型的系統(tǒng)集成解決方案研討會

12月12日，恒潤科技在中科院研究生院舉辦了兩場精彩的技術(shù)研討會。兩場研討會的主題都是“基于模型的系統(tǒng)集成解決方案研討會”，一場為控制方向，另一場是信號處理方向。兩場研討會共有三百余工程師和中科院碩士、博士研究生參加，而參加這次研討會的人員來自于中科院多個院所，比如：自動化所、電子所、聲學(xué)所、遙感所、光電所、半導(dǎo)體所、軟件所和空間中心等。

在這次研討會中，恒潤科技向參會人員介紹如何以MATLAB/Simulink為核心的基于模型的設(shè)計思想，同時介紹基于模型驅(qū)動的方法設(shè)計嵌入式軟件Rhapsody，以及程序運(yùn)行時錯誤的靜態(tài)檢查工具PolySpace。 并將此設(shè)計思想貫徹到“需求分析”、“設(shè)計”、“實現(xiàn)”、“測試與驗證”各個階段。

基于模型的設(shè)計思想是從需求的開發(fā)和系統(tǒng)的架構(gòu)設(shè)計開始，將可執(zhí)行的模型作為設(shè)計規(guī)范，并貫穿于功能設(shè)計，實現(xiàn)，驗證和確認(rèn)的各個階段，從而能夠在項目流程的每個階段都可以針對需求和技術(shù)規(guī)范進(jìn)行測試和驗證，以確保了項目的正確實施，很大程度提高了工作的效率和產(chǎn)品的質(zhì)量。

恒潤科技闡述基于模型的設(shè)計思想的同時，也向各位參會人員介紹了一些在各個設(shè)計階段中需要使用的工具，并以實例的形式，演示多個Demo，讓參會人員有更為直觀的印象。大多數(shù)參會人員都能產(chǎn)生共鳴，并將恒潤科技工程師所介紹的內(nèi)容與自己的實際工作產(chǎn)生聯(lián)系。

在這次研討會中，大家的焦點匯集在Simulink建模和硬件原型驗證。MATLAB/Simulink已經(jīng)成為全世界多數(shù)工程師首選的仿真、開發(fā)環(huán)境。通過工程師對其新特性的介紹以及幾個重點、熱點工具箱的具體操作后，大家都再次感嘆MATLAB/Simulink的功能強(qiáng)大，并提出一些實際而又具體的問題。

MATLAB/Simulink解決的是算法仿真，而在復(fù)雜項目中是需要系統(tǒng)級設(shè)計。Rhapsody是全世界開發(fā)嵌入式軟件的首選工具，采用UML+SysML圖形化方法設(shè)計嵌入式軟件的的工具。Rhapsody以更接近人的思維的圖形化的方法來開發(fā)嵌入式軟件，完成從需求分析、結(jié)構(gòu)設(shè)計、詳細(xì)設(shè)計、自動化代碼生成到基于需求的測試、自動化測試等完整的嵌入式軟件設(shè)計流程。

另外，為了保證設(shè)計的正確性，我們只能通過軟件測試來完成。在研討會最后，我們還向參會人員介紹測試工具。PolySpace是世界唯一的采用“語義分析”技術(shù)的嵌入式軟件運(yùn)行時錯誤的測試工具。它的第一次應(yīng)用就成功的發(fā)現(xiàn)了導(dǎo)致“阿利雅那V”號發(fā)射失敗的軟件運(yùn)行時錯誤的原因。通過幾個實際小案例的演示，許多參會人員了解到PolySpace的特性并希望能夠應(yīng)用到自己從事的項目中。

這次研討會，恒潤科技與中科院的工程師、研究人員進(jìn)行了有效、熱烈的溝通。日后，我們會進(jìn)一步增加與科研院所、企業(yè)的互動活動。