Giotto軟件在實(shí)時(shí)嵌入式控制中的應(yīng)用

隨著計(jì)算機(jī)技術(shù)、控制技術(shù)、信息技術(shù)的快速發(fā)展，工業(yè)的生產(chǎn)和管理方式進(jìn)入了生產(chǎn)自動(dòng)化、控制智能化時(shí)代，特別是分布嵌入式系統(tǒng)的應(yīng)用，更加需要標(biāo)準(zhǔn)化、實(shí)時(shí)的控制模塊和I/O功能模塊，以便系統(tǒng)集成，構(gòu)建適應(yīng)于惡劣環(huán)境的復(fù)雜分布式系統(tǒng)。實(shí)時(shí)嵌入式軟件模塊適合于沒(méi)計(jì)復(fù)雜的分布式系統(tǒng)，它支持分布的、異構(gòu)設(shè)備的系統(tǒng)建摸和構(gòu)造。嵌入式模塊的作用是提供使復(fù)雜性容易處理的結(jié)構(gòu)和技術(shù)，基于Giorio的嵌入式控制設(shè)汁更適合具有硬實(shí)時(shí)控制約束的應(yīng)用。本文中，平臺(tái)指硬件結(jié)構(gòu)、操作系統(tǒng)和通信協(xié)議，由CPU、傳感器、執(zhí)行器和網(wǎng)絡(luò)組成。與平臺(tái)無(wú)關(guān)的事件包括應(yīng)用功能和時(shí)限，與平臺(tái)相關(guān)的事件包括時(shí)序安排、通信和物理特性。

1 Giotto編程特點(diǎn)

傳統(tǒng)的實(shí)時(shí)嵌入式軟件設(shè)計(jì)是在抽象的數(shù)學(xué)模型基礎(chǔ)上，控制工程師根據(jù)對(duì)象行為和環(huán)境影響，利用求解模型的軟件工具，得到模型的功能和性能，然后交給軟件工程師針對(duì)給定的平臺(tái)寫(xiě)出代碼，并在給定的平臺(tái)上檢驗(yàn)和優(yōu)化代碼，直到得出滿(mǎn)意的時(shí)間行為。在這個(gè)過(guò)程中，常常丟失了模型和代碼之間緊密的對(duì)應(yīng)關(guān)系，放棄了軟件的復(fù)硝性，增加了軟件設(shè)計(jì)的復(fù)雜度，因而產(chǎn)生的軟件是弱化的，難于在不同的平臺(tái)上應(yīng)用。

基于Giotto的嵌入式控制軟件設(shè)計(jì)將功能程序從特定平臺(tái)分離，將時(shí)限從功能中分離，其與平臺(tái)無(wú)關(guān)性使得它具有更好的實(shí)時(shí)性、可靠性及可復(fù)用性，更適合嵌入式實(shí)時(shí)分布系統(tǒng)。圖l為基于Giotto的嵌入式控制系統(tǒng)的設(shè)計(jì)流程圖。首先，控制工程師和軟件工程師就控制設(shè)計(jì)的功能和時(shí)限達(dá)成一致，設(shè)計(jì)一個(gè)Giotto程序；然后，軟件工程師使用Giotto編譯器產(chǎn)生一個(gè)可執(zhí)行代碼，該代碼能連接Giotto運(yùn)行時(shí)間庫(kù)，將程序映射到給定的平臺(tái)。Giotto運(yùn)行時(shí)間庫(kù)提供一個(gè)時(shí)序安排和通信的中間層，這一層定義了Giotto可執(zhí)行程序與平臺(tái)之間的接口。目前已經(jīng)建立了一個(gè)Giotto運(yùn)行時(shí)間庫(kù)，用于Intel x86機(jī)上Wind River的VxWorks實(shí)時(shí)操作系統(tǒng)。

2 Giotto編程技術(shù)

Giotto是一種與平臺(tái)無(wú)關(guān)，且在特定控制領(lǐng)域應(yīng)用中具有高水平的編程語(yǔ)言。Giotto的設(shè)計(jì)用于高要求的控制應(yīng)用， 這些應(yīng)用要求周期性地瀆取傳感器，調(diào)用任務(wù)，更新執(zhí)行和模式轉(zhuǎn)換。Giotto基于時(shí)間觸發(fā)編程，從傳感器到CPU以及CPU到執(zhí)行器之問(wèn)的通信由全局時(shí)鐘觸發(fā)，使其具有可預(yù)報(bào)性。Giotto程序不指定與平臺(tái)相關(guān)的部分，如優(yōu)先權(quán)、通信等。其優(yōu)點(diǎn)是與具體的執(zhí)行平臺(tái)無(wú)關(guān)，能與任何實(shí)時(shí)操作系統(tǒng)、調(diào)度運(yùn)算法則以及實(shí)時(shí)通信協(xié)議兼容。

Giotto的兩個(gè)核心組成部分是：周期性的任務(wù)調(diào)用和模式轉(zhuǎn)換。一個(gè)Giotto程序指定一系列的模式，每一種模式又包含一系列的任務(wù)和模式轉(zhuǎn)換。每一時(shí)刻，程序都執(zhí)行在特定的模式P下，每個(gè)P模式轉(zhuǎn)換包含1個(gè)評(píng)估函數(shù)和1個(gè)目標(biāo)模式Q，只有評(píng)估函數(shù)為真時(shí)系統(tǒng)才轉(zhuǎn)換為新模式Q。

Giotto任務(wù)是一項(xiàng)劇期性的工作，其輸入和輸出端幾分別在任務(wù)周期的啟動(dòng)和結(jié)束時(shí)更新，但Giotto任務(wù)不一定要在周期開(kāi)始時(shí)啟動(dòng)，只需在周期內(nèi)啟動(dòng)和完成。圖2(a)顯示了運(yùn)行在同一個(gè)CPU上的1個(gè)40ms任務(wù)M和1個(gè)10ms任務(wù)N的時(shí)序，虛線(xiàn)為目前任務(wù)占用CPU的可能情況。在第Oms，M和N都讀取它們輸入端口的值；在第10 ms，任務(wù)N的計(jì)算結(jié)果寫(xiě)入它的輸出端口，但是N早已結(jié)束執(zhí)行(如圖中虛線(xiàn)所示)；在第40 ms，任務(wù)M的計(jì)算結(jié)果寫(xiě)入它的輸出端口，但任務(wù)M在第40ms之前已經(jīng)完成執(zhí)行。無(wú)論任務(wù)M在0～40 ms的任何時(shí)間完成計(jì)算，任務(wù)N都只會(huì)在第40 ms讀其結(jié)果。

在Giotto中一個(gè)任務(wù)可以看作是一個(gè)工作單元，一旦開(kāi)始，就必須要完成。任務(wù)周期沒(méi)結(jié)束時(shí)，模式轉(zhuǎn)換不能終止任何任務(wù)。給定一個(gè)Giotto模式P(包括分別由40 ms和10 ms調(diào)用的Giotto任務(wù)M和N)和一個(gè)Giotto模式Q(包括分別由40ms和5ms調(diào)用的Giotto任務(wù)M和R)。圖2(b)顯示了在P模式中的第10ms模式轉(zhuǎn)換被激活的時(shí)序，此時(shí)模式P轉(zhuǎn)換為模式Q。由于P和Q都包含任務(wù)M，所以任務(wù)M不會(huì)終止，但任務(wù)N被周期為5ms的任務(wù)R代替。

3 物流系統(tǒng)自主小車(chē)設(shè)計(jì)

2一自主小車(chē)系統(tǒng)包括2個(gè)自主小車(chē)，每個(gè)自主小車(chē)包含一個(gè)微處理器、馬達(dá)和觸摸式傳感器。設(shè)定在任何時(shí)候只有一個(gè)自主小車(chē)是領(lǐng)導(dǎo)者，而其他自主小車(chē)是跟隨者。其中，處于領(lǐng)導(dǎo)或避開(kāi)狀態(tài)的自主小車(chē)稱(chēng)為“領(lǐng)導(dǎo)者”，處于跟隨或停止?fàn)顟B(tài)的自主小車(chē)稱(chēng)為“跟隨者”。當(dāng)領(lǐng)導(dǎo)者被阻礙時(shí)，領(lǐng)導(dǎo)者進(jìn)入避開(kāi)狀態(tài)，跟隨者進(jìn)入停止?fàn)顟B(tài)。進(jìn)入避開(kāi)狀態(tài)的自主小車(chē)執(zhí)行一段避開(kāi)程序，以避開(kāi)障礙物，此時(shí)處于停止?fàn)顟B(tài)的自主小車(chē)仍停止；當(dāng)領(lǐng)導(dǎo)者完成避開(kāi)程序返回到領(lǐng)導(dǎo)狀態(tài)時(shí)，跟隨者返回跟隨狀態(tài)。當(dāng)跟隨者之一被阻礙時(shí)，該自主小車(chē)進(jìn)入避開(kāi)狀態(tài)，其他所有的自主小車(chē)進(jìn)入停止?fàn)顟B(tài)，被阻礙的這個(gè)自主小車(chē)成為新的領(lǐng)導(dǎo)者。圖3顯示了2一自主小車(chē)系統(tǒng)的狀態(tài)行為。