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