隨著對(duì)系統(tǒng)的安全性、可靠性、實(shí)時(shí)性及可操作性等方面的要求越來(lái)越高，需要快速開(kāi)發(fā)出安全可靠的嵌入式軟件，但傳統(tǒng)手工開(kāi)發(fā)代碼的方法已很難滿足這些需求。恒潤(rùn)科技提供基于模型的嵌入式軟件設(shè)計(jì)開(kāi)發(fā)可以解決這些問(wèn)題。
開(kāi)發(fā)流程
基于模型的高可靠嵌入式軟件開(kāi)發(fā)包括四個(gè)主要過(guò)程，并且對(duì)每個(gè)開(kāi)發(fā)過(guò)程和過(guò)程產(chǎn)物都進(jìn)行持續(xù)的測(cè)試和驗(yàn)證。高可靠嵌入式軟件開(kāi)發(fā)流程如圖所示：
•軟件需求設(shè)計(jì)過(guò)程
基于模型設(shè)計(jì)的方法，用戶可使用Simulink建模工具，對(duì)需求進(jìn)行建模仿真，開(kāi)發(fā)內(nèi)容包括系統(tǒng)設(shè)計(jì)、系統(tǒng)測(cè)試架構(gòu)、測(cè)試用例。
需求模型可通過(guò)SimulinkV&V工具與需求文檔進(jìn)行鏈接，Simulink可自動(dòng)生成模型和需求雙向追溯的報(bào)告。
測(cè)試用例也可通過(guò)BTC工具基于形式化需求自動(dòng)生成，同時(shí)在模型測(cè)試完成后，BTC工具可自動(dòng)生成測(cè)試覆蓋度報(bào)告，針對(duì)未被檢測(cè)到的模型或代碼分支，補(bǔ)充生成測(cè)試用例，使測(cè)試覆蓋度達(dá)到，同時(shí)可搭建自動(dòng)化測(cè)試流程，使模型測(cè)試和診斷自動(dòng)進(jìn)行并生成測(cè)試報(bào)告。
•軟件設(shè)計(jì)過(guò)程
對(duì)設(shè)計(jì)模型進(jìn)行模型規(guī)范檢查，保證模型符合軟件設(shè)計(jì)標(biāo)準(zhǔn)，同時(shí)也對(duì)模型的代碼生成屬性及對(duì)硬件的兼容性進(jìn)行早期驗(yàn)證;
經(jīng)過(guò)驗(yàn)證的設(shè)計(jì)模型，軟件架構(gòu)與模型架構(gòu)一致，可自動(dòng)生成。
•軟件編碼過(guò)程
采用基于模型設(shè)計(jì)的方法，源碼和目標(biāo)碼可通過(guò)SimulinkEmbeddedCoder自動(dòng)生成，所生成代碼與模型具有良好的追溯關(guān)系。
對(duì)設(shè)計(jì)模型進(jìn)行設(shè)計(jì)優(yōu)化，以保證其生成符合項(xiàng)目要求的高質(zhì)量嵌入式代碼，代碼生成之后，通過(guò)代碼檢查工具如Polyspace、Tessy等對(duì)代碼進(jìn)行靜態(tài)檢查，同時(shí)，通過(guò)SimulinkCodeInspector或者軟件在環(huán)的方式，進(jìn)行代碼與模型的一致性測(cè)試。
•軟件集成過(guò)程
該過(guò)程對(duì)源碼和目標(biāo)碼進(jìn)行編譯、鏈接，并加載到嵌入式系統(tǒng)中。代碼集成可將驅(qū)動(dòng)代碼封裝成Simulink模塊，使用Simulink自動(dòng)集成第三方編譯器直接生成可執(zhí)行文件，加載到目標(biāo)嵌入式硬件中。
流程優(yōu)勢(shì)
采用基于模型設(shè)計(jì)的方法的優(yōu)勢(shì)主要體現(xiàn)在：
♦在項(xiàng)目早期進(jìn)行了需求驗(yàn)證、測(cè)試用例開(kāi)發(fā)和覆蓋度分析，避免在后續(xù)測(cè)試中發(fā)現(xiàn)前一階段的錯(cuò)誤，導(dǎo)致流程重復(fù)進(jìn)行;
♦在項(xiàng)目開(kāi)發(fā)階段，地自動(dòng)化了開(kāi)發(fā)過(guò)程，包括：自動(dòng)化規(guī)范檢查、自動(dòng)化報(bào)告生成、自動(dòng)化代碼生成、自動(dòng)化測(cè)試等，極大地提高了開(kāi)發(fā)效率;
♦需求、模型、測(cè)試用例、源代碼具有完整的追溯關(guān)系，可生成追溯報(bào)告。
服務(wù)內(nèi)容
針對(duì)基于模型設(shè)計(jì)的方法進(jìn)行軟件開(kāi)發(fā)，恒潤(rùn)科技可提供如下技術(shù)服務(wù)：
♦MBD流程：針對(duì)客戶現(xiàn)有開(kāi)發(fā)流程，化適合客戶實(shí)際情況的MBD過(guò)程、方法及工具;
♦MBD自動(dòng)化流程開(kāi)發(fā)：自動(dòng)化規(guī)范檢查、自動(dòng)化測(cè)試流程、代碼測(cè)試工具集成、報(bào)告生成模板、代碼生成模板等，通過(guò)自動(dòng)化流程，地減少設(shè)計(jì)人員的額外工作量;
♦MBD相關(guān)：圖形化建模、模型自動(dòng)生成代碼、模型測(cè)試和驗(yàn)證;
♦硬件支持包和第三方編譯環(huán)境集成：根據(jù)實(shí)際的硬件設(shè)備，開(kāi)發(fā)硬件支持包，使生成代碼時(shí)直接生成含驅(qū)動(dòng)程序的全部代碼;打通第三方編譯環(huán)境的集成，代碼生成后自動(dòng)調(diào)用第三方編譯環(huán)境對(duì)代碼進(jìn)行編譯鏈接，生成可執(zhí)行目標(biāo)碼，并加載到硬件。
