摘要：以51芯片為例，講述了模型的建立、調(diào)試與驗證，以及基于模型的嵌入式C代碼的自動生成及軟硬件在環(huán)測試。實踐表明，該基于模型的設計方法可顯著提高工作效率、縮短研發(fā)周期、降低開發(fā)成本，并且增加了代碼的安全性與魯棒性，有效降低了產(chǎn)品軟件開發(fā)的風險。
關鍵詞：Matlab／Stateflow；RTW；MBD；軟件在環(huán)仿真；自動代碼生成；快速原型

引言
    伴隨著嵌入式系統(tǒng)的復雜性越來越高，系統(tǒng)的開發(fā)周期不斷延長。但開發(fā)周期與系統(tǒng)的安全性、可靠性又有一定的沖突。目前，一臺中高檔汽車的軟件控制代碼就超過了500萬行，F(xiàn)-35的控制軟件更是高達1 500萬行，一艘航母的控制代碼超過一億行。與此同時，設計本身也變得更加復雜。嵌入式系統(tǒng)設計師必須面對以下挑戰(zhàn)：更快地向市場交付產(chǎn)品，更低的成本，保證復雜系統(tǒng)的協(xié)調(diào)一致，高質(zhì)量的代碼，具有足夠的靈活性以適應最后一分鐘的變化修改。為了在日趨激烈的市場競爭中占據(jù)有利地位，開發(fā)出高質(zhì)量的產(chǎn)品，同時縮短開發(fā)周期，手工編寫的代碼已很難滿足應用要求，必須改變傳統(tǒng)的項目開發(fā)方式。通常，編程人員花費大量的時間來編制程序、查錯、調(diào)試和驗證，增加了工作量，延長了研制周期。此外，手工編制的代碼良莠不齊，降低了軟件運行的可靠度，增加了代碼錯誤的可能性和系統(tǒng)出錯的風險。為了迎接這些挑戰(zhàn)，工程師必須找到以更快速有效開發(fā)軟件和硬件的方法。鑒于軟件工程化思想的引入和盛行，軟件業(yè)發(fā)展潮流逐漸趨于工程化、流水化。Matlab環(huán)境下集成的Sireulink／Stateflow模型設計和使用RTW生成目標代碼的軟件設計方案便是這一大背景的產(chǎn)物?；谀Ｐ偷脑O計就是解決該問題的一種方法。Matlab MBD解決方案可以使用戶方便地穿梭于建模、仿真、驗證與實施之間，而無需重寫代碼或改變軟件環(huán)境。經(jīng)過近幾年的不斷完善，這種方法已經(jīng)從概念演變成實際應用中重要的開發(fā)模式。洛克希德·馬丁、波音、空中客車、通用汽車、奔馳、西門子、摩托羅拉等公司都有應用MBD技術開發(fā)的成功經(jīng)驗。

1 基于模型的設計優(yōu)點
    傳統(tǒng)開發(fā)模式利用手工編寫代碼，即把控制策略翻譯成高級語言代碼，然后用斷點調(diào)試的方式測試和修改控制程序。其存在很多弊?。?br />     ①對軟件工程師在嵌入式軟件代碼編寫方面要求較高，雖然軟件工程師對被控對象的特性和控制方法有深入了解，但往往并不擅長編寫MCU的底層代碼。這迫使軟件工程師花費大量精力去仔細閱讀MCU相關說明書。
    ②控制算法的翻譯和驗證困難。最初的控制策略和算法必須手工翻譯成MCU上的程序代碼，控制策略的修改將伴隨大量原始代碼的修改，致使代碼的人工維護成本較高。
    ③硬件平臺依賴。軟件開發(fā)過程與硬件平臺緊密相連，可移植能力往往較差。硬件平臺一旦更換，代碼移植成本很高。
    而在基于模型的設計中通過自動編碼生成技術以及循環(huán)硬件測試，工程師們可以消除由于手動操作以及縮短通往產(chǎn)品出貨的路徑時所產(chǎn)生的錯誤，生成測試、驗證以及最終使用產(chǎn)品的編碼，大大提高效率。例如，美國直升飛機制造商基于模型設計為Tiltrotor飛機開發(fā)了飛行控制程序，比原來的方法縮短了40％的軟件開發(fā)時間。采用傳統(tǒng)的設計流程，一個有多年VHDL編碼經(jīng)驗的工程師，一般要花費645小時對全功能SDR波形進行手動編碼，而另外一個沒有多少經(jīng)驗的工程師采用基于模型設計技術，只用了不超過46個小時就完成了相同的工作。通過采用基于模型設計技術，英國國防和航天公司的軟件無線電系統(tǒng)(SDR)工程師們能夠減少10％的重復工作以及
整體開發(fā)時間。
    基于模型的設計與傳統(tǒng)設計相比有以下優(yōu)點：
    ①開發(fā)人員具有統(tǒng)一的開發(fā)平臺，模型的理解具有非歧義性。使用一種公共設計環(huán)境，在開發(fā)的早期就避免了需求分析錯誤。
    ②模型復用性好，便于維護、組裝。
    ③RTW技術將程序員從代碼的海洋中解放出來，使其專注于核心技術的研究上。
    ④基于模型的設計在效率和代碼的安全性方面具有無與倫比的優(yōu)勢。
    ⑤可顯著降低系統(tǒng)開發(fā)周期與研發(fā)成本。
    ⑥通過多范疇的仿真改進算法。
    ⑦降低了對物理原型的依賴。
    ⑧設計集成了測試，不斷地發(fā)現(xiàn)和糾正錯誤。
    在大系統(tǒng)開發(fā)中廣泛采用MBD技術。從美國的F-35、GM的混合動力車，到X系列空天飛機以及歐洲的空客A380，再到G4的開發(fā)都采用了基于模型設計。美國CRC出版社于2009年11月出版了第一本基于模型的嵌入式設計專著《Model-Based Design for Embedded Systems》。而國內(nèi)基于模型的設計應用才剛剛起步，在此方面遠遠落后于國外技術發(fā)展，相關文獻很少。在設計中的應用主要還是停留在模型的早期仿真測試上，DSP開發(fā)多停留在M文件測試無誤后再改編C代碼的階段，代碼自動生成和模型檢驗的例子較少，沒有真正體現(xiàn)基于模型設計的精髓。更多地關注Simulink，對更適于嵌入式系統(tǒng)建模的Stateflow應用相對較少，硬件描述語言很少應用。相比而言，MBD方法在自動代碼生成領域的研究較多，而對軟件在回路仿真方面的研究極少。

2 基于模型的設計流程
2．1 DO-17B標準下基于模型的設計
    一個完整的基于模型的設計應該符合DO-17B標準，它通常要包含以下幾個部分：
    ◆建立需求文檔與可執(zhí)行的技術規(guī)范
    ◆需求與模型問的雙向跟蹤
    ◆模型檢查
    ◆模型的驗證
    ◆軟件在環(huán)測試
    ◆處理器在環(huán)測試
    ◆代碼優(yōu)化
    ◆代碼有效性檢查
    ◆代碼效率剖析
    ◆內(nèi)存用量檢查
    ◆硬件在環(huán)測試
    ◆生成產(chǎn)品代碼[!--empirenews.page--]
    基于模型的設計核心是系統(tǒng)模型。MathWorks公司的Simulink產(chǎn)品系列使設計人員可以在一個圖形化的交互環(huán)境中應用基于模型的設計，在該環(huán)境中，設計人員還可以利用直觀的模塊圖，對系統(tǒng)模型和子系統(tǒng)設計進行可視化處理。在統(tǒng)一的可視化的開發(fā)測試平臺上，從設計概念到實現(xiàn)一氣呵成，減少了不必要的勞動，大大縮短項目的開發(fā)周期，減少資金投入，提高代碼的穩(wěn)健性、一致性，滿足DO-17B航空電子規(guī)范的工作流程，使基于模型的設計能夠為那些對安全性、可靠性要求極其嚴格甚至近乎苛刻的設計提供絕好的方案。和基于文本的模型相比，這種圖形化的環(huán)境可以使你更容易理解設計和子系統(tǒng)之間的交互。Mathworks公司的Real-Time Workshop Embedded Coder可以將Simuli nk／   Stateflow中的算法模型自動轉(zhuǎn)化為嵌入式C代碼，大大降低了嵌入式系統(tǒng)的開發(fā)門檻。開發(fā)人員可以在Simulink／Stateflow中建立系統(tǒng)模型，構思解決方案，然后使用RTW自動生成優(yōu)化的、可移植的、自定義的產(chǎn)品級C代碼，并根據(jù)特定的目標硬件配置自動生成嵌入式系統(tǒng)實時應用程序。
2．2 Matlab中C代碼生成
    Matlab中C代碼生成主要有兩種方式。
    (1)基于Embedded Matlab
    支持從概念到實現(xiàn)的編程理念，用戶可以從現(xiàn)存或自編的M-code中直接生成高效、可讀的嵌入式C代碼，使編程效率大為提高。
    (2)用戶通過Simulink和有限狀態(tài)Stateflow
    Simulink是動態(tài)和嵌入式等系統(tǒng)的建模與仿真工具，也是基于模型設計的基礎。Simulink自帶了1000多個用戶模塊，可實現(xiàn)與有限狀態(tài)機的無縫鏈接，擴展對復雜系統(tǒng)的建模能力。基本上它可以快速地創(chuàng)建基于嵌入式器件的應用模型，完成精確的系統(tǒng)模型描述，可以針對任何能夠用數(shù)學來描述的系統(tǒng)進行建模，例如動力學系統(tǒng)、控制制導系統(tǒng)、通信系統(tǒng)、船舶及汽車等。Simulink還提供了豐富的功能塊以及不同的專業(yè)模塊集合，利用Sireulink幾乎可以做到不書寫一行代碼完成整個動態(tài)系統(tǒng)的建模工作。Stateflow狀態(tài)機基于有限狀態(tài)機的理論使用自然的、便于理解的形式，使復雜的邏輯關系清晰簡單。一些傳統(tǒng)方法很難實現(xiàn)的算法利用其建模非常容易，特別適用于對復雜的事件驅(qū)動系統(tǒng)進行建模和仿真。用戶只通過簡單直觀的鼠標操作，就可以輕而易舉地構造出復雜的系統(tǒng)，生成可靠的C代碼。利用RTW-EC等工具為用戶算法自動生成嵌入式代碼。這是一種高效、實用的方法，目前國內(nèi)外各大公司在進行新產(chǎn)品開發(fā)時已廣泛采用。它的核心思想是讓工程師把精力集中于算法的研究上，把枯燥、困難的代碼編寫工作留給計算機去自動完成，這樣可以大大縮短產(chǎn)品的開發(fā)周期，同時避免了人為引入的錯誤，降低了風險。
2．3 嵌入式代碼的快速生成
    以8051處理器為例，利用Matlab Plug-in Blockset與Stateflow無縫鏈接，利用RTW-EC工具自動生成C代碼，并完成代碼測試檢驗工作。開發(fā)環(huán)境：Matlab+Proteus。
    首先構建stateflow模型并生成代碼。以簡單的流水燈為例，使用Stateflow構建模型Stateflow-model如圖1所示。

    模型連接Lightflow model如圖2所示。

    模型連接好后，調(diào)整模型配置選項卡參數(shù)。處理器選擇8051系列，ERT．TLC生成代碼選C，生成SIL，生成代碼報告打勾，其他默認。
    保存模型，單擊幽按鈕，Matlab將自動生成模型代碼。[!--empirenews.page--]
    代碼生成后還需要對其硬件接口進行修改，添加頭文件和輸入／輸出端口等。
   
    利用軟件在環(huán)技術，工程師們能夠在設計流程中盡早發(fā)現(xiàn)并清除錯誤，而非在VHDL行為測試階段。借助基于模型設計，工程師們再也不用在流程最后階段來測試并驗證與需求的一致性。取而代之的是，他們在整個設計流程中都能進行測試和驗證，既節(jié)省時間也節(jié)約了成本。
2．4 虛擬硬件在環(huán)仿真
    Proteus是英國Labcenter Electronics公司研發(fā)的多功能EDA軟件，是一款集單片機和SPICE分析于一身的電路設計和仿真軟件，能方便地完成單片機系統(tǒng)的硬件設計、軟件設計、單片機源代碼級調(diào)試與仿真，功能極其強大。
    修改前面生成的代碼端口，在Proteus下搭建電路并利用生成的代碼在Keil-C中編譯，跑馬燈運行正常。如圖3所示，邏輯分析儀顯示波形仿真結果滿足設計要求。經(jīng)硬件開發(fā)板驗證，實驗結果驗證了基于模型設計的仿真系統(tǒng)的有效性。

    除經(jīng)典51系列外，該方法適用于8051、DSP、ARM、FPGA等各種嵌入式芯片應用實現(xiàn)。Matlab支持第三方工具，可與ccs／MPLab進行無縫鏈接，用戶可以利用Matlab腳本和Simulink模型在芯片上調(diào)試，驗證自動生成的嵌入式C代碼，并自動下載到目標板執(zhí)行。
    代碼生成后，用戶可以利用Matlab中提供的工具在Model Advisor中進行模型的檢查，在System Test中對模型進行測試，在Design Veri tier中進行模型覆蓋度等分析，通過模型覆蓋分析法確保設計缺陷盡早地被發(fā)現(xiàn)。MathWorks公司收購的PolySpace已集成到Matlab平臺專門用作C代碼驗證，進一步提高了代碼的穩(wěn)健性。此外還可以進行處理器在環(huán)測試驗證(PIL)、代碼執(zhí)行追綜、代碼優(yōu)化等，在此不作詳述。

3 結論
    大量事實表明，RTW生成的代碼在效率和代碼可讀性等方面足以與優(yōu)秀的手寫代碼媲美。MDB代碼的生成有效地減少了人為引入錯誤的可能，將產(chǎn)品的代碼生成和驗證過程留給計算機去自動完成，軟件的一致性好，軟硬件整合簡單，可靠性高，大大降低解決問題的成本，代表了嵌入式代碼開發(fā)的發(fā)展方向，具有很好的應用推廣價值。