基于模型的嵌入式C代碼的實(shí)現(xiàn)與驗(yàn)證
加入技術(shù)交流群
代碼生成后還需要對(duì)其硬件接口進(jìn)行修改，添加頭文件和輸入／輸出端口等。
利用軟件在環(huán)技術(shù)，工程師們能夠在設(shè)計(jì)流程中盡早發(fā)現(xiàn)并清除錯(cuò)誤，而非在VHDL行為測(cè)試階段。借助基于模型設(shè)計(jì)，工程師們?cè)僖膊挥迷诹鞒套詈箅A段來(lái)測(cè)試并驗(yàn)證與需求的一致性。取而代之的是，他們?cè)谡麄€(gè)設(shè)計(jì)流程中都能進(jìn)行測(cè)試和驗(yàn)證，既節(jié)省時(shí)間也節(jié)約了成本。
2．4 虛擬硬件在環(huán)仿真
Proteus是英國(guó)Labcenter Electronics公司研發(fā)的多功能EDA軟件，是一款集單片機(jī)和SPICE分析于一身的電路設(shè)計(jì)和仿真軟件，能方便地完成單片機(jī)系統(tǒng)的硬件設(shè)計(jì)、軟件設(shè)計(jì)、單片機(jī)源代碼級(jí)調(diào)試與仿真，功能極其強(qiáng)大。
修改前面生成的代碼端口，在Proteus下搭建電路并利用生成的代碼在Keil-C中編譯，跑馬燈運(yùn)行正常。如圖3所示，邏輯分析儀顯示波形仿真結(jié)果滿足設(shè)計(jì)要求。經(jīng)硬件開(kāi)發(fā)板驗(yàn)證，實(shí)驗(yàn)結(jié)果驗(yàn)證了基于模型設(shè)計(jì)的仿真系統(tǒng)的有效性。本文引用地址：http://www.ex-cimer.com/article/149948.htm
除經(jīng)典51系列外，該方法適用于8051、DSP、ARM、FPGA等各種嵌入式芯片應(yīng)用實(shí)現(xiàn)。Matlab支持第三方工具，可與ccs／MPLab進(jìn)行無(wú)縫鏈接，用戶可以利用Matlab腳本和Simulink模型在芯片上調(diào)試，驗(yàn)證自動(dòng)生成的嵌入式C代碼，并自動(dòng)下載到目標(biāo)板執(zhí)行。
代碼生成后，用戶可以利用Matlab中提供的工具在Model Advisor中進(jìn)行模型的檢查，在System Test中對(duì)模型進(jìn)行測(cè)試，在Design Veri tier中進(jìn)行模型覆蓋度等分析，通過(guò)模型覆蓋分析法確保設(shè)計(jì)缺陷盡早地被發(fā)現(xiàn)。MathWorks公司收購(gòu)的PolySpace已集成到Matlab平臺(tái)專門用作C代碼驗(yàn)證，進(jìn)一步提高了代碼的穩(wěn)健性。此外還可以進(jìn)行處理器在環(huán)測(cè)試驗(yàn)證(PIL)、代碼執(zhí)行追綜、代碼優(yōu)化等，在此不作詳述。
3 結(jié)論
大量事實(shí)表明，RTW生成的代碼在效率和代碼可讀性等方面足以與優(yōu)秀的手寫代碼媲美。MDB代碼的生成有效地減少了人為引入錯(cuò)誤的可能，將產(chǎn)品的代碼生成和驗(yàn)證過(guò)程留給計(jì)算機(jī)去自動(dòng)完成，軟件的一致性好，軟硬件整合簡(jiǎn)單，可靠性高，大大降低解決問(wèn)題的成本，代表了嵌入式代碼開(kāi)發(fā)的發(fā)展方向，具有很好的應(yīng)用推廣價(jià)值。
評(píng)論