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