鄒凡 朱宏翔 袁凱
摘 要:文章介紹了MATLAB/Simulink的自動代碼生成的實現(xiàn)方法和過程。以某新能源汽車油門控制模型為例,重點解釋了浮點模型和定點模型之間的區(qū)別,并通過自動生成的代碼和CodeWarrior編譯生成的可執(zhí)行文件證明定點模型相對于浮點模型所占內(nèi)存少。
關鍵詞:MATLAB/Simulink;自動代碼生成;浮點;定點
中圖分類號:U462? 文獻標識碼:A? 文章編號:1671-7988(2019)04-131-03
前言
隨著電動汽車的快速發(fā)展,企業(yè)對電子控制系統(tǒng)的性能與開發(fā)效率提出了越來越高的要求,傳統(tǒng)手寫代碼的開發(fā)方式周期長、調(diào)試難度大,已經(jīng)很難適用于現(xiàn)代電控系統(tǒng)的開發(fā)。在新型電子控制系統(tǒng)的發(fā)展中,出現(xiàn)了一套成熟的汽車電控系統(tǒng)開發(fā)模式—V模式開發(fā)。利用MATLAB/Simulink工具搭建控制模型,在設計初期就可以直觀地反映設計需求,進行系統(tǒng)設計,便于閱讀和修改,使模型的更新與代碼保持一致,而且沒有實施過程中產(chǎn)生的錯誤,并且可以處理很復雜的模型系統(tǒng)。其中,自動代碼生成技術可以直接從圖形模型生成目標處理器上的代碼,不僅保證了代碼與模型的高度一致性,也使得控制器開發(fā)更加高效有序。
1 Simulink建模及代碼生成
近幾年來,在汽車電子控制領域,Simulink已經(jīng)成為動態(tài)系統(tǒng)建模和仿真領域中應用最為廣泛的軟件之一。由于Simulink是采用模塊組合方式來建模,從而可以使得用戶能夠快速、準確地創(chuàng)建動態(tài)系統(tǒng)的計算機仿真模型,特別是對復雜的不確定非線性系統(tǒng)更為方便。
在Simulink模型中要進行自動代碼生成,至少有3部分需要配置:解算器(solver);目標硬件設置(hardware imple mentation);系統(tǒng)目標文件(system target file)。
一般情況下,Simulink的模型只生成應用層代碼,其應用層軟件與底層軟件結合只能通過手動集成。現(xiàn)基于Freescale的一款芯片自主開發(fā)出一鍵式自動代碼生成技術,通過編程自動集成應用層軟件與底層軟件,即可將控制模型自動生成可執(zhí)行代碼。
對于解算器(solver),其類型需設置為固定步長。由于模型是用于生產(chǎn)嵌入式代碼,并下載到單片機中運行,而單片機總是以時鐘源提供的穩(wěn)定頻率運行,無法進行變步長運算,所以兩采樣點間的時間間隔要設為固定。步長的大小取決于對計算精度和速度的平衡,步長越小,精度越高,而計算的速度越慢。在目標硬件為通用的情況下,對代碼生成沒有影響,當前設置為0.01s。
其次在目標硬件設置(hardware implementation)中,設備供應商(Device vendor)選擇為Freescale,設備類型(Device type)選擇為對應的芯片型號。因為目前使用的整車控制器芯片平臺已經(jīng)達到成熟量產(chǎn)的狀態(tài),所以目標硬件設置將所選芯片設置為默認狀態(tài)。
再次在Code Generation界面中,將系統(tǒng)目標文件選擇為Embedded Coder對應芯片的.tlc文件。Embedded Coder是可生成用于嵌入式單片機的實時C代碼的編譯器。TLC文件的作用是將模型編譯出的RTW文件轉(zhuǎn)換為支持某平臺或硬件的代碼,其Template makefile選擇targetcoder.tmf。取消勾選Generate code only,否則編譯只能生成C代碼,無法生成可執(zhí)行文件。
完成以上設置后,點擊Build Model或者Ctrl+B快捷鍵即可生成C代碼和可執(zhí)行文件。
2 浮點數(shù)模型和定點數(shù)模型
Simulink建立的模型默認情況下以double型變量定義,并且參數(shù)和信號都以結構體形式生成代碼,這會使得參數(shù)和信號在調(diào)用時都產(chǎn)生冗長的代碼,降低可讀性,并加重RAM的儲存和單片機的計算負擔。
Simulink定點軟件支持整型數(shù)和定點數(shù),它們之間的主要區(qū)別是小數(shù)點。在定點型硬件中,數(shù)據(jù)是以二進制的形式進行存儲。定點數(shù)和它們的數(shù)據(jù)類型以字長、二進制小數(shù)點、有符號還是無符號為特征。目前整車控制器使用的為Freescale的16位芯片,其支持的是定點型數(shù)據(jù),所以整車控制模型是以整數(shù)形式建模,但是其中的查表模塊(Lookup Table)因條件限制,其中的數(shù)據(jù)類型為single形式,隨著整車控制軟件功能的增加,其中的查表模塊使用的頻次增多,生成的代碼會加大對芯片內(nèi)存的占用,導致整車控制程序運行效率降低。所以通過使用Fixed-Point工具,對查表模塊的數(shù)據(jù)進行定點化(fixdt)處理。
對整車控制模型中的油門控制算法進行定點化:
3 生成結果分析
基于MATLAB/Simulink生成的浮點型代碼和定點化后生成的代碼數(shù)據(jù)如下:
定點數(shù)是用整數(shù)表達的小數(shù),在單片機存儲上面的數(shù)據(jù)時,是以整數(shù)來存儲,如圖7所示,數(shù)據(jù)都為uint16_T類型,此數(shù)據(jù)類型在單片機中占用2個字節(jié),而如圖6所示,數(shù)據(jù)都為real32_T類型數(shù)據(jù),此數(shù)據(jù)類型在單片機內(nèi)存中占據(jù)4個字節(jié);如圖6所示,查表的浮點數(shù)據(jù)總共是22個數(shù)據(jù),定點化后是整數(shù)類型是33個數(shù)據(jù)。浮點型的存儲會占用的內(nèi)存是22*4=88個字節(jié);如果定點化后存儲數(shù)據(jù)占用的內(nèi)存是33*2=66個字節(jié)。
而現(xiàn)在我們采用的是Freescale的16位單片機是定點處理器;這樣會大大的減少數(shù)據(jù)在單片機中存儲。
在CodeWarrior編譯器的右下方顯示(2.000000MHZ),表示晶振是2MHz,晶振后面就是時間。由圖8和圖9對比,圖8顯示的運行時間是1197,圖9顯示的運行時間是2780,定點化后運行同樣一個算法所使用的時間只占到了浮點模型運行時間的一半不到。
綜上所述,Simulink模型經(jīng)過定點化處理后,其代碼占用的內(nèi)存變小,程序運行的時間也大大縮短,從而可以提高整車控制器整個程序的運行效率和質(zhì)量。
4 結束語
本文介紹了MATLAB/Simulink的自動代碼生成技術,并著重介紹了浮點模型和定點模型生成代碼的區(qū)別。后期建立的Simulink模型可以朝定點數(shù)方向發(fā)展,進一步高效的利用單片機的資源。
參考文獻
[1] 孫忠瀟,Simulink仿真及代碼生成技術入門到精通[M],北京:北京航空航天大學出版社,2015:350-374.
[2] 劉杰,翁公羽,周宇博,基于模型的設計-MCU篇[M],北京,北京航空航天大學出版社,2011:458-465.