傳感器網絡應用程序的建模、仿真與自動代碼生成框架

引言

　　無線傳感器網絡(Wireless Sensor Networks，WSN)在現場應用時，通過無線信道通信進行信息共享和協作處理。

　　WSN應用目前存在兩種功能分析包，即特定平臺操作系統和量身定制模型，在應用程序開發階段都存在明顯的缺陷。第一類將應用程序遷移到其他平臺時很困難，例如從TinyOS遷移到MANTIS或遷移到ZigBee兼容平臺，必須重寫大量代碼并進行大量調試。第二類有許多依賴于平臺的具體代碼需要開發和調試，如果在開發和集成階段結束后發現問題，惟一的解決方法就是基于LED進行調試，極為耗時。

　　參考仿真框架

　　The MathWorks公司構建了基于 Simulink的傳感器網絡模型作為動態系統的基時仿真器。模型具有兩個主要組件：無線信道模型(下文稱為Communication Medium)和Node塊。

　　Communication Medium塊可以通過C語言實現，可將其修改為重用任意現有信道和連接模型。

　　Node塊有多個完全參數化的mote，包含硬件與軟件平臺模型。例如包括計時器、LED以及應用程序的參數化Stateflow塊。Stateflow是一種有限狀態機語言，用于建模、仿真控制邏輯和流程圖。可以用于實現各mote內運行的算法(應用程序、中間件或設備驅動器)。

　　只需修改模板算法(Stateflow 庫對象)，在Communication Medium塊中設置節點的連接參數即可開始仿真。使用動畫狀態圖、觀測儀器和顯示器收集統計數據，以執行算法的功能分析。如果結果分析表明需要改進，則可通過改進算法實現。

　　完成算法的功能分析后，通過算法的Stateflow自動為任何受支持的WSN平臺生成代碼。這是利用RealTime Workshop Embedded Coder軟件的自定義功能完成的，它能為Simulink和Stateflow塊生成可嵌入的ANSI C代碼。

　　圖1 WSN的一個簡單仿真框架

　　WSN應用程序操作系統示例：TinyOS與MANTIS

　　TinyOS的編程模型基于組件，概念實體由模塊和配置兩類組件表示，實現用于聲明命令和事件簽名的接口。事件即軟件抽象，例如接受信息包、完成傳感器取樣等。命令用于觸發操作，例如傳感器讀取操作或啟動無線電接收和傳輸信息等。TinyOS應用程序是使用nesC編寫的，這是C語言的一個擴展。

　　MANTIS是一種輕量級、多線程的操作系統，能在能源受限的分布式傳感器網絡上進行多任務處理。調度程序采用基于優先級的輪叫調度，支持線程先占(pre-emption)，允許操作系統在活動線程間自由切換而無需等待。由于采用了這樣的方法，操作系統對于關鍵事件的響應速度比TinyOS更快。MANTIS的內核和API都是使用標準C語言編寫的。

上一頁 1 2 下一頁