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

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

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

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

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

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

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

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

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