(12)發(fā)明專利PCT/CN2020/1007412020地址518129廣東省深圳市龍崗區(qū)坂田華務(wù)所(普通合伙)44285H04L41/142(2022.01)審查員李福濤權(quán)利要求書3頁說明書16頁附圖11頁本發(fā)明涉及一種用于支持時(shí)間敏感網(wǎng)絡(luò)多個(gè)實(shí)體各自的TSN控制面模型來獲得所述一個(gè)備還基于所述一個(gè)或更多個(gè)實(shí)體的符號(hào)語言來集成符號(hào)語言指示所述通信網(wǎng)絡(luò)中的所述一個(gè)所述設(shè)備基于所述集成符號(hào)語言來獲得所述通121.一種用于支持時(shí)間敏感網(wǎng)絡(luò)TSN操作的設(shè)備(100),其特征在于，所述設(shè)備(100)用確定通信網(wǎng)絡(luò)(1)的一個(gè)或更多個(gè)實(shí)體(11,12,13)中的每個(gè)實(shí)體的TSN控制面模型基于所述通信網(wǎng)絡(luò)(1)的所述一個(gè)或更多個(gè)實(shí)體(11,12,13)各自的TSN控制面模型(101,102,103),來獲得所述一個(gè)或更多個(gè)實(shí)體(11,12,13)中的每個(gè)實(shí)體的符號(hào)語言(111,基于所述一個(gè)或更多個(gè)實(shí)體(11,12,13)的符號(hào)語言(111,112,113),來獲得所述通信網(wǎng)絡(luò)(1)的集成符號(hào)語言(120),其中，所述集成符號(hào)語言(120)指示所述通信網(wǎng)絡(luò)(1)中的所述一個(gè)或更多個(gè)實(shí)體(11,12,13)之間的一種或更多種關(guān)系；以及基于所述集成符號(hào)語言(120)來獲得所述通信網(wǎng)絡(luò)(1)的TSN驗(yàn)證模型(130)。2.根據(jù)權(quán)利要求1所述的設(shè)備(100),其特征在于，還用于：基于所述通信網(wǎng)絡(luò)(1)的TSN驗(yàn)證模型(130)來確定TSN配置和/或TSN配置的改變的有效性。3.根據(jù)權(quán)利要求1所述的設(shè)備(100),其特征在于：所述集成符號(hào)語言(120)包括與所述一個(gè)或更多個(gè)實(shí)體(11,12,13)之間的一種或更多種關(guān)系以及/或者所獲得的所述一個(gè)或更多個(gè)實(shí)體(11,12,13)的TSN控制面模型(101,102,103)之間的一種或更多種其他關(guān)系相關(guān)的信息。4.根據(jù)權(quán)利要求1至3中任一項(xiàng)所述的設(shè)備(100),其特征在于：每個(gè)實(shí)體(11,12,13)的TSN控制面模型(101,102,103)是基于該實(shí)體(11,12,13)提供的功能來獲得的。5.根據(jù)權(quán)利要求1至3中任一項(xiàng)所述的設(shè)備(100),其特征在于，還用于：獲得所述通信網(wǎng)絡(luò)(1)的所述一個(gè)或更多個(gè)實(shí)體(11,12,13)中的每個(gè)實(shí)體的TSN數(shù)據(jù)面模型(301,302,303)。6.根據(jù)權(quán)利要求5所述的設(shè)備(100),其特征在于：所述通信網(wǎng)絡(luò)(1)的TSN驗(yàn)證模型(130)是還基于所述TSN數(shù)據(jù)面模型(301,302,303)中的至少一個(gè)TSN數(shù)據(jù)面模型來獲得的。7.根據(jù)權(quán)利要求1至3中任一項(xiàng)所述的設(shè)備(100),其特征在于，還用于：從外部庫或從外部工具接收層2或?qū)?或所述TSN操作的驗(yàn)證模型；基于接收到的驗(yàn)證模型來更新所述集成符號(hào)語言(120);以及基于經(jīng)更新的集成符號(hào)語言來更新所述通信網(wǎng)絡(luò)(1)的TSN驗(yàn)證模型(130)。8.根據(jù)權(quán)利要求5所述的設(shè)備(100),其特征在于，還用于：基于所述分析的結(jié)果來進(jìn)一步更新所述通信網(wǎng)絡(luò)(1)的TSN驗(yàn)證模型(130)。9.根據(jù)權(quán)利要求1至3中任一項(xiàng)所述的設(shè)備(100),其特征在于，還用于：另外基于所述通信網(wǎng)絡(luò)(1)的特征來獲得所述通信網(wǎng)絡(luò)(1)的TSN驗(yàn)證模型(130)。10.根據(jù)權(quán)利要求9所述的設(shè)備(100),其特征在于，所述通信網(wǎng)絡(luò)(1)的特征包括：所述通信網(wǎng)絡(luò)(1)在驗(yàn)證過程期間的虛擬局域網(wǎng)VLAN狀態(tài)3所述通信網(wǎng)絡(luò)(1)在驗(yàn)證過程期間的精確時(shí)間協(xié)議PTP狀態(tài)。11.根據(jù)權(quán)利要求1至3中任一項(xiàng)所述的設(shè)備(100),其特征在于，包括：在所述設(shè)備(100)與所述通信網(wǎng)絡(luò)(1)的至少一個(gè)實(shí)體之間執(zhí)行與所述TSN驗(yàn)證模型(130)相關(guān)的通信。12.根據(jù)權(quán)利要求1至3中任一項(xiàng)所述的設(shè)備(100),其特征在于，還用于：在獲得所述通信網(wǎng)絡(luò)(1)的TSN驗(yàn)證模型(130)之前，在實(shí)體(11,12,13)的TSN控制面模型(101,102,103)未知的情況下，得出所述實(shí)體(11,12,13)的控制面模型。13.根據(jù)權(quán)利要求1至3中任一項(xiàng)所述的設(shè)備(100),其特征在于，還用于：接收改變給定TSN配置的請求；基于所述集成符號(hào)語言(120)來確定所述給定TSN配置的配置錯(cuò)誤和配置質(zhì)量；以及提供驗(yàn)證結(jié)果，特別是對所述給定TSN配置的所述改變是否應(yīng)當(dāng)被容許。14.根據(jù)權(quán)利要求13所述的設(shè)備(100),其特征在于，還用于：在對所述給定TSN配置的所述改變被確定為不被容許的情況下，處理拒絕錯(cuò)誤；以及通過向TSN配置驗(yàn)證模塊的調(diào)用函數(shù)提供一組推薦來協(xié)商所述拒絕錯(cuò)誤。15.根據(jù)權(quán)利要求1至3中任一項(xiàng)所述的設(shè)備(100),其特征在于，還用于：基于所述通信網(wǎng)絡(luò)(1)的TSN驗(yàn)證模型(130)對驗(yàn)證參數(shù)進(jìn)行驗(yàn)證，所述驗(yàn)證參數(shù)包括：TSN配置與所述通信網(wǎng)絡(luò)的層2或?qū)?方面的聯(lián)合調(diào)查；所述通信網(wǎng)絡(luò)中講者對聽者的可達(dá)性；在時(shí)間感知整形、或異步時(shí)間整形操作的驗(yàn)證、或循環(huán)排隊(duì)和轉(zhuǎn)發(fā)的情況下，候選調(diào)度器的穩(wěn)態(tài)存在性；有界路徑長度；有界延遲；搶占能力。16.根據(jù)權(quán)利要求1至3中任一項(xiàng)所述的設(shè)備(100),其特征在于：所述設(shè)備(100)被結(jié)合到以下項(xiàng)中：集中式網(wǎng)絡(luò)控制器CNC,或17.一種用于支持時(shí)間敏感網(wǎng)絡(luò)TSN操作的設(shè)備(200),其特征在于，所述設(shè)備(200)用確定通信網(wǎng)絡(luò)(1)的一個(gè)或更多個(gè)TSN橋(21,22,23)中的每個(gè)TSN橋的TSN控制面模型基于所述通信網(wǎng)絡(luò)(1)的所述一個(gè)或更多個(gè)TSN橋(21,22,23)各自的TSN控制面模型(201,202,203),來獲得所述一個(gè)或更多個(gè)TSN橋(21,22,23)中的每個(gè)TSN橋的符號(hào)語言(211,212,213);以及基于兩個(gè)或更多個(gè)TSN橋(21,22,23)各自的符號(hào)語言(201,202,203),來獲得分布在所述兩個(gè)或更多個(gè)TSN橋(21,22,23)上的所述通信網(wǎng)絡(luò)(1)的分布式TSN驗(yàn)證模型(230)。4確定(1001)通信網(wǎng)絡(luò)(1)的一個(gè)或更多個(gè)實(shí)體(11,12,13)中的每個(gè)實(shí)體的TSN控制面模型(101,102,103);基于所述通信網(wǎng)絡(luò)(1)的所述一個(gè)或更多個(gè)實(shí)體(11,12,13)各自的TSN控制面模型(101,102,103),來獲得(1002)所述一個(gè)或更多個(gè)實(shí)體(11,12,13)中的每個(gè)實(shí)體的符號(hào)語言(111,112,113);基于所述一個(gè)或更多個(gè)實(shí)體(11,12,13)的符號(hào)語言(111,112,113),來獲得(1003)所述通信網(wǎng)絡(luò)(1)的集成符號(hào)語言(120),其中，所述集成符號(hào)語言(120)指示所述通信網(wǎng)絡(luò)確定(1101)通信網(wǎng)絡(luò)(1)的一個(gè)或更多個(gè)TSN橋(21基于所述通信網(wǎng)絡(luò)(1)的所述一個(gè)或更多個(gè)TSN橋(21,22,23)各自的TSN控制面模型(201,202,203),來獲得(1102)所述一個(gè)或更多個(gè)TSN橋(21,22,23)中的每個(gè)TSN橋的符號(hào)語言(211,212,213);以及基于兩個(gè)或更多個(gè)TSN橋(21,22,23)各自的符號(hào)語言(201,202,203),來獲得(1103)分布在所述兩個(gè)或更多個(gè)TSN橋(21,22,23)上的所述通信網(wǎng)絡(luò)(1)的分布式TSN驗(yàn)證模型在由處理器執(zhí)行時(shí)，使根據(jù)權(quán)利要求19所述的方法(1000)或根據(jù)權(quán)利要求20所述的方法5使用時(shí)間敏感網(wǎng)絡(luò)(TSN)配置驗(yàn)證的TSN操作的支持裝置技術(shù)領(lǐng)域sensitivenetwork,TSN),特別是IEEETSN。為此，本發(fā)明提供用于支持TSN方法。該設(shè)備和方法可以基于語義建模過程來執(zhí)行TSN配置驗(yàn)證。例如，本發(fā)明的設(shè)備和/或方法可以獲得通信網(wǎng)絡(luò)的集成符號(hào)語言。此外，該設(shè)備和/或方法可以基于通信網(wǎng)絡(luò)的集成符號(hào)語言來獲得通信網(wǎng)絡(luò)的TSN驗(yàn)證模型。背景技術(shù)一個(gè)或更多個(gè)傳送數(shù)據(jù)的要求。[0003]例如，常規(guī)設(shè)備提供TSN擴(kuò)展以增強(qiáng)常規(guī)橋的轉(zhuǎn)發(fā)面，以便不僅能夠通過吞吐量而且能夠通過延遲和抖動(dòng)來提供確定性性能。TSN感知系統(tǒng)進(jìn)行操作使得每個(gè)單獨(dú)隊(duì)列可以有其自己的調(diào)度算法，同時(shí)傳輸調(diào)度算法在時(shí)間觸發(fā)的處理中對傳輸門進(jìn)行控制。此外，使用最佳調(diào)度算法來控制傳輸門，可以在精確的時(shí)間傳輸幀，從而將由于阻塞而引起的等待時(shí)間降低到納秒級(jí)，而且還確保低延遲變化。[0005]此外，一些設(shè)備和方法可以提供TSN控制面功能。下面討論提供TSN控制面的三種方法。[0006]常規(guī)方法基于完全集中式方法，其中，TSN橋由集中式網(wǎng)絡(luò)控制(centralizednetworkcontrol,CNC)實(shí)體控制，并且端點(diǎn)由集中式用戶控制器(centralizeduser[0007]常規(guī)方法基于使用完全分布式協(xié)議的配置。完全分布式方法的開發(fā)目前正在進(jìn)行設(shè)計(jì)利用鏈路注冊協(xié)議(linkregistrationprotocol,LRP)底層傳輸?shù)馁Y源分配協(xié)議[0008]常規(guī)方法基于：使用CNC來負(fù)責(zé)TSN橋的配置和控制以及使用用戶網(wǎng)絡(luò)接口(usernetworkinterface,UNI)將端點(diǎn)連接到接入橋的混合式模式。[0009]此外，對于使用混合式控制面模式的最后一種情況，還提出了流預(yù)留協(xié)議(streamreservationprotocol,SRP)增強(qiáng)以支持可以用于例如公告流屬性的TSN功能。此外，已經(jīng)基于應(yīng)用領(lǐng)域指定了一些TSN配置文件，例如，以用于說明針對給定用例應(yīng)當(dāng)應(yīng)用哪些標(biāo)TSN配置文件、用于汽車車載以太網(wǎng)通信的TSN配置文件、用于移動(dòng)前傳網(wǎng)絡(luò)的TSN配置文件、用于服務(wù)提供商網(wǎng)絡(luò)的TSN配置文件等提出了這樣的常規(guī)TSN配置文件。[0010]然而，常規(guī)的基于TSN的設(shè)備和方法利用靜態(tài)和定制化的配置實(shí)現(xiàn)，并且僅在管理信息庫(managementinformationbase,MIB)與標(biāo)準(zhǔn)中定義的完全相同時(shí)才與標(biāo)準(zhǔn)對準(zhǔn)。關(guān)驗(yàn)證方面有關(guān)的活動(dòng)。此外，在集中式配置或混合式配置的情況下，所進(jìn)行的唯一驗(yàn)證動(dòng)6作基于諸如Netconf的管理協(xié)議所使用的相關(guān)YANG模型。例如，針對Netconf消息接收事件，對Netconf消息進(jìn)行詳細(xì)分析并進(jìn)行YANG模型驗(yàn)證，以確保例如所請求的操作在服務(wù)器端發(fā)明內(nèi)容[0011]鑒于上述問題和缺點(diǎn)，本發(fā)明的實(shí)施例旨在對用于支持TSN配置驗(yàn)證操作的常規(guī)設(shè)備和方法進(jìn)行改進(jìn)。[0012]目的是以簡單的方式確定(例如，得出)TSN控制面(controlplane)和/或所得數(shù)據(jù)面(dataplane)的抽象模型。具體地，這應(yīng)當(dāng)基于語義建模來完成。另一目的是檢測TSN網(wǎng)絡(luò)配置錯(cuò)誤，例如通過分析配置文件并主動(dòng)地發(fā)現(xiàn)錯(cuò)誤來檢測TSN網(wǎng)絡(luò)配置錯(cuò)誤。另一目的是禁止違反策略或可能導(dǎo)致通信網(wǎng)絡(luò)性能降級(jí)的改變。另一目的是例如使用由設(shè)備確定的驗(yàn)證模型來實(shí)時(shí)地檢查全網(wǎng)變量(network-widevariable)。另一目的是通過語義建模和邏輯公式檢查來執(zhí)行廣泛的主動(dòng)控制和驗(yàn)證過程，以描述它們之間的狀態(tài)和關(guān)系。[0013]上述目的通過所附獨(dú)立權(quán)利要求中所描述的本發(fā)明的實(shí)施例來實(shí)現(xiàn)。在從屬權(quán)利要求中進(jìn)一步限定了本發(fā)明的實(shí)施例的有利實(shí)現(xiàn)方式。[0014]本發(fā)明的第一方面提供一種用于支持時(shí)間敏感網(wǎng)絡(luò)操作的設(shè)備，該設(shè)備用于：確定通信網(wǎng)絡(luò)的一個(gè)或更多個(gè)實(shí)體中的每個(gè)實(shí)體的TSN控制面模型；基于通信網(wǎng)絡(luò)的一個(gè)或更多個(gè)實(shí)體各自的TSN控制面模型來獲得該一個(gè)或更多個(gè)實(shí)體中的每個(gè)實(shí)體的符號(hào)語言；基于一個(gè)或更多個(gè)實(shí)體的符號(hào)語言來獲得通信網(wǎng)絡(luò)的集成符號(hào)語言，其中，集成符號(hào)語言指示通信網(wǎng)絡(luò)中的一個(gè)或更多個(gè)實(shí)體之間的一種或更多種關(guān)系；以及基于集成符號(hào)語言來獲得通信網(wǎng)絡(luò)的TSN驗(yàn)證模型。[0015]該設(shè)備可以是電子設(shè)備或者可以結(jié)合在電子設(shè)備中，所述電子設(shè)備例如個(gè)人計(jì)算智能電話等。[0016]該設(shè)備用于確定通信網(wǎng)絡(luò)的一個(gè)或更多個(gè)實(shí)體的TSN控制面。實(shí)體可以是通信網(wǎng)絡(luò)中支持TSN功能中的一個(gè)或更多個(gè)TSN功能的物理實(shí)體或虛擬實(shí)體。這樣的實(shí)體可以是體的控制面可以包括得出每個(gè)實(shí)體的抽象控制面。例如，通信網(wǎng)絡(luò)的每個(gè)實(shí)體可以支持一[0017]此外，該設(shè)備用于以獨(dú)立于廠商的方式獲得每個(gè)控制面的符號(hào)語言并確定抽象控制面。實(shí)體的符號(hào)語言是每個(gè)網(wǎng)絡(luò)參數(shù)或操作由符號(hào)表示的語言。[0018]例如，根據(jù)802.1Qcw,針對調(diào)度業(yè)務(wù)(ScheduledTraffic)的基本操作是SetGateStates并且其關(guān)聯(lián)參數(shù)被分組在sgs-parameters容器中。此外，如果支持幀搶占，則可以執(zhí)行兩個(gè)附加操作，即Set-And-Hold-MAC和Set-And-Release-MAC。它們的關(guān)聯(lián)參數(shù)分別是shm-parameters和srm-parameters。例如，在符號(hào)語言中，引入布爾變量“preemption_enabled”來描述搶占支持的存在或缺失。作為另一示例，可以使用“mac_addr_port_0”來表示端口0的mac地址。此外，符號(hào)語言還被用于模型依賴性、數(shù)據(jù)面約束和7[0019]針對每個(gè)設(shè)備設(shè)計(jì)符號(hào)模型。在針對每個(gè)設(shè)備得出所有符號(hào)模型之后，在隨后步驟中，構(gòu)建集成驗(yàn)證符號(hào)語言，該集成驗(yàn)證符號(hào)語言還可以捕獲設(shè)備和模型之間的依賴性，以便執(zhí)行端到端驗(yàn)證測試。[0020]例如，第一方面的設(shè)備可以獲得TSN控制面模型，該TSN控制面模型可以用于網(wǎng)絡(luò)驗(yàn)證。該設(shè)備可以具有可以確定驗(yàn)證模型的驗(yàn)證模塊。網(wǎng)絡(luò)驗(yàn)證可以主動(dòng)地并且在問題被應(yīng)用之前識(shí)別問題。此外，為了具有集成功能TSN系統(tǒng)，自動(dòng)網(wǎng)絡(luò)驗(yàn)證不僅可以針對抽象控制面考慮網(wǎng)絡(luò)模型，而且還可以針對由于配置而產(chǎn)生的所得數(shù)據(jù)面考慮網(wǎng)絡(luò)模型，以便執(zhí)行端到端多廠商驗(yàn)證。信網(wǎng)絡(luò)的基于TSN的網(wǎng)絡(luò)的轉(zhuǎn)發(fā)面可能很復(fù)雜。此外，基于通信網(wǎng)絡(luò)中使用的配置文件，不同的控制面方面可以和諧地合作，以便具有集成功能系統(tǒng)。此外，考慮到多廠商環(huán)境下的操作，在假定例如相同的特征和接口可用的情況下，作為端-端配置的網(wǎng)絡(luò)驗(yàn)證可應(yīng)用于TSN[0022]第一方面的設(shè)備可以解決以下問題中的一個(gè)或更多個(gè)問題：[0024]·TSN驗(yàn)證機(jī)制可以在錯(cuò)誤發(fā)生并產(chǎn)生錯(cuò)誤的數(shù)據(jù)面之前找到錯(cuò)誤。[0025]·設(shè)備可以避免對已編排的端到端TSN控制面產(chǎn)生負(fù)面影響。[0026]·設(shè)備避免對可能影響總體TSN網(wǎng)絡(luò)性能的不良(bad)配置進(jìn)行驗(yàn)證。[0027]·設(shè)備可以實(shí)現(xiàn)具有端到端功能TSN網(wǎng)絡(luò)。例如，這樣的端到端TSN網(wǎng)絡(luò)可以考慮的方式工作或者被配置或被驗(yàn)證。[0028]·TSN驗(yàn)證模型可以用于主動(dòng)檢查TSN配置有效性。[0029]·所得數(shù)據(jù)面和/或控制面的符號(hào)抽象。[0032]·設(shè)備可以獲得控制面中的TSN符號(hào)語言解譯器。[0033]·設(shè)備能夠根據(jù)所使用的配置協(xié)議動(dòng)態(tài)地選擇驗(yàn)證模塊插件。[0034]例如，在多廠商TSN環(huán)境下，可以定義驗(yàn)證過程，并且還可以針對獨(dú)立于廠商實(shí)現(xiàn)的標(biāo)準(zhǔn)化配置驗(yàn)證方法來實(shí)現(xiàn)驗(yàn)證過程。此外，驗(yàn)證機(jī)制可以用于避免違反TSN約束和策略。TSN驗(yàn)證機(jī)制可以獨(dú)立于TSN配置文件，并且可以應(yīng)用于任何用例，如工業(yè)自動(dòng)化或汽[0035]該設(shè)備可以包括電路。該電路可以包括硬件和軟件。硬件可以包括模擬電路或數(shù)字電路，或者包括模擬電路和數(shù)字電路兩者。在一些實(shí)施例中，電路包括一個(gè)或更多個(gè)處理器以及與該一個(gè)或更多個(gè)處理器連接的非易失性存儲(chǔ)器。非易失性存儲(chǔ)器可以攜載可執(zhí)行程序代碼，該可執(zhí)行程序代碼在由一個(gè)或多個(gè)處理器執(zhí)行時(shí)使設(shè)備執(zhí)行本文所描述的操作或方法。[0036]在第一方面的實(shí)現(xiàn)方式中，該設(shè)備還用于基于通信網(wǎng)絡(luò)的TSN驗(yàn)證模型來確定TSN配置和/或TSN配置的改變的有效性。8[0037]特別地，該設(shè)備可以基于語義建模得出針對控制面和所得TSN數(shù)據(jù)面兩者的一個(gè)或更多個(gè)抽象模型。此外，可以針對配置驗(yàn)證定義驗(yàn)證過程。驗(yàn)證過程以及/或者配置驗(yàn)證協(xié)議或方法可以獨(dú)立于廠商實(shí)現(xiàn)。此外，可以避免分發(fā)和實(shí)施下述錯(cuò)誤配置，所述錯(cuò)誤配置可能導(dǎo)致整個(gè)網(wǎng)絡(luò)不穩(wěn)定，而不僅僅是針對所連接的節(jié)點(diǎn)。此外，可以避免違反TSN約束或動(dòng)化或汽車等。[0038]在第一方面的另一實(shí)現(xiàn)方式中，集成符號(hào)語言包括與一個(gè)或多個(gè)更實(shí)體之間的一種或更多種關(guān)系以及/或者所獲得的一個(gè)或更多個(gè)實(shí)體的TSN控制面模型之間的一種或更多種其他關(guān)系相關(guān)的信息。[0039]在第一方面的另一實(shí)現(xiàn)方式中，每個(gè)實(shí)體的TSN控制面模型是基于實(shí)體提供的功能來獲得的。[0040]在第一方面的另一實(shí)現(xiàn)方式中，該設(shè)備還用于獲得通信網(wǎng)絡(luò)的一個(gè)或更多個(gè)實(shí)體中的每個(gè)實(shí)體的TSN數(shù)據(jù)面模型。[0041]在第一方面的另一實(shí)現(xiàn)方式中，通信網(wǎng)絡(luò)的TSN驗(yàn)證模型是還基于TSN數(shù)據(jù)面模型中的至少一個(gè)TSN數(shù)據(jù)面模型來獲得的。[0042]在第一方面的另一實(shí)現(xiàn)方式中，通信網(wǎng)絡(luò)的TSN驗(yàn)證模型是還基于覆蓋整個(gè)網(wǎng)絡(luò)的總體TSN數(shù)據(jù)面模型來獲得的。[0043]在第一方面的另一實(shí)現(xiàn)方式中，該設(shè)備還用于：從外部庫或從外部工具接收層2或?qū)?或TSN操作的驗(yàn)證模型；基于所接收的驗(yàn)證模型來更新集成符號(hào)語言；以及基于經(jīng)更新的集成符號(hào)語言來更新通信網(wǎng)絡(luò)的TSN驗(yàn)證模型。[0044]特別地，該設(shè)備能夠通過TSN驗(yàn)證模型中的符號(hào)映射并入層2、層3或?qū)?外部工具聽者未同步或者它們無法彼此通信，則設(shè)備可能不會(huì)更新時(shí)間感知整形器的TSN配置。[0045]在第一方面的另一實(shí)現(xiàn)方式中，該設(shè)備還用于：對所獲得的TSN數(shù)據(jù)面模型進(jìn)行分析；基于該分析的結(jié)果來進(jìn)一步更新通信網(wǎng)絡(luò)的TSN驗(yàn)證模型。[0046]在第一方面的另一實(shí)現(xiàn)方式中，該設(shè)備還用于另外基于通信網(wǎng)絡(luò)的特征來獲得通[0047]在第一方面的另一實(shí)現(xiàn)方式中，通信網(wǎng)絡(luò)的特征包括通信網(wǎng)絡(luò)在驗(yàn)證過程期間的虛擬局域網(wǎng)(virtuallocalareanetwork,VLAN)狀態(tài)，或者通信網(wǎng)絡(luò)在驗(yàn)證過程期間的精確時(shí)間協(xié)議(precisiontimeprotocol,PTP)狀態(tài)。[0048]在第一方面的另一實(shí)現(xiàn)方式中，該設(shè)備包括網(wǎng)絡(luò)配置協(xié)議(networkconfigurationprotocol,NETCONF)接口，該網(wǎng)絡(luò)配置協(xié)議接口用于在該設(shè)備與通信網(wǎng)絡(luò)的至少一個(gè)實(shí)體之間執(zhí)行與TSN驗(yàn)證模型相關(guān)的通信。[0049]在第一方面的另一實(shí)現(xiàn)方式中，該設(shè)備還用于：在獲得通信網(wǎng)絡(luò)的TSN驗(yàn)證模型之[0050]在第一方面的另一實(shí)現(xiàn)方式中，該設(shè)備還用于：接收改變給定TSN配置的請求；基于集成符號(hào)語言來確定給定TSN配置的配置錯(cuò)誤和配置質(zhì)量；以及提供驗(yàn)證結(jié)果，特別是對給定TSN配置的所述改變是否應(yīng)當(dāng)被容許。9[0051]在第一方面的另一實(shí)現(xiàn)方式中，該設(shè)備還用于：在對給定TSN配置的改變被確定為不被容許的情況下，處理拒絕錯(cuò)誤；以及通過向TSN配置驗(yàn)證模塊的調(diào)用函數(shù)提供一組推薦來協(xié)商該拒絕錯(cuò)誤。[0052]特別地，該組推薦基于配置改變請求的導(dǎo)致所述拒絕的特定部分。[0053]在第一方面的另一實(shí)現(xiàn)方式中，該設(shè)備還用于基于通信網(wǎng)絡(luò)的TSN驗(yàn)證模型對驗(yàn)[0054]·TSN配置與通信網(wǎng)絡(luò)的層2或?qū)?方面的聯(lián)合調(diào)查；[0055]·通信網(wǎng)絡(luò)中講者對聽者的可達(dá)性；[0056]·在時(shí)間感知整形、或異步時(shí)間整形操作的驗(yàn)證、或者循環(huán)排隊(duì)和轉(zhuǎn)發(fā)的情況下，候選調(diào)度器的穩(wěn)態(tài)存在性；考慮(顧及)網(wǎng)絡(luò)配置機(jī)制，純層2方面還有層3方面的操作和狀態(tài)以及配置狀態(tài)，例如講者/[0061]例如，在一些實(shí)施例中，如果端點(diǎn)未連接，則可能不需要應(yīng)用(例如，極其復(fù)雜的)配置更新，或者如果訪問列表(accesslist,ACL)阻塞業(yè)務(wù)流，則可能不需要應(yīng)用新的時(shí)間感知轉(zhuǎn)發(fā)規(guī)則等。[0062]在第一方面的另一實(shí)現(xiàn)方式中，該設(shè)備被并入于：[0063]·集中式網(wǎng)絡(luò)控制器(centralizednetworkcontroller,CNC),或[0067]例如，該設(shè)備可以針對如802.1Qcc中所描述的完全集中式控制面和混合式控制面的情況獲得TSN驗(yàn)證模型。在如802.1Qdd中所描述的完全分布式TSN控制面的情況下，該設(shè)備可以應(yīng)用相同的原理。環(huán)排隊(duì)和轉(zhuǎn)發(fā)等，這些特征可以由設(shè)備例如由設(shè)備的驗(yàn)證模型考慮，或者用于確定TSN配置的有效性。[0069]在一些實(shí)施例中，該設(shè)備可以確定TSN配置的有效性。例如，該設(shè)備可以將“不良”TSN配置確定為無效。作為示例，不良配置可能會(huì)影響總體TSN網(wǎng)絡(luò)性能，因?yàn)橄嗷ヒ蕾囆詷O其復(fù)雜，并且在沒有自動(dòng)驗(yàn)證機(jī)制的情況下對相互依賴性進(jìn)行調(diào)查并不容易。需要說明的網(wǎng)絡(luò)，如果在每個(gè)步驟處引入搶占，則數(shù)據(jù)包到達(dá)不同步、統(tǒng)計(jì)復(fù)用無法被控制、并且借助于延遲或抖動(dòng)的性能保證性也無法被控制。作為802.1AS操作中關(guān)于802.1Qbv功能所需的時(shí)間同步的另一示例，如果連接的兩個(gè)端點(diǎn)上的SynAnnounceInterval值不同，則僅根據(jù)[0070]本發(fā)明的第二方面提供一種用于支持TSN的設(shè)備，該設(shè)備用于：確定通信網(wǎng)絡(luò)的一個(gè)或更多個(gè)TSN橋中的每個(gè)TSN橋的TSN控制面模型；基于通信網(wǎng)絡(luò)的一個(gè)或更多個(gè)TSN橋各自的TSN控制面模型來獲得該一個(gè)或更多個(gè)TSN橋中的每個(gè)TSN橋的符號(hào)語言；以及基于兩個(gè)或更多個(gè)TSN橋各自的符號(hào)語言，來獲得分布在所述兩個(gè)或更多個(gè)TSN橋上的通信網(wǎng)絡(luò)的[0071]該設(shè)備可以是電子設(shè)備或可以被并入電子設(shè)備，所述電子設(shè)備例如個(gè)人計(jì)算機(jī)、電話等。[0072]在分布式TSN控制面的情況下，驗(yàn)證設(shè)備可以啟用全局視角。此外，在完全分布式的情況下，可以應(yīng)用指定TSN設(shè)備(如橋或交換機(jī))中的帶內(nèi)驗(yàn)證。[0073]此外，在一些實(shí)施例中，可以針對第一方面的設(shè)備或第二方面的設(shè)備提供用TSN指這樣的：如果驗(yàn)證結(jié)果為否定，則第一方面的設(shè)備或第二方面的設(shè)備可以指定新的接口來觸發(fā)新的事件，以使用TSN控制面通過反饋環(huán)路來更新、糾正或改進(jìn)配置。[0074]第二方面的設(shè)備可以與第一方面的設(shè)備相似或相同。第二方面的設(shè)備實(shí)現(xiàn)了針對第一方面的設(shè)備描述的優(yōu)點(diǎn)和效果。[0075]在第二方面的實(shí)現(xiàn)方式中，在完全分布式TSN控制面中，設(shè)備還用于：當(dāng)被選擇為具有邏輯全局視角的指定驗(yàn)證TSN橋時(shí)，基于分布式TSN驗(yàn)證模型來執(zhí)行驗(yàn)證過程。[0076]本發(fā)明的第三方面提供一種用于時(shí)間敏感網(wǎng)絡(luò)的方法，該方法包括：確定通信網(wǎng)絡(luò)的一個(gè)或更多個(gè)實(shí)體中的每個(gè)實(shí)體的TSN控制面模型；基于通信網(wǎng)絡(luò)的一個(gè)或更多個(gè)實(shí)體各自的TSN控制面模型來獲得該一個(gè)或更多個(gè)實(shí)體中的每個(gè)實(shí)體的符號(hào)語言；基于一個(gè)或更多個(gè)實(shí)體的符號(hào)語言來獲得通信網(wǎng)絡(luò)的集成符號(hào)語言，其中，集成符號(hào)語言指示通信網(wǎng)絡(luò)中的一個(gè)或更多個(gè)實(shí)體之間的一種或更多種關(guān)系；以及基于集成符號(hào)語言來獲得通信[0077]在第三方面的實(shí)現(xiàn)方式中，該方法還包括：基于通信網(wǎng)絡(luò)的TSN驗(yàn)證模型來確定[0078]在第三方面的另一實(shí)現(xiàn)方式中，集成符號(hào)語言包括與一個(gè)或更多個(gè)實(shí)體之間的一種或更多種關(guān)系以及/或者所獲得的一個(gè)或更多個(gè)實(shí)體的TSN控制面模型之間的一種或更多種其他關(guān)系相關(guān)的信息。[0079]在第三方面的另一實(shí)現(xiàn)方式中，每個(gè)實(shí)體的TSN控制面模型是基于該實(shí)體提供的功能來獲得的。[0080]在第三方面的另一實(shí)現(xiàn)方式中，該方法還包括獲得通信網(wǎng)絡(luò)的一個(gè)或更多個(gè)實(shí)體中的每個(gè)實(shí)體的TSN數(shù)據(jù)面模型。[0081]在第三方面的另一實(shí)現(xiàn)方式中，通信網(wǎng)絡(luò)的TSN驗(yàn)證模型還基于TSN數(shù)據(jù)面模型中的至少一個(gè)TSN數(shù)據(jù)面模型來獲得的。[0082]在第三方面的另一實(shí)現(xiàn)方式中，該方法還包括：從外部庫或從外部工具接收層2或?qū)?或TSN操作的驗(yàn)證模型；基于所接收的驗(yàn)證模型來更新集成符號(hào)語言；以及基于經(jīng)更新11的集成符號(hào)語言來更新通信網(wǎng)絡(luò)的TSN驗(yàn)證模型。[0083]在第三方面的另一實(shí)現(xiàn)方式中，該方法還包括：分析所獲得的TSN數(shù)據(jù)面模型；以及基于分析的結(jié)果，進(jìn)一步更新通信網(wǎng)絡(luò)的TSN驗(yàn)證模型。[0084]在第三方面的另一實(shí)現(xiàn)方式中，該方法還包括另外基于通信網(wǎng)絡(luò)的特征來獲得通信網(wǎng)絡(luò)的TSN驗(yàn)證模型。[0085]在第三方面的另一實(shí)現(xiàn)方式中，通信網(wǎng)絡(luò)的特征包括(例如，不僅是TSN方面，而且還包括)通信網(wǎng)絡(luò)在驗(yàn)證過程期間的VLAN狀態(tài)，或者通信網(wǎng)絡(luò)在驗(yàn)證過程期間的PTP狀態(tài)。[0086]在第三方面的另一實(shí)現(xiàn)方式中，該方法還包括：針對完全集中式控制面和混合式控制面的情況，通過NETCONF接口在設(shè)備與通信網(wǎng)絡(luò)的至少一個(gè)實(shí)體之間執(zhí)行與TSN驗(yàn)證模型相關(guān)的通信。[0087]在第三方面的另一實(shí)現(xiàn)方式中，該方法還包括：在獲得通信網(wǎng)絡(luò)的TSN驗(yàn)證模型之前，在實(shí)體的TSN控制面模型未知的情況下，得出實(shí)體的控制面模型。[0089]在第三方面的另一實(shí)現(xiàn)方式中，該方法還包括：在對給定TSN配置的所述改變被確定為不被容許的情況下，處理拒絕錯(cuò)誤；以及通過向TSN配置驗(yàn)證模塊的調(diào)用函數(shù)提供一組推薦來協(xié)商該拒絕錯(cuò)誤。[0090]在第三方面的另一實(shí)現(xiàn)方式中，該方法還包括：基于通信網(wǎng)絡(luò)的TSN驗(yàn)證模型對驗(yàn)證參數(shù)進(jìn)行驗(yàn)證，所述驗(yàn)證參數(shù)例如：[0091]·TSN配置與通信網(wǎng)絡(luò)的層2或?qū)?方面的聯(lián)合調(diào)查；[0092]·通信網(wǎng)絡(luò)中講者對聽者的可達(dá)性；[0093]·在時(shí)間感知整形、或異步時(shí)間整形操作的驗(yàn)證、或者循環(huán)排隊(duì)和轉(zhuǎn)發(fā)的情況下，候選調(diào)度器的穩(wěn)態(tài)存在性；[0094]·有界路徑[0097]在第三方面的另一實(shí)現(xiàn)方式中，該方法用于：[0102]第三方面的方法實(shí)現(xiàn)了針對第一方面的設(shè)備描述的優(yōu)點(diǎn)和效果。[0103]本發(fā)明的第四方面提供一種用于時(shí)間敏感網(wǎng)絡(luò)的方法為具有邏輯全局視角的指定驗(yàn)證TSN橋時(shí)，基于分布式TSN驗(yàn)證模型來執(zhí)行驗(yàn)證過程。[0105]第四方面的方法實(shí)現(xiàn)了針對第二方面的設(shè)備描述的優(yōu)點(diǎn)和效果。[0106]本發(fā)明的第五方面提供一種計(jì)算機(jī)程序，該計(jì)算機(jī)程序包括用于執(zhí)行根據(jù)第三方面或第四方面或其任何實(shí)現(xiàn)方式的方法的程序代碼。[0107]本發(fā)明的第六方面提供一種存儲(chǔ)可執(zhí)行程序代碼的非暫態(tài)存儲(chǔ)介質(zhì)，該可執(zhí)行程序代碼在由處理器執(zhí)行時(shí)使根據(jù)第三方面或第四方面或其任何實(shí)現(xiàn)方式的方法被執(zhí)行。[0108]需要說明的是，本申請中描述的所有設(shè)備、元件、單元和裝置可以通過軟件或硬件元件或其任何類型的組合實(shí)現(xiàn)。由本申請中描述的各種實(shí)體執(zhí)行的所有步驟以及所描述的要由各種實(shí)體執(zhí)行的功能旨在意指相應(yīng)實(shí)體適于或被用于執(zhí)行相應(yīng)的步驟和功能。在具體實(shí)施例的以下描述中，盡管要由外部實(shí)體執(zhí)行的具體功能或步驟沒有反映在對執(zhí)行該具體步驟或功能的實(shí)體的具體詳述元件的描述中，但是技術(shù)人員應(yīng)當(dāng)清楚，這些方法和功能可以通過相應(yīng)的硬件或軟件元件或其任何組合實(shí)現(xiàn)。附圖說明[0109]結(jié)合所附附圖，在下面具體實(shí)施例的描述中將闡述上述各方面及實(shí)現(xiàn)方式，在附圖中：[0110]圖1示出了根據(jù)本發(fā)明的實(shí)施例的用于支持TSN操作的設(shè)備；[0111]圖2示出了根據(jù)本發(fā)明的實(shí)施例的用于支持分布式TSN控制面的另一設(shè)備；[0112]圖3是示出基于CNC內(nèi)部的軟件元件的TSN驗(yàn)證模塊的圖解的示意圖；[0113]圖4是示出多廠商控制面集成的圖解的示意圖；[0114]圖5是用于針對實(shí)體創(chuàng)建抽象控制面模型的過程的流程圖的示意圖；[0115]圖6是示出模型構(gòu)建的圖解的示意圖；[0116]圖7是示出多層驗(yàn)證過程的圖解的示意圖；[0117]圖8是示出針對完全分布式TSN控制面的驗(yàn)證模塊部署的圖解的示意圖；[0118]圖9是示出作為802.1dj上的擴(kuò)展而實(shí)現(xiàn)的驗(yàn)證模型的添加的圖解的示意圖；[0119]圖10示出了根據(jù)本發(fā)明的實(shí)施例的用于支持TSN操作的方法；以及[0120]圖11示出了根據(jù)本發(fā)明的實(shí)施例的用于支持分布式TSN操作的另一方法。具體實(shí)施方式[0121]圖1示出了根據(jù)本發(fā)明的實(shí)施例的用于支持TSN配置驗(yàn)證操作的設(shè)備100。[0122]設(shè)備100用于確定通信網(wǎng)絡(luò)1的一個(gè)或更多個(gè)實(shí)體11、12、13中的每個(gè)實(shí)體的TSN控制面模型101、102、103。例如，通信網(wǎng)絡(luò)1可以包括一個(gè)或更多個(gè)實(shí)體11、12和13。[0123]設(shè)備100還用于基于通信網(wǎng)絡(luò)1的一個(gè)或更多個(gè)實(shí)體11、12、13各自的TSN控制面模型101、102、103來獲得一個(gè)或更多個(gè)實(shí)體11、12、13中的每個(gè)實(shí)體的符號(hào)語言111、112、113。[0124]設(shè)備100還用于基于一個(gè)或更多個(gè)實(shí)體11、12、13的符號(hào)語言111、112、113來獲得通信網(wǎng)絡(luò)1的集成符號(hào)語言120,其中，集成符號(hào)語言120指示通信網(wǎng)絡(luò)1中的一個(gè)或更多個(gè)實(shí)體11、12、13之間的一種或更多種關(guān)系。[0125]設(shè)備100還用于基于集成符號(hào)語言120來獲得通信網(wǎng)絡(luò)1的TSN驗(yàn)證模型130。[0126]設(shè)備100的TSN驗(yàn)證模型130可以與所使用的分布式協(xié)議無關(guān)地獲得，或者即使在SAT和可滿足性模理論(satisfiabilitymoduloth[0129]設(shè)備100的集成符號(hào)語言120和/或驗(yàn)證模型130也可以被擴(kuò)展至覆蓋多域驗(yàn)證過[0130]設(shè)備100可以包括處理電路(圖1中未示出),該處理電路用于執(zhí)行、進(jìn)行或啟動(dòng)本或數(shù)字電路，或模擬電路和數(shù)字電路兩者。數(shù)字電路可以包括諸如專用集成電路(application-specificintegratedcircuit,ASIC)、現(xiàn)programmablearray,FPGA)、數(shù)處理器的部件。在一個(gè)實(shí)施例中，處理電路包括一個(gè)代碼在由一個(gè)或更多個(gè)處理器執(zhí)行時(shí)使設(shè)備100執(zhí)行、進(jìn)行或啟動(dòng)本文所描述的操作或方[0131]圖2示出了根據(jù)本發(fā)明的實(shí)施例的用于支持分布式TSN控制面操作的另一設(shè)備[0136]設(shè)備200可以包括處理電路(圖2中未示出),該處理電路用于執(zhí)行、進(jìn)行或啟動(dòng)本數(shù)字電路，或模擬電路和數(shù)字電路兩者。數(shù)字電路可以包括諸如專用集成電路(application-specificintegratedcircuit,ASIC)、現(xiàn)場可編程陣列(field-programmablearray,FPGA)、數(shù)代碼在由一個(gè)或更多個(gè)處理器執(zhí)行時(shí)使設(shè)備200執(zhí)行、進(jìn)行或啟動(dòng)本文所描述的操作或方[0137]現(xiàn)在參照圖3,圖3是設(shè)備100基于CNC內(nèi)部的軟件元件獲得TSN驗(yàn)證模型130的示意[0138]圖3示出了獲得TSN驗(yàn)證模型130的設(shè)備100的架構(gòu)，例如，對于混合式和完全集中式兩種情況，可以通過作為軟件元件結(jié)合在CNC中的驗(yàn)證模塊獲得驗(yàn)證模型130。[0139]設(shè)備100的驗(yàn)證模塊通過管理接口304(例如Netconf)周期性地或基于事件地與每個(gè)啟用TSN的802.1橋310中的本地代理311的本地驗(yàn)證模塊代理311通信，以便檢索關(guān)于諸[0140]本地代理311可以在IEEETSN橋310內(nèi)部操作。本地代理311可以在用于卸載CNC的每個(gè)橋處運(yùn)行。本地代理311可以用于針對所需的所有操作和配置數(shù)據(jù)最小化CNC與TSN橋[0141]設(shè)備100(例如，設(shè)備100的驗(yàn)證模塊)可以具有以下功能。[0142]設(shè)備100可以獲得(例如，得出)針對通信網(wǎng)絡(luò)1中的每個(gè)TSN設(shè)備的控制面的抽象模型。在多廠商環(huán)境下，該功能可能不同。此外，設(shè)備100可以基于針對網(wǎng)絡(luò)中的每個(gè)[0143]設(shè)備100還可以獲得(例如，確定)集成符號(hào)語言120,以應(yīng)答端到端查詢并且還捕獲相互依賴性。[0144]設(shè)備100還可以得出到第三方工具的接口，該第三方工具能夠執(zhí)行層2/層3驗(yàn)證例如Minesweeper、Batfish、SymNet或Veriflow。此外，設(shè)備100的TSN驗(yàn)證模塊可以實(shí)時(shí)地聚焦于TSN方面，但可以結(jié)合該信息以推斷最終的驗(yàn)證結(jié)果。[0145]設(shè)備100還可以基于控制面模型101、102、103和所請求的配置來獲得(例如，創(chuàng)建)[0146]此外，在請求配置更新時(shí)，取決于驗(yàn)證處理的結(jié)果，可以提供一組返回碼，該組返回碼可以描述如下不同場景：[0147]a)沒有明顯的錯(cuò)誤或較差的性能——可以接受和應(yīng)用該配置。[0148]b)發(fā)現(xiàn)錯(cuò)誤——必須拒絕該配置。[0149]c)未發(fā)現(xiàn)錯(cuò)誤，但所得數(shù)據(jù)面性能將較差。[0150]此外，在配置更新被拒絕的情況下，可以提供對配置驗(yàn)證模塊的調(diào)用函數(shù)的一組建議。[0151]接下來，基于802.1Qcc修訂(通常是已知的)及其已經(jīng)針對TSN網(wǎng)絡(luò)描述的三個(gè)配置選項(xiàng)示例性地討論設(shè)備100,所述三個(gè)配置選項(xiàng)包括針對集中式模型的802.1Qcc和針對完全分布式情況的802.1Qdd。[0153]情況1:完全集中式：在這種情況下，講者和聽者與CUC實(shí)體進(jìn)行通信以描述業(yè)務(wù)需求。在這種情況下，諸如PTCC或Restconf或Netconf等協(xié)議可以與802.1Qdj一起被用于將信[0154]情況2:用戶到網(wǎng)絡(luò)接口(usertonetworkinterface,UNI)(增強(qiáng)型SRP)可以用于通過邊緣橋(edgebridge)將業(yè)務(wù)需求和相關(guān)的講者/聽者信息傳遞至CNC。[0155]在指定并收集了業(yè)務(wù)需求之后，將業(yè)務(wù)需求進(jìn)一步傳遞至CNC。在CNC以及其他控制過程或信息(例如，拓?fù)湫畔?中，TSN調(diào)度決策由例如TSN調(diào)度軟件實(shí)體做出。自組織部署調(diào)度決策，驗(yàn)證模塊可以確定配置請求是否應(yīng)當(dāng)被容許。[0156]特別地，設(shè)備100可以考慮執(zhí)行驗(yàn)證處理的過程。換句話說，可以不考慮將相關(guān)信息傳遞至控制實(shí)體或決定調(diào)度決策的過程。[0157]現(xiàn)在參照圖4,圖4是示出多廠商控制面集成的圖解的示意圖。[0158]多廠商控制面集成可以由設(shè)備100和/或設(shè)備200執(zhí)行。在下文中，將多廠商控制面集成作為由設(shè)備100執(zhí)行的處理進(jìn)行討論。[0159]例如，設(shè)備100可以在驗(yàn)證模塊初始化處理中得出控制面模型。[0160]作為初始化階段期間的第一步驟，基于TSN特征或其所支持的功能，得出針對每個(gè)[0161]此外，盡管IEEE802.1的TSN工作組明確指定了TSN管理對象和管理信息庫用其自己的語義和實(shí)現(xiàn)方式，這些語義和實(shí)現(xiàn)方式可能與標(biāo)準(zhǔn)定義不完全對準(zhǔn)。[0162]此外，為了執(zhí)行端到端配置驗(yàn)證，當(dāng)在多廠商TSN網(wǎng)絡(luò)上操作時(shí)，設(shè)備100可以最初[0163]接下來，可以執(zhí)行符號(hào)建模步驟，然后可以執(zhí)行集成步驟。設(shè)備100基于通信網(wǎng)絡(luò)1的實(shí)體(圖4中的設(shè)備11、設(shè)備12和設(shè)備13)各自的TSN控制面模型101、102、103獲得這些實(shí)體的符號(hào)語言111、112、113.此外，設(shè)備100可以最終得出集成的端到端控制面模型401和對應(yīng)的集成符號(hào)語言120。[0164]現(xiàn)在參照圖5,圖5是用于針對實(shí)體創(chuàng)建控制面模型的過程500的流程圖的示意圖。[0165]過程500可以由設(shè)備100和/或設(shè)備200執(zhí)行。在下文中，過程500被示例性地討論為由設(shè)備100執(zhí)行。[0166]在步驟501處，設(shè)備100或設(shè)備200啟動(dòng)針對每個(gè)實(shí)體的驗(yàn)證初始化階段。例如，這[0167]在步驟502處，設(shè)備100或設(shè)備200可以確定實(shí)體的控制面是否為已知。此外，當(dāng)確行步驟504。[0168]在步驟503處，設(shè)備100或設(shè)備200應(yīng)用模型學(xué)習(xí)技術(shù)以得出實(shí)體的控制面模型。作進(jìn)行建模時(shí)，設(shè)備100或設(shè)備200可以將該實(shí)體視為黑匣子。然后，可以應(yīng)用模型學(xué)習(xí)技術(shù)以得出控制面模型。例如，設(shè)備100或設(shè)備200可以通過向?qū)嶓w發(fā)送輸入查詢并對輸出進(jìn)行分析來應(yīng)用學(xué)習(xí)算法如Lstar以創(chuàng)建未知狀態(tài)圖。此外，根據(jù)學(xué)習(xí)過程，三種情況還描述了與TSN標(biāo)準(zhǔn)的關(guān)系，包括在實(shí)現(xiàn)方式完全對準(zhǔn)、實(shí)現(xiàn)方式未對準(zhǔn)或?qū)崿F(xiàn)方式部分對準(zhǔn)時(shí)與[0170]在步驟504處，例如，在控制面模型為已知或者在設(shè)備100或設(shè)備200(例如，在步驟503中)得出了控制面的情況下。[0171]在步驟505處，設(shè)備100或設(shè)備200基于控制面模型獲得(例如，[0172]例如，在步驟504中得出模型之后，對于通信網(wǎng)絡(luò)中的每個(gè)TSN實(shí)體，設(shè)備100或設(shè)備200可以構(gòu)建符號(hào)語言模型，該符號(hào)語言模型可以被定義為屬性[0173]通常，符號(hào)語言建?？梢园ㄒ唤M符號(hào)(變量),該組符號(hào)(變量)可以表示數(shù)據(jù)類控制面信息，設(shè)備100或設(shè)備200可以定義基于符號(hào)建模將配置參數(shù)和屬性轉(zhuǎn)換為變量的機(jī)[0174]此外，設(shè)備100或設(shè)備200可以執(zhí)行集成處理以將符號(hào)語言集成到控制面的端到端符號(hào)模型中，并且如果通過配置驗(yàn)證模塊進(jìn)行進(jìn)一步使用，則可以對與配置接收事件有關(guān)的這些規(guī)則進(jìn)行處理。例如，符號(hào)語言可以用于執(zhí)行查詢并成為驗(yàn)證FSM執(zhí)行處理的一部[0176]·當(dāng)實(shí)體的控制面模型與TSN標(biāo)準(zhǔn)或修訂的子集(或全集)的實(shí)際實(shí)現(xiàn)一致時(shí)，設(shè)備100執(zhí)行步驟506并將控制面的抽象模型標(biāo)記為完全對準(zhǔn)。[0177]·實(shí)體的控制面模型與TSN標(biāo)準(zhǔn)-修訂集部分對準(zhǔn)。例如，也許支持802.1CB,但遵循定制搶占過程或定制化排隊(duì)結(jié)構(gòu)，設(shè)備100執(zhí)行步驟507并將控制面的抽象模型標(biāo)記為部分對準(zhǔn)。[0178]·實(shí)體的控制面模型與TSN標(biāo)準(zhǔn)-修訂集未對準(zhǔn)，設(shè)備100執(zhí)行步驟508并將控制面的抽象模型標(biāo)記為未對準(zhǔn)。[0179]接下來，討論對每個(gè)實(shí)體的控制面模型和符號(hào)語言模型的分析。[0180]在一些實(shí)施例中，在針對每個(gè)設(shè)備得出控制面模型并對該控制面模型進(jìn)行分析之后，設(shè)備100或設(shè)備200可以根據(jù)該模型來設(shè)計(jì)TSN符號(hào)語言。符號(hào)建模還可以用于對依賴為邏輯公式的自變量。例如：IPs×ports×IPd×portd×schedule_entry_feasi[0181]現(xiàn)在參照圖6,圖6是示出模型構(gòu)建的圖解600的示意圖。模型構(gòu)建可以由設(shè)備100或設(shè)備200執(zhí)行。[0183]在圖解600的框602中，提供特定于廠商的模型，其指示支持802.1Qbv,其中，對于GCL,入口門是由字段“gate”描述的操作，并且相應(yīng)周期由字段“time”描述。[0184]設(shè)備100或設(shè)備200的驗(yàn)證模塊可以將基于TSN標(biāo)準(zhǔn)模型603和TSN廠商模型604獲得的兩個(gè)文件進(jìn)行比較，并且還可以做出推理決策，以識(shí)別設(shè)備模型的哪些部分遵循標(biāo)準(zhǔn)描述。在這種情況下，支持SRS并且SRS可以是設(shè)備模型的一部分(盡管特定于廠商的實(shí)現(xiàn)使用不同的命名),但是不支持shm和srm。此外，所有比較的所有結(jié)果連同捕獲依賴性和約束的附加方法是TSN符號(hào)模型605的一部分，其中，符號(hào)變量是基于標(biāo)準(zhǔn)描述和比較結(jié)果而設(shè)符號(hào)模型之后，在接下來的步驟中，可以構(gòu)建還可以捕獲設(shè)備或模型之間的依賴性的集成驗(yàn)證符號(hào)語言，以便執(zhí)行端到端驗(yàn)證測試。[0186]為了執(zhí)行驗(yàn)證測試，設(shè)備100或設(shè)備200可以考慮以下輸入中的一個(gè)或更多個(gè)輸[0190]·操作數(shù)據(jù)(統(tǒng)計(jì)信息、其他層2/層3信息如VLAN狀態(tài)或關(guān)于時(shí)間同步的PTP信息)。[0191]此外，設(shè)備100或設(shè)備200還可以考慮操作數(shù)據(jù)輸入(例如，端口被同步、VLA置、聽者可達(dá)等)。此外，作為集成符號(hào)模型的一部分，設(shè)備100或設(shè)備20題，例如，如果使用時(shí)間感知整形器，則接口可以具有活動(dòng)PT一臺(tái)交換機(jī)中應(yīng)用ACL,則業(yè)務(wù)將受到阻塞。此外，更新不知道這一點(diǎn)的交換機(jī)的許多跳是沒有意義的。[0192]此外，設(shè)備100或設(shè)備200還可以將數(shù)據(jù)面約束和TSN屬性用作集成符號(hào)模型的一[0193]現(xiàn)在參照圖7,圖7是示出多層驗(yàn)證過程的圖解700的示意圖。多層驗(yàn)證可以由設(shè)備100或設(shè)備200執(zhí)行。在下文中，多層驗(yàn)證過程被示例性地討論為由設(shè)備100執(zhí)行的過程，而不限制本發(fā)明。[0195]此外，設(shè)備100可以使用集成TSN符號(hào)模型所需的配置和操作數(shù)據(jù)(如可達(dá)性信息、路徑存在性和節(jié)點(diǎn)狀態(tài)，這些不是TSN標(biāo)準(zhǔn)集的一部分但卻是平滑操作所要求的)。[0196]設(shè)備100可以將TSN驗(yàn)證模塊連接至已經(jīng)可用的其他驗(yàn)證機(jī)制，以執(zhí)行純層2、層3絡(luò)驗(yàn)證工具箱701、層3網(wǎng)絡(luò)驗(yàn)證工具箱702以及層4網(wǎng)絡(luò)驗(yàn)證工具箱703。[0197]此外，設(shè)備100可以使用相應(yīng)的映射器711、712、713以將層2網(wǎng)絡(luò)驗(yàn)證工具箱701、層3網(wǎng)絡(luò)驗(yàn)證工具箱702和層4網(wǎng)絡(luò)驗(yàn)證工具箱703各自映射至其TSN配置驗(yàn)證模塊。對于所使用的每個(gè)工具，映射函數(shù)負(fù)責(zé)用外部驗(yàn)證工具或外部庫所提供的信息來擴(kuò)充集成的端到端符號(hào)模型。此外，通過該過程，設(shè)備100可以使用單個(gè)API來詢問跨越協(xié)議棧的多個(gè)層的查詢。設(shè)備100還可以考慮公開驗(yàn)證模塊接口，該驗(yàn)證模塊接口可以允許針對集成符號(hào)模型的全部部分或局部部分執(zhí)行從外部管理或控制實(shí)體到驗(yàn)證模塊的查詢。[0198]此外，當(dāng)設(shè)備100確定驗(yàn)證時(shí)，例如當(dāng)要作出驗(yàn)證決策時(shí)，決策制定處理還考慮較高層狀態(tài)。[0199]需要說明的是，通過TSN模塊與外部庫之間的映射函數(shù)，設(shè)備可以快速驗(yàn)證網(wǎng)絡(luò)是否滿足廣泛的預(yù)期屬性，例如節(jié)點(diǎn)之間的可達(dá)性或隔離性、航點(diǎn)(waypoint)、黑洞、有界路徑長度、負(fù)載平衡、兩個(gè)轉(zhuǎn)發(fā)設(shè)備的功能等效性等。這些屬性可以用于快速驗(yàn)證TSN與較高層之間的交互方面。[0200]在一些實(shí)施例中，設(shè)備100或設(shè)備200可以執(zhí)行驗(yàn)證操作或符號(hào)檢查。[0201]例如，配置改變或更新請求(經(jīng)由諸如PTCC的協(xié)議，在混合式的情況下通過增強(qiáng)SRP或在完全分布式的情況下通過CUC)可以觸發(fā)必要的驗(yàn)證模塊操作例如通信，以便檢索操作狀態(tài)、符號(hào)建模查詢執(zhí)行和推理以及諸如丟棄、應(yīng)用或優(yōu)化所請求的配置更新的動(dòng)作。[0202]例如，設(shè)備100或設(shè)備200可以主動(dòng)地分析可以反映所有配置方面的組合影響的所得數(shù)據(jù)面。特別地，設(shè)備100或設(shè)備200可以基于控制面模型和要應(yīng)用的實(shí)際配置來構(gòu)建一組TSN數(shù)據(jù)面模型。之后，設(shè)備100或設(shè)備200可以基于一組查詢執(zhí)行和評(píng)估檢查來確定配置是否能夠被容許。例如，可以使用語義建模對配置錯(cuò)誤、不良配置、策略違規(guī)以及潛在的安全線程進(jìn)行驗(yàn)證。設(shè)備100或設(shè)備200還可以在TSN網(wǎng)絡(luò)產(chǎn)生和分發(fā)錯(cuò)誤數(shù)據(jù)面之前發(fā)現(xiàn)錯(cuò)[0203]此外，設(shè)備100或設(shè)備200可以將接收到的配置轉(zhuǎn)換為一組語義邏輯公式。例如，作為啟用TSN的設(shè)備如交換機(jī)、網(wǎng)關(guān)和端點(diǎn)之間的交互的結(jié)果，設(shè)備100或設(shè)備200可以捕獲TSN數(shù)據(jù)面可以收斂到的穩(wěn)定狀態(tài)(在收斂(convergence)存在的情況下)。此外，設(shè)備100或設(shè)備200還可以將接收到的關(guān)于配置指令的TSN消息傳遞轉(zhuǎn)換為如下邏輯公式：[0204]IPs×ports×IPd×portd×sc[0205]該邏輯公式還可以考慮依賴性和約束并且可以進(jìn)一步結(jié)合策略。例如，如果能夠滿足該組合公式，則存在網(wǎng)絡(luò)的穩(wěn)定狀態(tài)。否則，不存在穩(wěn)定狀態(tài)并且應(yīng)當(dāng)拒絕(或更新)配[0206]此外，設(shè)備100或設(shè)備200可以生成對配置改變或更新執(zhí)行符號(hào)檢查的請求。例如，設(shè)備100或設(shè)備200可以基于驗(yàn)證模型，僅遍歷網(wǎng)絡(luò)中受所述改變影響的狀態(tài)和部分，而不是調(diào)查所有可能的狀態(tài)。例如，如果存在更新802.1Qbv操作的計(jì)劃，則802.1Qbu可能不會(huì)受到影響，然而，如果存在更新802.1Qci的計(jì)劃，則802.1Qbu可能會(huì)受到影響，因?yàn)榱骺赡軙?huì)被完全阻塞。[0207]對于檢查階段，設(shè)備100或設(shè)備200可以考慮驗(yàn)證模型的可以被描述為確定性米利機(jī)(deterministicMealymachine)的相關(guān)部分。米利機(jī)是有限狀態(tài)機(jī)，其輸出值由其當(dāng)前狀態(tài)和當(dāng)前輸入確定。[0208]設(shè)備100或設(shè)備200可以識(shí)別下述多個(gè)潛在的驗(yàn)證結(jié)果：[0209]·接受(強(qiáng)制性):配置被原樣接受并且可以被應(yīng)用于正在運(yùn)行的配置。[0210]·拒絕(強(qiáng)制性):通過關(guān)于錯(cuò)誤的報(bào)告或已發(fā)現(xiàn)的潛在性能降級(jí)因素和驗(yàn)證結(jié)果來拒絕配置。[0211]·協(xié)商(可選):在這種情況下，針對特定實(shí)體識(shí)別配置的特定問題部分。[0212]·這些結(jié)果可以被傳送回駐留的調(diào)用函數(shù)，例如CUC。多于一個(gè)的用于觸發(fā)參數(shù)值的協(xié)商以避免性能降級(jí)的函數(shù)。在這種情況下，在驗(yàn)證模塊內(nèi)部，考慮諸如SMT/SAT的工具來調(diào)用協(xié)商函數(shù)以調(diào)查潛在的變通方案，以便最優(yōu)地調(diào)整將導(dǎo)致性能降級(jí)或?qū)⒁疱e(cuò)誤的數(shù)據(jù)面的參數(shù)。在這種情況下，TSN驗(yàn)證模塊機(jī)制創(chuàng)建反饋環(huán)路。如果驗(yàn)證結(jié)果是否定的，則本發(fā)明設(shè)備提供新的接口來觸發(fā)來自驗(yàn)證模塊的新事件，以使用TSN控制面通過反饋環(huán)路來更新/糾正/改進(jìn)配置。由于驗(yàn)證處理極其復(fù)雜，所以協(xié)商模塊依賴于主要驗(yàn)證活動(dòng)的發(fā)現(xiàn)，以便逐步微調(diào)參數(shù)化，而不是從頭開始再次啟動(dòng)驗(yàn)證處理。[0214]現(xiàn)在參照圖8,圖8是示出針對完全分布式配置的驗(yàn)證模塊部署的圖解的示意圖。[0216]驗(yàn)證模塊可能需要具有TSN網(wǎng)絡(luò)的全局視角。例如，在集中式模式和混合式模式的情況下，設(shè)備100可以在外部CNC(控制器)實(shí)體中使用帶外驗(yàn)證。在完全分布式情況例如證交換機(jī)。此外，設(shè)備200可以指定新的協(xié)議來[0218]例如，設(shè)備200可以使用根據(jù)生成樹協(xié)議(spanningtreeprotocol,STP)操作交換機(jī)選出的指定生成樹作為指定驗(yàn)證橋。[0219]在STP被啟用并且負(fù)責(zé)轉(zhuǎn)發(fā)圖建立的情況下，可以使用橋id優(yōu)先級(jí)來選擇根橋。此型例如MSTP和RSTP,可以執(zhí)行類似的處理。例如，根橋可以控制生成樹拓?fù)?，并且可以是通過與網(wǎng)絡(luò)上的所有交換實(shí)體建立邏輯鄰接關(guān)系來連接其他交換機(jī)以提供全局視角信息的集線器。在根驗(yàn)證模塊(例如，具有全局視角的設(shè)備200)與部署在每個(gè)橋處的不同本地驗(yàn)證代理之間傳遞的相關(guān)信息是在作為首選附加應(yīng)用的LRP/RAP或LRP上完成的。[0220]接下來，討論可以由設(shè)備100或設(shè)備200執(zhí)行的抽象模型構(gòu)建的示例。[0221]例如，設(shè)備200可以基于數(shù)據(jù)類型和實(shí)現(xiàn)的方法針對每個(gè)TSN橋指定抽象控制面模型。特別地，設(shè)備200可以如下在應(yīng)答查詢之后使用逐步處[0222]首先，設(shè)備200確定該實(shí)現(xiàn)是否支持根據(jù)TSN標(biāo)準(zhǔn)的哪個(gè)被管理對象定義和編碼，[0223]為此，設(shè)備200執(zhí)行窮舉遞歸調(diào)查以對TSN控制面進(jìn)行分析。此外，設(shè)備200還可以YANG模型)并通過將屬性轉(zhuǎn)變?yōu)榉?hào)變量來構(gòu)建抽象符號(hào)模型。[0224]例如，設(shè)備200可以如下根據(jù)802.1Qcw獲得frame-preemption-parameters的樣[0229]所獲得的抽象模型可以具有符號(hào)bridg_id_preemption_active,而集成符號(hào)語言可以指定方法F(bridgel_preemption_active、bridge2_preemption_active等)來驗(yàn)證端到端是否啟用搶占。[0230]現(xiàn)在參照圖9,圖9是示出作為802.1dj上的擴(kuò)展而實(shí)現(xiàn)的驗(yàn)證模型的添加的圖解的示意圖。[0231]驗(yàn)證模型可以由設(shè)備100和/或設(shè)備200實(shí)現(xiàn)。例如，在802.1Qcc的情況下，設(shè)備100的驗(yàn)證模塊或設(shè)備200的驗(yàn)證模塊作為新添加的特征，如用附圖標(biāo)記902指示的+--x驗(yàn)證配理可以由CUC調(diào)用。[0232]圖10示出了根據(jù)本發(fā)明的實(shí)施例的用于時(shí)間敏感網(wǎng)絡(luò)的方法1000。方法1000可以由如上所述的設(shè)備100執(zhí)行。[0233]方法1000包括步驟1001:確定通信網(wǎng)絡(luò)1的一個(gè)或更多個(gè)實(shí)體11、12、1