【正文】 ） {……..} 用戶使用 post關(guān)鍵字拋出任務(wù)，調(diào)用方式如下： result_t ret = post tastname （） u任務(wù)接口模型 ： 任務(wù)接口擴展了任務(wù)的語法和語義。通常情況下，任務(wù)接口包含一個異步（ async）的 post命令和一個 run事件，這些函數(shù)的具體聲明由接口決定。 實例： Interface TaskParameter { async error_t mand postTask(uint16_t param)。 event void runTask(uint16_t param)。 } 調(diào)用方式 : call (34)。// 拋出任務(wù) 上一頁 下一頁 清華大學(xué) 研究生課程106 u TinyOS的調(diào)度器實現(xiàn)了任務(wù)和事件的兩級調(diào)度u 任務(wù)之間不能互相搶占 ，底層硬件中斷觸發(fā)事件，事件能搶占任務(wù)，事件之間也能互相搶占。命令和事件都可以 post任務(wù)。任務(wù)中也可以調(diào)用命令u TinyOS TinyOS組件。調(diào)度器既支持最基本的任務(wù)模型，也支持任務(wù)接口模型，并且由調(diào)度器負(fù)責(zé)協(xié)調(diào)不同的任務(wù)類型 上一頁 下一頁 清華大學(xué) 研究生課程107并發(fā)模型 uTinyOS 一次僅執(zhí)行一個程序。程序運行時，有兩個執(zhí)行線程：任務(wù)和事件。事件是由硬件中斷觸發(fā)的，事件之間可以互相搶占u任務(wù)之間不互相搶占，事件可搶占任務(wù)，事件也可互相搶占?？蓳屨歼\行的函數(shù)用 async 標(biāo)識，同步運行的函數(shù)用 syncunesC的規(guī)則是：異步函數(shù)調(diào)用的命令和事件也必須是異步的。一個函數(shù)（命令或事件）不是異步就是同步（缺?。?。接口的定義指明了命令和事件是異步還是同步 u中斷（異步函數(shù)）可以執(zhí)行同步函數(shù)的唯一方法就是post一個任務(wù) u使用原子語句塊來實現(xiàn)對臨界數(shù)據(jù)的訪問 上一頁 下一頁 TinyOSu System posed of concurrent FSM modules– Single execution contextu Component model– Frame (storage)– Commands event handlers– Tasks (putation)– Command Event interface – Easy migration across h/w s/w boundaryu Two level scheduling structure– Preemptive scheduling of event handlers– Nonpreemptive FIFO scheduling of tasksu Compile time memory allocationu NestCu Messaging ComponentInternal StateInternal TasksCommands Eventsbit_t++ bit_t==8Send Byte Eventbit_t = 0DoneNoYesBit_Arrival_Event_HandlerState: {bit_t}Start108 上一頁 下一頁 Complete TinyOS Application109 上一頁 下一頁 清華大學(xué) 研究生課程110ContikiuContiki是瑞典計算機科學(xué)研究所Adam Dunkels 等人專為內(nèi)存資源非常有限的嵌入式系統(tǒng)如網(wǎng)絡(luò)傳感器節(jié)點等開發(fā)的一個多任務(wù)操作系統(tǒng)uContiki完全用 C語言寫成 ,源代碼開放（遵循 BSD協(xié)議） ,支持網(wǎng)絡(luò)互聯(lián) ,具有高度的移植性 ,代碼量非常小 ,支持從 8位微控制器構(gòu)成的嵌入式系統(tǒng)到老式的 8位家用電腦 上一頁 下一頁 清華大學(xué) 研究生課程111ContikiuContiki包括一個多任務(wù)核心、 TCP/IP 、程序集以及低能耗的無線通訊堆棧u使用 uIP協(xié)議棧實現(xiàn)本地 TCP / IP協(xié)議 ,可以在直接相連的終端和通過網(wǎng)絡(luò)相連的終端 (如虛擬網(wǎng)絡(luò)計算機和 Tel)上實現(xiàn)圖形化界面系統(tǒng) 上一頁 下一頁 清華大學(xué) 研究生課程112提綱u物聯(lián)網(wǎng)的提出u常見應(yīng)用場景u物聯(lián)網(wǎng)體系結(jié)構(gòu)u物聯(lián)網(wǎng)協(xié)議層次u硬件平臺與操作系統(tǒng) u主要研究問題 上一頁 下一頁 2023年 973計劃資助項目u物聯(lián)網(wǎng)的基礎(chǔ)理論與實踐研究– 首席科學(xué)家：劉海濤 中科院上海微系統(tǒng)與信息技術(shù)研究所u物聯(lián)網(wǎng)基礎(chǔ)理論和設(shè)計方法研究– 首席科學(xué)家：趙偉 同濟大學(xué)u物聯(lián)網(wǎng)體系結(jié)構(gòu)基礎(chǔ)研究– 首席科學(xué)家：馬華東 北京郵電大學(xué)清華大學(xué) 研究生課程113 上一頁 下一頁 清華大學(xué) 研究生課程114物聯(lián)網(wǎng)關(guān)聯(lián)表征與體系架構(gòu)研究u針對物聯(lián)網(wǎng)的強關(guān)聯(lián)性、非確定性、高混雜性等特征，圍繞物聯(lián)網(wǎng)關(guān)聯(lián)模型、標(biāo)識體系、安全架構(gòu)與架構(gòu)體系等開展研究，以建立物聯(lián)網(wǎng)的基礎(chǔ)理論和架構(gòu)體系為目標(biāo)，力爭在物聯(lián)網(wǎng)的關(guān)聯(lián)模型、系統(tǒng)架構(gòu)等方面取得相關(guān)的理論成果u研究內(nèi)容：– 物聯(lián)網(wǎng)關(guān)聯(lián)模型與表征– 可擴展物聯(lián)網(wǎng)標(biāo)識體系– 物聯(lián)網(wǎng)安全架構(gòu)– 面向演進的物聯(lián)網(wǎng)架構(gòu)體系 上一頁 下一頁 清華大學(xué) 研究生課程115物聯(lián)網(wǎng)異構(gòu)融合和自治機理研究u研究物聯(lián)網(wǎng)的自治模型，以及場景察覺、資源配置和優(yōu)化、自愈合和自保護等機理，研究物聯(lián)網(wǎng)的自治子網(wǎng)間的協(xié)作管理和具有可增量部署特征的物聯(lián)網(wǎng)的異構(gòu)網(wǎng)絡(luò)融合機制，形成物聯(lián)網(wǎng)的自治理論和方法u研究內(nèi)容：– 物聯(lián)網(wǎng)的自治模型– 高混雜條件下物聯(lián)網(wǎng)的場景覺察機理– 非確定條件下物聯(lián)網(wǎng)的自配置與優(yōu)化機理– 復(fù)雜動態(tài)場景下物聯(lián)網(wǎng)的自愈合與自保護機理– 自治子網(wǎng)間協(xié)作管理機理– 可增量部署的物聯(lián)網(wǎng)異構(gòu)網(wǎng)絡(luò)融合機制 上一頁 下一頁 清華大學(xué) 研究生課程116物聯(lián)網(wǎng)混雜信息融合與決策研究u圍繞物聯(lián)網(wǎng)信息融合與決策服務(wù)需求，以解決混雜條件下信息融合與決策、數(shù)據(jù)處理的隱私保護等問題為目標(biāo)，研究物聯(lián)網(wǎng)在信息采集、融合和決策控制等過程中信息的內(nèi)在關(guān)聯(lián)，對多源異構(gòu)信息進行多層次匯聚、處理、融合和決策u研究內(nèi)容：– 物聯(lián)網(wǎng)信息處理與服務(wù)模型– 物聯(lián)網(wǎng)混雜信息融合– 物聯(lián)網(wǎng)復(fù)雜關(guān)系鏈挖掘– 物聯(lián)網(wǎng)主動決策與互動控制– 物聯(lián)網(wǎng)數(shù)據(jù)處理的隱私保護 上一頁 下一頁 清華大學(xué) 研究生課程117物聯(lián)網(wǎng)可信軟件設(shè)計理論與方法研究u基于物聯(lián)網(wǎng)環(huán)境中連續(xù)世界與離散計算的結(jié)合性、實時性、可預(yù)測性、動態(tài)演化性等特征，建立物聯(lián)網(wǎng)可信軟件的設(shè)計方法及相應(yīng)的推理機制，研究形式化描述方法和推理理論，為物聯(lián)網(wǎng)可信軟件系統(tǒng)分析與建模的研究提供數(shù)學(xué)模型和驗證手段，支持物聯(lián)網(wǎng)系統(tǒng)分析和驗證u研究內(nèi)容：– 物聯(lián)網(wǎng)可信軟件設(shè)計方法– 物聯(lián)網(wǎng)可信軟件推理理論– 物聯(lián)網(wǎng)可信軟件建模方法– 物聯(lián)網(wǎng)可信軟件分析與驗證技術(shù) 上一頁 下一頁 清華大學(xué) 研究生課程118物聯(lián)網(wǎng)系統(tǒng)優(yōu)化機理研究u在物聯(lián)網(wǎng)自治管理、信息融合處理和軟件設(shè)計的研究基礎(chǔ)上，進一步從感知、傳輸、信息處理和決策控制等多個層次出發(fā)，研究物聯(lián)網(wǎng)在非確定及混雜異構(gòu)環(huán)境下的系統(tǒng)優(yōu)化機理，通過運用解耦、博弈、約束優(yōu)化等理論和技術(shù)，實現(xiàn)系統(tǒng)的物理、通信及計算等資源的優(yōu)化利用，以達到系統(tǒng)性能的整體提升u研究內(nèi)容：– 面向可靠感知的物聯(lián)網(wǎng)多級優(yōu)化機制– 物聯(lián)網(wǎng)無線頻譜的優(yōu)化調(diào)度與分配機制– 非確定環(huán)境下的物聯(lián)網(wǎng)可靠數(shù)據(jù)傳輸機制– 面向信息決策的物聯(lián)網(wǎng)資源協(xié)同優(yōu)化機制– 物聯(lián)網(wǎng)系統(tǒng)跨層優(yōu)化機制 上一頁 下一頁 清華大學(xué) 研究生課程119參考文獻u [1] L. Atzori, A. Iera and G. Morabito, The Inter of Things: A survey, Computer Networks, vol. 54, no. 15, pp. 27872805, 2023.u [2] . Hui and . Culler, Extending IP to LowPower, Wireless Personal Area Networks, IEEE Inter Computing, vol. 12, no. 4, 2023.u [3] G. Kortuem, F. Kawsar, D. Fitton and V. Sundramoorthy, Smart objects as building blocks for the Inter of things, IEEE Inter Computing, vol. 14, no. 1, 2023.u [4] F. Thiesse, C. Floerkemeier, M. Harrison, F. Michahelles and C. Roduner, Technology, Standards, and RealWorld Deployments of the EPC Network, IEEE Inter Computing, vol. 13, no. 2, 2023.u [5] M. Kranz, P. Holleis and A. Schmidt, Embedded Interaction: Interacting with the Inter of Things, IEEE Inter Computing, vol. 14, no. 2, 2023.u [6] E. Welbourne, L. Battle, G. Cole, K. Gould, K. Rector, S. Raymer, M. Balazinska and G. Borriello, Building the Inter of Things Using RFID: The RFID Ecosystem Experience, IEEE Inter Computing, vol. 13, no. 3, 2023.u [7] G. Broll, E. Rukzio, M. Paolucci, M. Wagner, A. Schmidt and H. Hussmann, Perci: Pervasive Service Interaction with the Inter of Things, IEEE Inter Computing, vol. 13, no. 6, 2023.u [8] . Hui and . Culler, IPv6 in LowPower Wireless Networks, Proceedings of the IEEE, vol. PP, no. 99, 2023.u [9] K. Michael, G. Roussos, . Huang, A. Chattopadhyay, R. Gadh, . Prabhu and P. Chu, PlaaryScale RFID Services in an Age of Uberveillance, Proceedings of the IEEE, vol. 98, no. 9, 2023.u [10] . Hui and . Culler, IP is Dead, Long Live IP for Wireless Sensor Networks, in SenSys’08: Proceedings of the 6th ACM conference on Embedded work sensor systems, 2023. 上一頁 下一頁 清華大學(xué) 研究生課程120參考文獻 上一頁 下一頁 演講完畢，謝謝觀看！