基于模型的系統集成解決方案研討會

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

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

基于模型的設計思想是從需求的開發和系統的架構設計開始，將可執行的模型作為設計規范，并貫穿于功能設計，實現，驗證和確認的各個階段，從而能夠在項目流程的每個階段都可以針對需求和技術規范進行測試和驗證，以確保了項目的正確實施，很大程度提高了工作的效率和產品的質量。

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

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

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

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

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