[發明專利]物聯網設備調度沖突檢測方法及系統

有效

• 申請號: 202110291182.2
• 申請日: 2021-03-18
• 公開（公告）號: CN113064666B
• 公開（公告）日: 2022-03-29
• 發明（設計）人: 金芝;陳小紅;邊寒
• 申請（專利權）人: 北京大學;華東師范大學
• 主分類號: G06F9/445
• 分類號: G06F9/445;G06F9/48
• 代理公司: 北京睿智保誠專利代理事務所(普通合伙) 11732
• 代理人: 韓迎之

本發明公開了一種物聯網設備調度沖突檢測方法，涉及物聯網技術領域，具體步驟包括：獲取設備模型數據，根據設備模型數據，將設備調度指令轉換成條件指令；根據歷史數據中設備調度沖突確定調度沖突規則；基于調度沖突規則檢測條件指令是否為沖突狀態；若為沖突狀態，進行第一沖突消解；若為未沖突狀態或沖突消解后執行二次檢測；二次檢測將條件指令轉換成SMT公式，并將SMT公式輸入SMT求解器進行檢測，判斷是否為沖突狀態；若為沖突狀態，進行第二沖突消解；若為未沖突狀態或沖突消解后執行所述條件指令。本發明保證物聯網不同服務間的一致性，分別采用了基于規則和基于SMT求解器的方法，進行了沖突檢測。

技術領域

本發明涉及物聯網技術領域，具體涉及物聯網設備調度沖突檢測方法及系統。

背景技術

市場上已經出現了各種物聯網系統，它們由事件驅動的智能應用程序控制，這些應用程序將感應數據、用戶輸入或其他來自互聯網的外部觸發器作為輸入，并通過執行器指揮一個或多個智能設備提供不同形式的自動化。如今互聯智能設備的數量正在急劇增加，從2010年的125億臺到今年的500億臺。預計在2025年，全球范圍內將達到754.4億臺。

為了應對這一趨勢，在過去幾年中，各公司開始向普通消費者推銷智能設備，為大眾市場的普適計算創造了動力。因此，長期以來在學術文獻中討論的給終端用戶提供工具對環境進行編程的想法，現在正在為更多的人提供可能。它們通常采用 IF trigger，THENaction 的形式，如 IF溫度超過25攝氏度，THEN打開空調，這被稱為觸發動作編程(TAP)，很多平臺都支持TAP，如IFTTT、蘋果的Homekit和亞馬遜的Alexa。

遺憾的是，這些平臺并沒有提出措施來保障物聯網不同服務間的一致性，容易出現一致性問題。一致性問題指有某條規則本身就不可能發生或者兩條或兩條以上的規則之間出現沖突，對于軟件系統來說，任何由于不一致導致的差錯，都可能在現實世界中產生后果，甚至對用戶的財產、生命造成威脅。在物聯網系統中，使用TAP進行用戶編程時，用戶并不會去考慮一致性問題，使得這些問題更加突出。

因此，如何提供一種保證物聯網不同服務間的一致性的物聯網設備調度沖突檢測方法及系統是本領域技術人員亟需解決的問題。

發明內容

有鑒于此，本發明提供了一種物聯網設備調度沖突檢測方法及系統，保證物聯網不同服務間的一致性，分別采用了基于規則和基于SMT求解器的方法，進行了沖突檢測。

為了實現上述目的，本發明提供如下技術方案：

一種物聯網設備調度沖突檢測方法，具體步驟包括：

獲取設備模型數據，其中所述設備模型包括設備自動機和設備注冊表；

根據所述設備模型數據，將設備調度指令轉換成條件指令；

根據歷史數據中設備調度沖突確定調度沖突規則；

基于所述調度沖突規則檢測所述條件指令是否為沖突狀態；

若為沖突狀態，進行第一沖突消解；若為未沖突狀態或沖突消解后執行二次檢測；

所述二次檢測將條件指令轉換成SMT公式，并將所述SMT公式輸入SMT求解器進行檢測，判斷是否為沖突狀態；

若為沖突狀態，進行第二沖突消解；若為未沖突狀態或沖突消解后執行所述條件指令。

優選的，在上述的一種物聯網設備調度沖突檢測方法中，所述設備調度指令轉換成條件指令具體步驟包括：

從設備注冊表中獲取物聯網設備的待執行操作語句；

根據所述待執行操作語句確定API；

通過所述狀態自動機確定所述API 的待觸發狀態語句；所述待觸發狀態語句替換所述待執行語句；