【正文】 接口的定義指明了命令和事件是異步還是同步 u中斷（異步函數(shù)）可以執(zhí)行同步函數(shù)的唯一方法就是post一個(gè)任務(wù) u使用原子語(yǔ)句塊來(lái)實(shí)現(xiàn)對(duì)臨界數(shù)據(jù)的訪問(wèn) 上一頁(yè) 下一頁(yè) 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 上一頁(yè) 下一頁(yè) Complete TinyOS Application109 上一頁(yè) 下一頁(yè) 清華大學(xué) 研究生課程110ContikiuContiki是瑞典計(jì)算機(jī)科學(xué)研究所Adam Dunkels 等人專為內(nèi)存資源非常有限的嵌入式系統(tǒng)如網(wǎng)絡(luò)傳感器節(jié)點(diǎn)等開(kāi)發(fā)的一個(gè)多任務(wù)操作系統(tǒng)uContiki完全用 C語(yǔ)言寫(xiě)成 ,源代碼開(kāi)放（遵循 BSD協(xié)議） ,支持網(wǎng)絡(luò)互聯(lián) ,具有高度的移植性 ,代碼量非常小 ,支持從 8位微控制器構(gòu)成的嵌入式系統(tǒng)到老式的 8位家用電腦 上一頁(yè) 下一頁(yè) 清華大學(xué) 研究生課程111ContikiuContiki包括一個(gè)多任務(wù)核心、 TCP/IP 、程序集以及低能耗的無(wú)線通訊堆棧u使用 uIP協(xié)議棧實(shí)現(xiàn)本地 TCP / IP協(xié)議 ,可以在直接相連的終端和通過(guò)網(wǎng)絡(luò)相連的終端 (如虛擬網(wǎng)絡(luò)計(jì)算機(jī)和 Tel)上實(shí)現(xiàn)圖形化界面系統(tǒng) 上一頁(yè) 下一頁(yè) 清華大學(xué) 研究生課程112提綱u物聯(lián)網(wǎng)的提出u常見(jiàn)應(yīng)用場(chǎng)景u物聯(lián)網(wǎng)體系結(jié)構(gòu)u物聯(lián)網(wǎng)協(xié)議層次u硬件平臺(tái)與操作系統(tǒng) u主要研究問(wèn)題 上一頁(yè) 下一頁(yè) 2023年 973計(jì)劃資助項(xiàng)目u物聯(lián)網(wǎng)的基礎(chǔ)理論與實(shí)踐研究– 首席科學(xué)家：劉海濤 中科院上海微系統(tǒng)與信息技術(shù)研究所u物聯(lián)網(wǎng)基礎(chǔ)理論和設(shè)計(jì)方法研究– 首席科學(xué)家：趙偉 同濟(jì)大學(xué)u物聯(lián)網(wǎng)體系結(jié)構(gòu)基礎(chǔ)研究– 首席科學(xué)家：馬華東 北京郵電大學(xué)清華大學(xué) 研究生課程113 上一頁(yè) 下一頁(yè) 清華大學(xué) 研究生課程114物聯(lián)網(wǎng)關(guān)聯(lián)表征與體系架構(gòu)研究u針對(duì)物聯(lián)網(wǎng)的強(qiáng)關(guān)聯(lián)性、非確定性、高混雜性等特征，圍繞物聯(lián)網(wǎng)關(guān)聯(lián)模型、標(biāo)識(shí)體系、安全架構(gòu)與架構(gòu)體系等開(kāi)展研究，以建立物聯(lián)網(wǎng)的基礎(chǔ)理論和架構(gòu)體系為目標(biāo)，力爭(zhēng)在物聯(lián)網(wǎng)的關(guān)聯(lián)模型、系統(tǒng)架構(gòu)等方面取得相關(guān)的理論成果u研究?jī)?nèi)容：– 物聯(lián)網(wǎng)關(guān)聯(lián)模型與表征– 可擴(kuò)展物聯(lián)網(wǎng)標(biāo)識(shí)體系– 物聯(lián)網(wǎng)安全架構(gòu)– 面向演進(jìn)的物聯(lián)網(wǎng)架構(gòu)體系 上一頁(yè) 下一頁(yè) 清華大學(xué) 研究生課程115物聯(lián)網(wǎng)異構(gòu)融合和自治機(jī)理研究u研究物聯(lián)網(wǎng)的自治模型，以及場(chǎng)景察覺(jué)、資源配置和優(yōu)化、自愈合和自保護(hù)等機(jī)理，研究物聯(lián)網(wǎng)的自治子網(wǎng)間的協(xié)作管理和具有可增量部署特征的物聯(lián)網(wǎng)的異構(gòu)網(wǎng)絡(luò)融合機(jī)制，形成物聯(lián)網(wǎng)的自治理論和方法u研究?jī)?nèi)容：– 物聯(lián)網(wǎng)的自治模型– 高混雜條件下物聯(lián)網(wǎng)的場(chǎng)景覺(jué)察機(jī)理– 非確定條件下物聯(lián)網(wǎng)的自配置與優(yōu)化機(jī)理– 復(fù)雜動(dòng)態(tài)場(chǎng)景下物聯(lián)網(wǎng)的自愈合與自保護(hù)機(jī)理– 自治子網(wǎng)間協(xié)作管理機(jī)理– 可增量部署的物聯(lián)網(wǎng)異構(gòu)網(wǎng)絡(luò)融合機(jī)制 上一頁(yè) 下一頁(yè) 清華大學(xué) 研究生課程116物聯(lián)網(wǎng)混雜信息融合與決策研究u圍繞物聯(lián)網(wǎng)信息融合與決策服務(wù)需求，以解決混雜條件下信息融合與決策、數(shù)據(jù)處理的隱私保護(hù)等問(wèn)題為目標(biāo)，研究物聯(lián)網(wǎng)在信息采集、融合和決策控制等過(guò)程中信息的內(nèi)在關(guān)聯(lián)，對(duì)多源異構(gòu)信息進(jìn)行多層次匯聚、處理、融合和決策u研究?jī)?nèi)容：– 物聯(lián)網(wǎng)信息處理與服務(wù)模型– 物聯(lián)網(wǎng)混雜信息融合– 物聯(lián)網(wǎng)復(fù)雜關(guān)系鏈挖掘– 物聯(lián)網(wǎng)主動(dòng)決策與互動(dòng)控制– 物聯(lián)網(wǎng)數(shù)據(jù)處理的隱私保護(hù) 上一頁(yè) 下一頁(yè) 清華大學(xué) 研究生課程117物聯(lián)網(wǎng)可信軟件設(shè)計(jì)理論與方法研究u基于物聯(lián)網(wǎng)環(huán)境中連續(xù)世界與離散計(jì)算的結(jié)合性、實(shí)時(shí)性、可預(yù)測(cè)性、動(dòng)態(tài)演化性等特征，建立物聯(lián)網(wǎng)可信軟件的設(shè)計(jì)方法及相應(yīng)的推理機(jī)制，研究形式化描述方法和推理理論，為物聯(lián)網(wǎng)可信軟件系統(tǒng)分析與建模的研究提供數(shù)學(xué)模型和驗(yàn)證手段，支持物聯(lián)網(wǎng)系統(tǒng)分析和驗(yàn)證u研究?jī)?nèi)容：– 物聯(lián)網(wǎng)可信軟件設(shè)計(jì)方法– 物聯(lián)網(wǎng)可信軟件推理理論– 物聯(lián)網(wǎng)可信軟件建模方法– 物聯(lián)網(wǎng)可信軟件分析與驗(yàn)證技術(shù) 上一頁(yè) 下一頁(yè) 清華大學(xué) 研究生課程118物聯(lián)網(wǎng)系統(tǒng)優(yōu)化機(jī)理研究u在物聯(lián)網(wǎng)自治管理、信息融合處理和軟件設(shè)計(jì)的研究基礎(chǔ)上，進(jìn)一步從感知、傳輸、信息處理和決策控制等多個(gè)層次出發(fā)，研究物聯(lián)網(wǎng)在非確定及混雜異構(gòu)環(huán)境下的系統(tǒng)優(yōu)化機(jī)理，通過(guò)運(yùn)用解耦、博弈、約束優(yōu)化等理論和技術(shù)，實(shí)現(xiàn)系統(tǒng)的物理、通信及計(jì)算等資源的優(yōu)化利用，以達(dá)到系統(tǒng)性能的整體提升u研究?jī)?nèi)容：– 面向可靠感知的物聯(lián)網(wǎng)多級(jí)優(yōu)化機(jī)制– 物聯(lián)網(wǎng)無(wú)線頻譜的優(yōu)化調(diào)度與分配機(jī)制– 非確定環(huán)境下的物聯(lián)網(wǎng)可靠數(shù)據(jù)傳輸機(jī)制– 面向信息決策的物聯(lián)網(wǎng)資源協(xié)同優(yōu)化機(jī)制– 物聯(lián)網(wǎng)系統(tǒng)跨層優(yōu)化機(jī)制 上一頁(yè) 下一頁(yè) 清華大學(xué) 研究生課程119參考文獻(xiàn)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. 上一頁(yè) 下一頁(yè) 清華大學(xué) 研究生課程120參考文獻(xiàn) 上一頁(yè) 下一頁(yè) 演講完畢，謝謝觀看！。可搶占運(yùn)行的函數(shù)用 async 標(biāo)識(shí)，同步運(yùn)行的函數(shù)用 syncunesC的規(guī)則是：異步函數(shù)調(diào)用的命令和事件也必須是異步的。程序運(yùn)行時(shí)，有兩個(gè)執(zhí)行線程：任務(wù)和事件。任務(wù)中也可以調(diào)用命令u TinyOS TinyOS組件。// 拋出任務(wù) 上一頁(yè) 下一頁(yè) 清華大學(xué) 研究生課程106 u TinyOS的調(diào)度器實(shí)現(xiàn)了任務(wù)和事件的兩級(jí)調(diào)度u 任務(wù)之間不能互相搶占 ，底層硬件中斷觸發(fā)事件，事件能搶占任務(wù)，事件之間也能互相搶占。 event void runTask(uint16_t param)。通常情況下，任務(wù)接口包含一個(gè)異步（ async）的 post命令和一個(gè) run事件，這些函數(shù)的具體聲明由接口決定。定義了接口及如何使用接口表達(dá)組件之間關(guān)系的方法216。 上一頁(yè) 下一頁(yè) 清華大學(xué) 研究生課程100監(jiān)控軟件 uMoteView客戶端– 可繪制歷史和實(shí)時(shí)的監(jiān)測(cè)數(shù)據(jù)– 提供拓?fù)鋱D、數(shù)據(jù)輸出功能、節(jié)點(diǎn)編程– 提供對(duì)無(wú)線傳感器網(wǎng)絡(luò)發(fā)送命令 上一頁(yè) 下一頁(yè) 清華大學(xué) 研究生課程101網(wǎng)絡(luò)平臺(tái)系統(tǒng)網(wǎng)關(guān) MIB520網(wǎng)絡(luò)協(xié)調(diào)器節(jié)點(diǎn)設(shè)備6LoWPAN 數(shù)據(jù)演示管理 上一頁(yè) 下一頁(yè) 清華大學(xué) 研究生課程102操作系統(tǒng)uTinyOSuContiki 上一頁(yè) 下一頁(yè) 清華大學(xué) 研究生課程103TinyOS特點(diǎn)擁有專屬的編程語(yǔ)言 (NesC)開(kāi)放源代碼 (遵循 BSD協(xié)議 )代碼短小精悍 支持網(wǎng)絡(luò)協(xié)議組件的替換Task和 Events管理并發(fā)進(jìn)程基于組件的軟件工程建構(gòu) 上一頁(yè) 下一頁(yè) 清華大學(xué) 研究生課程104