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

　　圖2 WSN應用程序建模、仿真和代碼生成框架

　　實現 WSN 應用程序

　　MANTIS線程和任務的計算主體以及TinyOS的命令實際上都是使用C語言編寫的。在MANTIS中，集成非常直接，因為Real-Time Workshop Embedded Coder的ANSI C輸出可直接用作用戶線程。TinyOS的程序由高級抽象組成，但這些抽象的主體是使用C語言編寫的，因而只需要一個代碼轉換器，以C語言代碼作為輸入，將代碼分割成不同的部分(包括定義、函數等)，并使用這些部分來生成nesC代碼。

　　本文使用The MathWorks公司的 Target Language Compiler(TLC)實現這樣的代碼轉換器。它提供了生成特定平臺代碼的機制，可接受來自ANSI C代碼的部分(例如包含、定義、函數代碼等)，也可為目標平臺添加自定義代碼。使用Stateflow時無需考慮通用函數在TinyOS或MANTIS中的實際實現，因為TLC庫中已經實現了這些函數，可用于任意操作系統。通過使用TLC腳本自動生成TinyOS或MANTIS應用程序，在無需修改的前提下為目標平臺編譯和執行這些應用程序。 并且，TLC可重寫并修改源代碼，分割源代碼并使之適合底層平臺。這不僅實現了比編譯器更出色的優化，還能方便的在硬件和軟件平臺之間遷移應用程序。