[發明專利]用于在第一系統和第二系統之間約定協作的方法和設備

在審

• 申請號: 201980041572.5
• 申請日: 2019-05-22
• 公開（公告）號: CN112335201A
• 公開（公告）日: 2021-02-05
• 發明（設計）人: R·阿馬爾納特;A·諾德曼;N·沙爾曼;S·伯頓;P·芒克
• 申請（專利權）人: 羅伯特·博世有限公司
• 主分類號: H04L9/32
• 分類號: H04L9/32;H04W84/18;H04W4/46;G06Q20/36
• 代理公司: 中國專利代理(香港)有限公司 72001
• 代理人: 臧永杰;劉春元

一種用于在第一系統（11）和第二系統（12）之間約定協作的方法（10、30、40），其特征在于以下特征：?由第一系統（11）發送（14）第一系統（11）關于第二系統（12）的假設以及第一系統（11）對第二系統（12）的擔保，?由第二系統（12）發送（15）第二系統（12）關于第一系統（11）的假設以及第二系統（12）對第一系統（11）的擔保，?如果相互的假設和擔保彼此對應，則在第一系統（11）和第二系統（12）之間訂立數字安全合同，以及?在交易數據庫（13）中記錄安全合同。

技術領域

本發明涉及一種用于在第一系統和第二系統之間約定協作的方法。本發明此外涉及相應的設備、相應的計算機程序以及相應的存儲介質。

背景技術

在計算機網絡中每種協議被稱為分散式交易系統或交易數據庫（分布式賬本（distributed ledger）），所述協議在特定交易的次序方面引起達成一致（共識（concensus）），所述特定交易例如涉及數據更新。這種系統的常見表現形式利用區塊鏈（blockchain（區塊鏈））。

例如在US 9,794,074 B2中公開一種與區塊鏈連接的計算機系統。該計算機系統接收用于在與第一標志相關聯的第一數據交易和與第二標志相關聯的第二數據交易之間的一致性的一致性數據。基于存儲在區塊鏈中的數據產生第一區塊鏈交易。產生至少一個其他區塊鏈交易，該其他區塊鏈交易將一致性劃分為兩個不同的交易：一個交易在第一標志和調解人（Vermittler）之間，而第二交易在調解人之間。這些經由其他區塊鏈交易被采集在區塊鏈中。

發明內容

本發明提供根據獨立權利要求所述的用于在第一系統和第二系統之間約定協作的方法、相應的設備、相應的計算機程序以及相應的存儲介質。

根據本發明的方法基于以下認識：越來越多的安全關鍵系統在運行中必須協作。這些系統有時由不同的制造商開發。因此，這些系統必須與其他系統合作，所述其他系統的性能和特性在其設計的時刻是未知的。這種系統的示例是例如為了進行交通平順或調節或為了急救服務而彼此調換（austauschen）的異構車輛、構成車隊并且自動跟隨具有人類駕駛員的領先的載重汽車的高度自動化載重汽車、構成車隊并且自動跟隨領先的高度自動化載重汽車的條件自動化載重汽車、在飛機場或滑雪道上自動跟隨側向錯開的由人類駕馭的犁的掃雪機、與停車場上的領航系統合作的汽車、像一群人一樣（gleich einem Schwarm）為田地施肥或收割的農業機器人或者在行駛面上移動并且與其他機器人或者甚至人類協作用以履行共同任務的制造機器人。

由于可能的危害，應該對這些“系統中的系統”的運行安全性提出高的要求。為了在考慮安全性要求的情況下完成這種動態配置，在文獻中已經提出了所謂的安全合同（safety contracts）。在其設計的時刻，根據該方案為每個系統定義一系列（正式描述的）假設和擔保。在給定的假設下每個系統的擔保同樣可以利用已知的安全分析技術在設計的范圍中被分析。在運行時，潛在地合作的系統彼此交換其假設和擔保。于是，每個系統決定另一個系統的擔保是否對應于其假設。如果它們一致，則訂立安全合同，這意味著只要滿足每個系統的假設，自身的擔保也被滿足。假設和擔保也可以包含參數，以便能夠實現更多的靈活性。

例如應該考慮兩個高度自動化載重汽車，所述高度自動化載重汽車應該構成車隊。在此應該假設，車輛將會來自不同的制造商，但是在設計時間應該已經約定了安全合同格式和交換協議。一個載重汽車的假設可能在于，當該載重汽車所跟隨的載重汽車制動時，該載重汽車在預給定的時間間隔X內被告知。在這期間擔保可能在于，當該載重汽車自身制動時，在其側跟隨該載重汽車的載重汽車在預給定的時間間隔Y內被告知。顯然，只有在Y X時才能訂立安全合同并且因此才能構成車隊，兩個載重汽車必須檢驗這一點。