CN110413426B - 一种应用于航空电子系统时间触发通信的重构系统和方法 - Google Patents

一种应用于航空电子系统时间触发通信的重构系统和方法 Download PDF

Info

Publication number
CN110413426B
CN110413426B CN201910690504.3A CN201910690504A CN110413426B CN 110413426 B CN110413426 B CN 110413426B CN 201910690504 A CN201910690504 A CN 201910690504A CN 110413426 B CN110413426 B CN 110413426B
Authority
CN
China
Prior art keywords
message
destination
source
end system
time offset
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN201910690504.3A
Other languages
English (en)
Other versions
CN110413426A (zh
Inventor
何锋
高杨
王彤
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Beihang University
Original Assignee
Beihang University
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Beihang University filed Critical Beihang University
Priority to CN201910690504.3A priority Critical patent/CN110413426B/zh
Publication of CN110413426A publication Critical patent/CN110413426A/zh
Application granted granted Critical
Publication of CN110413426B publication Critical patent/CN110413426B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0751—Error or fault detection not based on redundancy
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46—Multiprogramming arrangements
    • G06F9/54—Interprogram communication
    • G06F9/546—Message passing systems or structures, e.g. queues

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Software Systems (AREA)
  • Quality & Reliability (AREA)
  • Computer And Data Communications (AREA)

Abstract

本发明公开了一种应用于航空电子系统时间触发通信的重构系统和重构方法，重构系统是在传统航空电子系统中增加有：端系统故障记录模块、资源检查模块、配置生成模块和重构执行模块。重构方法包括有在端系统出现故障后选择重构策略的步骤，根据冗余端系统的备份资源执行迁移式重构的步骤，根据可占用空闲资源执行抢占式重构的步骤，对于资源不足则执行降级式重构的步骤。本发明重构方法在应用迁移的基础上，建立应用到消息的关联，针对不同的资源约束条件，以设计消息二次调度的方式来解决端系统模块上应用失效的故障问题。该重构方法基于可满足性模理论调度方法，能够使航空电子系统运行时支持端系统故障的恢复。

Description

一种应用于航空电子系统时间触发通信的重构系统和方法
技术领域
本发明涉及航空电子技术领域，更特别地说，是指一种应用于航空电子系统时间触发通信的重构方法，该重构方法能够实现航空电子时间触发网络中端系统的消息级故障恢复。
背景技术
近年来，综合化航空电子系统经历了分立式、联合式、综合式到高度综合的发展过程。目前，高度综合的分布式综合模块化航空电子(Distributed Integrated ModularAvionics，DIMA)体系结构成为航空电子系统的发展方向。利用分布式架构将所有综合化模块分布在整个飞行器中，并通过时间触发网络实现安全关键性消息的严格周期确定性。2009年1月第1版第1次印刷出版的《先进航空电子综合技术》，在第 219-221页公开的内容，其航空电子软件系统结构框图如图1所示。图中，“故障管理”和“配置管理”模块用于检测模块级故障，并根据预定义的方案完成模块功能的配置和替换。
时间触发(Time-Triggered，TT)网络是一种具有严格时间确定性的实时网络，其通过预先规划调度窗口实现消息传输的低抖动和高可靠性，可以应用于工业自动控制系统、车载电子系统、航空电子系统等分布式实时嵌入式系统。在时间触发网络中，时间触发消息的发送、转发和接收时刻由交换机中静态调度表决定，具有严格的时间确定性。时间触发消息静态调度表的生成需要调度算法来实现。时间触发消息因其在时间维度上的确定性，多用于实时性要求较高的应用(application)，完成关键的任务(task)，执行重要的功能 (function)。在航空电子系统发生故障时，时间触发消息的实时性与确定性能否得到保障，势必会影响到其对故障的抵抗能力。
《电光与控制》于2014年12月第21卷第12期公开了“时间触发以太网时钟同步的仿真与性能验证”，作者王梦迪等。在图2中介绍了单通信信道时间触发以太网(Time-Triggered Ethernet，TTE)网络的物理拓扑结构，端系统(End System，ES)和交换机(switch)通过双向通信链路连接。根据通信任务“端到端”(end-to-end)的角色充当源端系统和目的端系统；交换式网络中的交换设备中含有转发和多路复用功能的模块被称为“交换节点”。将端系统和交换节点统称为“节点”。
重构(reconfiguration)技术是在某种条件或状态发生时，适时调整控制参数或构型，利用现有资源重建局部功能甚至全部功能的一种容错控制方法。为了确保航空电子系统的可靠性，提升任务(task)执行的成功率，航空电子系统需要具备在运行时重构的能力，以在减少资源利用的基础上对故障做出及时的反应。然而现有重构的研究未能深入到消息级别，因此不能直接应用于时间触发消息的调度。
发明内容
为了针对航空电子系统时间触发网络中因端系统模块故障，导致其上驻留的应用失效的问题，本发明提出了一种应用于航空电子系统时间触发通信的重构方法。本发明重构方法在应用迁移(application migration)的基础上，建立应用(application)到消息(message)的关联，针对不同的资源约束条件，以设计消息二次调度(second scheduling，SS)的方式来解决端系统模块上应用失效(application failure) 的故障问题。本发明重构方法基于可满足性模理论调度(Satisfiability Modulo Theories，SMT)方法，能够使航空电子系统运行时支持端系统的消息级故障恢复。
参见图1、图3所示，本发明的一种应用于航空电子系统时间触发通信的重构系统，该重构系统一方面是在现有的故障管理模块10中增加有端系统故障记录模块11，所述端系统故障记录模块11用于接收健康监视模块30输出的故障端系统信息；
另一方面是在现有的配置管理模块20中增加配置管理模块20由资源检查模块21、配置生成模块22 和重构执行模块23；
所述资源检查模块21第一方面用于接收端系统故障记录模块11输出的故障端系统的发生时间；第二方面根据当前冗余资源状态，选择执行迁移重构、抢占重构、或可降级重构方式；
所述配置生成模块22第一方面根据资源检查模块21选择的重构方式，以及系统蓝印模块40输出的应用和消息的对应关系，生成相应的消息配置；第二方面输出端系统的配置消息给重构执行模块23；
所述重构执行模块23第一方面负责加载配置生成模块22发送的消息配置表，进行消息的二次调度设计；第二方面向模块支持层输出能够使航空电子系统运行时支持端系统的消息级故障恢复的消息。
在本发明中，当任意一端系统出现故障后，故障管理模块10中的端系统故障记录模块11对故障端系统进行标记记录，同时也记录故障时间推算未发送的消息数目；然后：
资源检查模块21查询网络中冗余端系统的占用情况，若冗余端系统的资源充足，直接将受到影响的消息迁移至冗余端系统；并通过配置生成模块22在原有配置基础上，修改消息的源、目的节点，以及消息传输路径；最后由重构执行模块23加载新的配置表，迁移式重构执行结束，完成故障端系统上的消息发送，达到在航空电子系统运行时支持端系统故障的恢复。
资源检查模块21查询网络中冗余端系统的占用情况，若冗余端系统的资源不足，资源检查模块21继续查询网络中其他端系统的占用情况，在各端系统均不超过最大消息驻留数目的前提下，将受到影响的消息迁移至其他端系统，并通过配置生成模块22在原有配置基础上，修改消息的源、目的节点，以及消息传输路径；最后重构执行模块23加载新的配置表，抢占式重构执行结束，完成故障端系统上的消息发送，达到在航空电子系统运行时支持端系统故障的恢复。
资源检查模块21查询网络中冗余端系统的占用情况，若其他端系统的可抢占资源不足，则根据现有资源的规模，放弃部分低重要性消息的传输，仅配置高重要性消息；并通过配置生成模块22在原有配置基础上，修改消息的源、目的节点，以及消息传输路径；最后重构执行模块23加载新的配置表，可降级式重构执行结束，完成故障端系统上的消息发送，达到在航空电子系统运行时支持端系统故障的恢复。
本发明的应用于航空电子系统时间触发通信的重构方法，是一种支持端系统级故障恢复的消息调度方法，具体地，时间触发通信重构包括有下列步骤：
步骤一，航空电子系统中时间触发通信的故障端系统的获取；
步骤二，基于SMT求解器在系统蓝印模块中获取消息发送时间；
步骤三，依据时间偏移来判断需要进行二次调度的消息；
步骤四，基于SMT求解器在重构执行模块中进行二次调度。
本发明应用于航空电子系统时间触发通信的重构系统和重构方法的优点在于：
①本发明重构系统是在传统航空电子系统中增加了能够对故障端系统接收和发送的待发消息进行重构处理的技术手段，然后依据其他端系统的冗余资源状况选择不同的重构模式。
②本发明重构方法采用消息的二次调度并结合SMT求解，解决了故障端系统所需收发消息的重构。本发明重构方法基于可满足性模理论调度，可以在航空电子系统运行时支持端系统故障的恢复。
③本发明重构系统建立了航空电子系统中应用与消息的对应关系，将传统的基于应用或任务迁移的重构方式扩展至消息通信级别，可以应用于具体的航空电子系统时间触发通信环境。
④本发明重构系统能够在任意一端系统发生故障后，分析其他端系统的资源状态，并根据不同的资源状态选择相应的重构方式，提高系统抵抗故障的能力以及资源利用率。
⑤本发明重构系统可以针对具体的航空电子时间触发网络拓扑结构，分析故障发生后所有待发消息的实时性需求，并生成支持端系统级故障恢复的消息调度表，从消息调度的角度对提出重构方法进行实现。
附图说明
图1是航空电子软件系统结构框图。
图2是时间触发以太网的物理拓扑结构图。
图2A是时间触发以太网的物理拓扑另一种结构图。
图3是本发明的应用于航空电子系统时间触发通信的重构系统框图。
图4是本发明的应用于航空电子系统时间触发通信的重构方法的流程图。
10.故障管理模块 11.端系统故障记录模块
20.配置管理模块 21.资源检查模块
22.配置生成模块 23.重构执行模块
30.健康监视模块 40.系统蓝印(运行时间)模块
具体实施方式
下面将结合附图和实施例对本发明做进一步的详细说明。
如图2和图2A构成的时间触发网络中，包括有：第一个交换机记为S1，第二个交换机记为S2，第一个端系统记为ES1，第二个端系统记为ES2，第三个端系统记为ES3，任意一个端系统记为ESg，下角标 g表示端系统的标识号，最后一个端系统记为ESG，下角标G表示端系统的总个数。端系统采用集合形式表达为MES＝{ES1,ES2,ES3,…,ESg,…,ESG}。ES1的最大接收消息条数记为
Figure BDA0002147733420000031
ES2的最大接收消息条数记为
Figure BDA0002147733420000032
端系统ES3的最大接收消息条数记为
Figure BDA0002147733420000033
端系统ESa的最大接收消息条数记为
Figure BDA0002147733420000034
端系统ESG的最大接收消息条数记为
Figure BDA0002147733420000035
依据图2A所示的航空电子系统的时间触发网络拓扑结构中，多条数据流链路采用集合形式表达为数据流链路集，记为
Figure BDA0002147733420000036
Figure BDA0002147733420000037
为端系统ES1到交换机S1的数据流链路；
Figure BDA0002147733420000038
为交换机S1到端系统ES1的数据流链路；
Figure BDA0002147733420000039
为端系统ES2到交换机S1的数据流链路；
Figure BDA00021477334200000310
为交换机S1到端系统ES2的数据流链路；
Figure BDA00021477334200000311
为交换机S1到交换机S2的数据流链路；
Figure BDA00021477334200000312
为交换机S2到交换机S1的数据流链路；
Figure BDA00021477334200000313
为端系统ES3到交换机S2的数据流链路；
Figure BDA00021477334200000314
为交换机S2到端系统ES3的数据流链路；
Figure BDA00021477334200000315
为端系统ESg到交换机S1的数据流链路；
Figure BDA00021477334200000316
为交换机S1到端系统 ESg的数据流链路；
Figure BDA00021477334200000317
为端系统ESG到交换机S2的数据流链路；
Figure BDA00021477334200000318
为交换机S2到端系统 ESG的数据流链路。在本发明中，为了区分相邻两条数据流链路，将消息经过的当前数据流链路的标记为
Figure BDA00021477334200000319
而位于
Figure BDA00021477334200000320
之前的数据流链路标记为
Figure BDA00021477334200000321
而位于
Figure BDA00021477334200000322
之后的数据流链路标记为
Figure BDA00021477334200000323
在图2A所示中的从端系统之间通过交换机进行消息的收发。所述消息记为msg，多个消息msg形成一个消息集，记为ME＝{msg1,msg2,…,msga,…,msgA}；msg1表示第一条消息；msg2表示第二条消息；msga表示任意一条消息；下角标a表示消息的标识号；msgA表示最后一条消息；下角标A表示消息的总条数，a∈A。为了方便说明，将msga也称为第一个任意消息，msgA也称为第二个任意消息。
在本发明中，任意一消息msga使用一个五元组来表示消息的各项属性，即
Figure BDA00021477334200000324
Figure BDA00021477334200000325
为任意一消息msga的帧长；
Figure BDA00021477334200000326
为任意一消息msga的周期；
Figure BDA00021477334200000327
为任意一消息msga经过的所有数据流链路；
Figure BDA00021477334200000328
为任意一消息msga在所有数据流链路上的发送时间偏移；
Figure BDA00021477334200000329
为任意一消息msga的优先级；所述
Figure BDA00021477334200000330
是在0或1中取值，即优先级为1的高于优先级为0的。
在本发明中，SMT求解器是存储有三个约束条件，这三个约束条件分别是：
无冲突约束CF的约束条件；
在本发明中，无冲突约束CF是指同一数据流链路上的时间偏移各不相同。
如图2A所示，任意一消息msga在数据流链路
Figure BDA00021477334200000331
上的时间偏移是不同的，所述时间偏移包括有
Figure BDA00021477334200000332
和
Figure BDA00021477334200000333
路径依赖约束FD的约束条件；
在本发明中，路径依赖约束FD是指任意一消息msga的发送是按照源端系统到目的端系统的顺序进行的，且两条相邻数据流链路之间预留给所述消息msga的发送窗口
Figure BDA0002147733420000041
应当大于等于所述消息 msga的最小单跳延迟hopdelay，即
Figure BDA0002147733420000042
端到端延时约束ETE的约束条件；
在本发明中，端到端延时约束ETE是指任意一消息msga的最大时间偏移与最小时间偏移之差Δtf应当小于等于消息端到端延时阈值latency，即Δtf≤latency。
在本发明中，消息从源端系统发往目的端系统记为源－目的－消息。为了详细说明，以列举形式表征。
(1-1)端系统ES1为源端系统，端系统ES2为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA0002147733420000043
表示其由源端系统ES1发往目的端系统ES2的第一条消息，其经过的数据流链路集为
Figure BDA0002147733420000044
Figure BDA0002147733420000045
作为源－目的－消息
Figure BDA0002147733420000046
经过的第一条数据流链路；源－目的－消息
Figure BDA0002147733420000047
在数据流链路
Figure BDA0002147733420000048
上的时间偏移，记为
Figure BDA0002147733420000049
Figure BDA00021477334200000410
作为源－目的－消息
Figure BDA00021477334200000411
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000412
在数据流链路
Figure BDA00021477334200000413
上的时间偏移，记为
Figure BDA00021477334200000414
初始化时，所述
Figure BDA00021477334200000415
和所述
Figure BDA00021477334200000416
都赋值为0。
源－目的－消息
Figure BDA00021477334200000417
表示其由源端系统ES1发往目的端系统ES2的第二条消息，其经过的数据流链路集为
Figure BDA00021477334200000418
Figure BDA00021477334200000419
作为源－目的－消息
Figure BDA00021477334200000420
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000421
在数据流链路
Figure BDA00021477334200000422
上的时间偏移，记为
Figure BDA00021477334200000423
Figure BDA00021477334200000424
作为源－目的－消息
Figure BDA00021477334200000425
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000426
在数据流链路
Figure BDA00021477334200000427
上的时间偏移，记为
Figure BDA00021477334200000428
初始化时，所述
Figure BDA00021477334200000429
和所述
Figure BDA00021477334200000430
都赋值为0。
源－目的－消息
Figure BDA00021477334200000431
表示其由源端系统ES1发往目的端系统ES2的任意一条消息，其经过的数据流链路集为
Figure BDA00021477334200000432
Figure BDA00021477334200000433
作为源－目的－消息
Figure BDA00021477334200000434
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000435
在数据流链路
Figure BDA00021477334200000436
上的时间偏移，记为
Figure BDA00021477334200000437
Figure BDA00021477334200000438
作为源－目的－消息
Figure BDA00021477334200000439
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000440
在数据流链路
Figure BDA00021477334200000441
上的时间偏移，记为
Figure BDA00021477334200000442
初始化时，所述
Figure BDA00021477334200000443
和所述
Figure BDA00021477334200000444
都赋值为0。
源－目的－消息
Figure BDA00021477334200000445
表示其由源端系统ES1发往目的端系统ES2的最后一条消息，其经过的数据流链路集为
Figure BDA00021477334200000446
Figure BDA00021477334200000447
作为源－目的－消息
Figure BDA00021477334200000448
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000449
在数据流链路
Figure BDA00021477334200000450
上的时间偏移，记为
Figure BDA00021477334200000451
Figure BDA00021477334200000452
作为源－目的－消息
Figure BDA00021477334200000453
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000454
在数据流链路
Figure BDA00021477334200000455
上的时间偏移，记为
Figure BDA00021477334200000456
初始化时，所述
Figure BDA00021477334200000457
和所述
Figure BDA00021477334200000458
都赋值为0。
(1-2)端系统ES1为源端系统，端系统ES3为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA0002147733420000051
表示其由源端系统ES1发往目的端系统ES3的第一条消息，其经过的数据流链路集为
Figure BDA0002147733420000052
Figure BDA0002147733420000053
作为源－目的－消息
Figure BDA0002147733420000054
经过的第一条数据流链路；源－目的－消息
Figure BDA0002147733420000055
在数据流链路
Figure BDA0002147733420000056
上的时间偏移，记为
Figure BDA0002147733420000057
Figure BDA0002147733420000058
作为源－目的－消息
Figure BDA0002147733420000059
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000510
在数据流链路
Figure BDA00021477334200000511
上的时间偏移，记为
Figure BDA00021477334200000512
Figure BDA00021477334200000513
作为源－目的－消息
Figure BDA00021477334200000514
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200000515
在数据流链路
Figure BDA00021477334200000516
上的时间偏移，记为
Figure BDA00021477334200000517
初始化时，所述
Figure BDA00021477334200000518
所述
Figure BDA00021477334200000519
和所述
Figure BDA00021477334200000520
都赋值为0。
源－目的－消息
Figure BDA00021477334200000521
表示其由源端系统ES1发往目的端系统ES3的第二条消息，其经过的数据流链路集为
Figure BDA00021477334200000522
Figure BDA00021477334200000523
作为源－目的－消息
Figure BDA00021477334200000524
经过的第一条的数据流链路；源－目的－消息
Figure BDA00021477334200000525
在数据流链路
Figure BDA00021477334200000526
上的时间偏移，记为
Figure BDA00021477334200000527
Figure BDA00021477334200000528
作为源－目的－消息
Figure BDA00021477334200000529
经过的第二条的数据流链路；源－目的－消息
Figure BDA00021477334200000530
在数据流链路
Figure BDA00021477334200000531
上的时间偏移，记为
Figure BDA00021477334200000532
Figure BDA00021477334200000533
作为源－目的－消息
Figure BDA00021477334200000534
经过的第三条的数据流链路；源－目的－消息
Figure BDA00021477334200000535
在数据流链路
Figure BDA00021477334200000536
上的时间偏移，记为
Figure BDA00021477334200000537
初始化时，所述
Figure BDA00021477334200000538
所述
Figure BDA00021477334200000539
和所述
Figure BDA00021477334200000540
都赋值为0。
源－目的－消息
Figure BDA00021477334200000541
表示其由源端系统ES1发往目的端系统ES3的任意一条消息，其经过的数据流链路集为
Figure BDA00021477334200000542
Figure BDA00021477334200000543
作为源－目的－消息
Figure BDA00021477334200000544
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000545
在数据流链路
Figure BDA00021477334200000546
上的时间偏移，记为
Figure BDA00021477334200000547
Figure BDA00021477334200000548
作为源－目的－消息
Figure BDA00021477334200000549
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000550
在数据流链路
Figure BDA00021477334200000551
上的时间偏移，记为
Figure BDA00021477334200000552
Figure BDA00021477334200000553
作为源－目的－消息
Figure BDA00021477334200000554
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200000555
在数据流链路
Figure BDA00021477334200000556
上的时间偏移，记为
Figure BDA00021477334200000557
初始化时，所述
Figure BDA00021477334200000558
所述
Figure BDA00021477334200000559
和所述
Figure BDA00021477334200000560
都赋值为0。
源－目的－消息
Figure BDA00021477334200000561
表示其由源端系统ES1发往目的端系统ES3的最后一条消息，其经过的数据流链路集为
Figure BDA00021477334200000562
Figure BDA00021477334200000563
作为源－目的－消息
Figure BDA00021477334200000564
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000565
在数据流链路
Figure BDA00021477334200000566
上的时间偏移，记为
Figure BDA00021477334200000567
Figure BDA00021477334200000568
作为源－目的－消息
Figure BDA00021477334200000569
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000570
在数据流链路
Figure BDA00021477334200000571
上的时间偏移，记为
Figure BDA00021477334200000572
Figure BDA00021477334200000573
作为源－目的－消息
Figure BDA00021477334200000574
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200000575
在数据流链路
Figure BDA00021477334200000576
上的时间偏移，记为
Figure BDA00021477334200000577
初始化时，所述
Figure BDA00021477334200000578
所述
Figure BDA00021477334200000579
和所述
Figure BDA00021477334200000580
都赋值为0。
(1-3)端系统ES1为源端系统，端系统ESg为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA0002147733420000061
表示其由源端系统ES1发往目的端系统ESg的第一条消息，其经过的数据流链路集为
Figure BDA0002147733420000062
Figure BDA0002147733420000063
作为源－目的－消息
Figure BDA0002147733420000064
经过的第一条数据流链路；源－目的－消息
Figure BDA0002147733420000065
在数据流链路
Figure BDA0002147733420000066
上的时间偏移，记为
Figure BDA0002147733420000067
Figure BDA0002147733420000068
作为源－目的－消息
Figure BDA0002147733420000069
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000610
在数据流链路
Figure BDA00021477334200000611
上的时间偏移，记为
Figure BDA00021477334200000612
初始化时，所述
Figure BDA00021477334200000613
和所述
Figure BDA00021477334200000614
都赋值为0。
源－目的－消息
Figure BDA00021477334200000615
表示其由源端系统ES1发往目的端系统ESg的第二条消息，其经过的数据流链路集为
Figure BDA00021477334200000616
Figure BDA00021477334200000617
作为源－目的－消息
Figure BDA00021477334200000618
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000619
在数据流链路
Figure BDA00021477334200000620
上的时间偏移，记为
Figure BDA00021477334200000621
Figure BDA00021477334200000622
作为源－目的－消息
Figure BDA00021477334200000623
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000624
在数据流链路
Figure BDA00021477334200000625
上的时间偏移，记为
Figure BDA00021477334200000626
初始化时，所述
Figure BDA00021477334200000627
和所述
Figure BDA00021477334200000628
都赋值为0。
源－目的－消息
Figure BDA00021477334200000629
表示其由源端系统ES1发往目的端系统ESg的任意一条消息，其经过的数据流链路集为
Figure BDA00021477334200000630
Figure BDA00021477334200000631
作为源－目的－消息
Figure BDA00021477334200000632
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000633
在数据流链路
Figure BDA00021477334200000634
上的时间偏移，记为
Figure BDA00021477334200000635
Figure BDA00021477334200000636
作为源－目的－消息
Figure BDA00021477334200000637
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000638
在数据流链路
Figure BDA00021477334200000639
上的时间偏移，记为
Figure BDA00021477334200000640
初始化时，所述
Figure BDA00021477334200000641
和所述
Figure BDA00021477334200000642
都赋值为0。
源－目的－消息
Figure BDA00021477334200000643
表示其由源端系统ES1发往目的端系统ESg的最后一条消息，其经过的数据流链路集为
Figure BDA00021477334200000644
Figure BDA00021477334200000645
作为源－目的－消息
Figure BDA00021477334200000646
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000647
在数据流链路
Figure BDA00021477334200000648
上的时间偏移，记为
Figure BDA00021477334200000649
Figure BDA00021477334200000650
作为源－目的－消息
Figure BDA00021477334200000651
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200000652
在数据流链路
Figure BDA00021477334200000653
上的时间偏移，记为
Figure BDA00021477334200000654
初始化时，所述
Figure BDA00021477334200000655
和所述
Figure BDA00021477334200000656
都赋值为0。
(1-4)端系统ES1为源端系统，端系统ESG为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA00021477334200000657
表示其由源端系统ES1发往目的端系统ESG的第一条消息，其经过的数据流链路集为
Figure BDA00021477334200000658
Figure BDA00021477334200000659
作为源－目的－消息
Figure BDA00021477334200000660
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000661
在数据流链路
Figure BDA00021477334200000662
上的时间偏移，记为
Figure BDA00021477334200000663
Figure BDA00021477334200000664
作为源－目的－消息
Figure BDA00021477334200000665
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000666
在数据流链路
Figure BDA00021477334200000667
上的时间偏移，记为
Figure BDA0002147733420000071
Figure BDA0002147733420000072
作为源－目的－消息
Figure BDA0002147733420000073
经过的第三条数据流链路；源－目的－消息
Figure BDA0002147733420000074
在数据流链路
Figure BDA0002147733420000075
上的时间偏移，记为
Figure BDA0002147733420000076
初始化时，所述
Figure BDA0002147733420000077
所述
Figure BDA0002147733420000078
和所述
Figure BDA0002147733420000079
都赋值为0。
源－目的－消息
Figure BDA00021477334200000710
表示其由源端系统ES1发往目的端系统ESG的第二条消息，其经过的数据流链路集为
Figure BDA00021477334200000711
Figure BDA00021477334200000712
作为源－目的－消息
Figure BDA00021477334200000713
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000714
在数据流链路
Figure BDA00021477334200000715
上的时间偏移，记为
Figure BDA00021477334200000716
Figure BDA00021477334200000717
作为源－目的－消息
Figure BDA00021477334200000718
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000719
在数据流链路
Figure BDA00021477334200000720
上的时间偏移，记为
Figure BDA00021477334200000721
Figure BDA00021477334200000722
作为源－目的－消息
Figure BDA00021477334200000723
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200000724
在数据流链路
Figure BDA00021477334200000725
上的时间偏移，记为
Figure BDA00021477334200000726
初始化时，所述
Figure BDA00021477334200000727
所述
Figure BDA00021477334200000728
和所述
Figure BDA00021477334200000729
都赋值为0。
源－目的－消息
Figure BDA00021477334200000730
表示其由源端系统ES1发往目的端系统ESG的任意一条消息，其经过的数据流链路集为
Figure BDA00021477334200000731
Figure BDA00021477334200000732
作为源－目的－消息
Figure BDA00021477334200000733
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000734
在数据流链路
Figure BDA00021477334200000735
上的时间偏移，记为
Figure BDA00021477334200000736
Figure BDA00021477334200000737
作为源－目的－消息
Figure BDA00021477334200000738
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000739
在数据流链路
Figure BDA00021477334200000740
上的时间偏移，记为
Figure BDA00021477334200000741
Figure BDA00021477334200000742
作为源－目的－消息
Figure BDA00021477334200000743
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200000744
在数据流链路
Figure BDA00021477334200000745
上的时间偏移，记为
Figure BDA00021477334200000746
初始化时，所述
Figure BDA00021477334200000747
所述
Figure BDA00021477334200000748
和所述
Figure BDA00021477334200000749
都赋值为0。
源－目的－消息
Figure BDA00021477334200000750
表示其由源端系统ES1发往目的端系统ESG的最后一条消息，其经过的数据流链路集为
Figure BDA00021477334200000751
Figure BDA00021477334200000752
作为源－目的－消息
Figure BDA00021477334200000753
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000754
在数据流链路
Figure BDA00021477334200000755
上的时间偏移，记为
Figure BDA00021477334200000756
Figure BDA00021477334200000757
作为源－目的－消息
Figure BDA00021477334200000758
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000759
在数据流链路
Figure BDA00021477334200000760
上的时间偏移，记为
Figure BDA00021477334200000761
Figure BDA00021477334200000762
作为源－目的－消息
Figure BDA00021477334200000763
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200000764
在数据流链路
Figure BDA00021477334200000765
上的时间偏移，记为
Figure BDA00021477334200000766
初始化时，所述
Figure BDA00021477334200000767
所述
Figure BDA00021477334200000768
和所述
Figure BDA00021477334200000769
都赋值为0。
(2-1)端系统ES2为源端系统，端系统ES1为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA00021477334200000770
表示其由源端系统ES2发往目的端系统ES1的第一条消息，其经过的数据流链路集为
Figure BDA00021477334200000771
Figure BDA00021477334200000772
作为源－目的－消息
Figure BDA00021477334200000773
经过的第一条数据流链路；源－目的－消息
Figure BDA0002147733420000081
在数据流链路
Figure BDA0002147733420000082
上的时间偏移，记为
Figure BDA0002147733420000083
Figure BDA0002147733420000084
作为源－目的－消息
Figure BDA0002147733420000085
经过的第二条数据流链路；源－目的－消息
Figure BDA0002147733420000086
在数据流链路
Figure BDA0002147733420000087
上的时间偏移，记为
Figure BDA0002147733420000088
初始化时，所述
Figure BDA0002147733420000089
和所述
Figure BDA00021477334200000810
都赋值为0。
源－目的－消息
Figure BDA00021477334200000811
表示其由源端系统ES2发往目的端系统ES1的第二条消息，其经过的数据流链路集为
Figure BDA00021477334200000812
Figure BDA00021477334200000813
作为源－目的－消息
Figure BDA00021477334200000814
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000815
在数据流链路
Figure BDA00021477334200000816
上的时间偏移，记为
Figure BDA00021477334200000817
Figure BDA00021477334200000818
作为源－目的－消息
Figure BDA00021477334200000819
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000820
在数据流链路
Figure BDA00021477334200000821
上的时间偏移，记为
Figure BDA00021477334200000822
初始化时，所述
Figure BDA00021477334200000823
和所述
Figure BDA00021477334200000824
都赋值为0。
源－目的－消息
Figure BDA00021477334200000825
表示其由源端系统ES2发往目的端系统ES1的任意一条消息，其经过的数据流链路集为
Figure BDA00021477334200000826
Figure BDA00021477334200000827
作为源－目的－消息
Figure BDA00021477334200000828
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000829
在数据流链路
Figure BDA00021477334200000830
上的时间偏移，记为
Figure BDA00021477334200000831
Figure BDA00021477334200000832
作为源－目的－消息
Figure BDA00021477334200000833
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000834
在数据流链路
Figure BDA00021477334200000835
上的时间偏移，记为
Figure BDA00021477334200000836
初始化时，所述
Figure BDA00021477334200000837
和所述
Figure BDA00021477334200000838
都赋值为0。
源－目的－消息
Figure BDA00021477334200000839
表示其由源端系统ES2发往目的端系统ES1的最后一条消息，其经过的数据流链路集为
Figure BDA00021477334200000840
Figure BDA00021477334200000841
作为源－目的－消息
Figure BDA00021477334200000842
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000843
在数据流链路
Figure BDA00021477334200000844
上的时间偏移，记为
Figure BDA00021477334200000845
Figure BDA00021477334200000846
作为源－目的－消息
Figure BDA00021477334200000847
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000848
在数据流链路
Figure BDA00021477334200000849
上的时间偏移，记为
Figure BDA00021477334200000850
初始化时，所述
Figure BDA00021477334200000851
和所述
Figure BDA00021477334200000852
都赋值为0。
(2-2)端系统ES2为源端系统，端系统ES3为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA00021477334200000853
表示其由源端系统ES2发往目的端系统ES3的第一条消息，其经过的数据流链路集为
Figure BDA00021477334200000854
Figure BDA00021477334200000855
作为源－目的－消息
Figure BDA00021477334200000856
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000857
在数据流链路
Figure BDA00021477334200000858
上的时间偏移，记为
Figure BDA00021477334200000859
Figure BDA00021477334200000860
作为源－目的－消息
Figure BDA00021477334200000861
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000862
在数据流链路
Figure BDA00021477334200000863
上的时间偏移，记为
Figure BDA00021477334200000864
Figure BDA00021477334200000865
作为源－目的－消息
Figure BDA00021477334200000866
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200000867
在数据流链路
Figure BDA00021477334200000868
上的时间偏移，记为
Figure BDA00021477334200000869
初始化时，所述
Figure BDA00021477334200000870
所述
Figure BDA00021477334200000871
和所述
Figure BDA00021477334200000872
都赋值为0。
源－目的－消息
Figure BDA00021477334200000873
表示其由源端系统ES2发往目的端系统ES3的第二条消息，其经过的数据流链路集为
Figure BDA00021477334200000874
Figure BDA00021477334200000875
作为源－目的－消息
Figure BDA00021477334200000876
经过的第一条数据流链路；源－目的－消息
Figure BDA0002147733420000091
在数据流链路
Figure BDA0002147733420000092
上的时间偏移，记为
Figure BDA0002147733420000093
Figure BDA0002147733420000094
作为源－目的－消息
Figure BDA0002147733420000095
经过的第二条数据流链路；源－目的－消息
Figure BDA0002147733420000096
在数据流链路
Figure BDA0002147733420000097
上的时间偏移，记为
Figure BDA0002147733420000098
Figure BDA0002147733420000099
作为源－目的－消息
Figure BDA00021477334200000910
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200000911
在数据流链路
Figure BDA00021477334200000912
上的时间偏移，记为
Figure BDA00021477334200000913
初始化时，所述
Figure BDA00021477334200000914
所述
Figure BDA00021477334200000915
和所述
Figure BDA00021477334200000916
都赋值为0。
源－目的－消息
Figure BDA00021477334200000917
表示其由源端系统ES2发往目的端系统ES3的任意一条消息，其经过的数据流链路集为
Figure BDA00021477334200000918
Figure BDA00021477334200000919
作为源－目的－消息
Figure BDA00021477334200000920
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000921
在数据流链路
Figure BDA00021477334200000922
上的时间偏移，记为
Figure BDA00021477334200000923
Figure BDA00021477334200000924
作为源－目的－消息
Figure BDA00021477334200000925
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000926
在数据流链路
Figure BDA00021477334200000927
上的时间偏移，记为
Figure BDA00021477334200000928
Figure BDA00021477334200000929
作为源－目的－消息
Figure BDA00021477334200000930
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200000931
在数据流链路
Figure BDA00021477334200000932
上的时间偏移，记为
Figure BDA00021477334200000933
初始化时，所述
Figure BDA00021477334200000934
所述
Figure BDA00021477334200000935
和所述
Figure BDA00021477334200000936
都赋值为0。
源－目的－消息
Figure BDA00021477334200000937
表示其由源端系统ES2发往目的端系统ES3的最后一条消息，其经过的数据流链路集为
Figure BDA00021477334200000938
Figure BDA00021477334200000939
作为源－目的－消息
Figure BDA00021477334200000940
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000941
在数据流链路
Figure BDA00021477334200000942
上的时间偏移，记为
Figure BDA00021477334200000943
Figure BDA00021477334200000944
作为源－目的－消息
Figure BDA00021477334200000945
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000946
在数据流链路
Figure BDA00021477334200000947
上的时间偏移，记为
Figure BDA00021477334200000948
Figure BDA00021477334200000949
作为源－目的－消息
Figure BDA00021477334200000950
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200000951
在数据流链路
Figure BDA00021477334200000952
上的时间偏移，记为
Figure BDA00021477334200000953
初始化时，所述
Figure BDA00021477334200000954
所述
Figure BDA00021477334200000955
和所述
Figure BDA00021477334200000956
都赋值为0。
(2-3)端系统ES2为源端系统，端系统ESg为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA00021477334200000957
表示其由源端系统ES2发往目的端系统ESg的第一条消息，其经过的数据流链路集为
Figure BDA00021477334200000958
Figure BDA00021477334200000959
作为源－目的－消息
Figure BDA00021477334200000960
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000961
在数据流链路
Figure BDA00021477334200000962
上的时间偏移，记为
Figure BDA00021477334200000963
Figure BDA00021477334200000964
作为源－目的－消息
Figure BDA00021477334200000965
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200000966
在数据流链路
Figure BDA00021477334200000967
上的时间偏移，记为
Figure BDA00021477334200000968
初始化时，所述
Figure BDA00021477334200000969
和
Figure BDA00021477334200000970
都赋值为0。
源－目的－消息
Figure BDA00021477334200000971
表示其由源端系统ES2发往目的端系统ESg的第二条消息，其经过的数据流链路集为
Figure BDA00021477334200000972
Figure BDA00021477334200000973
作为源－目的－消息
Figure BDA00021477334200000974
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200000975
在数据流链路
Figure BDA00021477334200000976
上的时间偏移，记为
Figure BDA00021477334200000977
Figure BDA00021477334200000978
作为源－目的－消息
Figure BDA0002147733420000101
经过的第二条数据流链路；源－目的－消息
Figure BDA0002147733420000102
在数据流链路
Figure BDA0002147733420000103
上的时间偏移，记为
Figure BDA0002147733420000104
初始化时，所述
Figure BDA0002147733420000105
和所述
Figure BDA0002147733420000106
都赋值为0。
源－目的－消息
Figure BDA0002147733420000107
表示其由源端系统ES2发往目的端系统ESg的任意一条消息，其经过的数据流链路集为
Figure BDA0002147733420000108
Figure BDA0002147733420000109
作为源－目的－消息
Figure BDA00021477334200001010
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001011
在数据流链路
Figure BDA00021477334200001012
上的时间偏移，记为
Figure BDA00021477334200001013
Figure BDA00021477334200001014
作为源－目的－消息
Figure BDA00021477334200001015
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001016
在数据流链路
Figure BDA00021477334200001017
上的时间偏移，记为
Figure BDA00021477334200001018
初始化时，所述
Figure BDA00021477334200001019
和所述
Figure BDA00021477334200001020
都赋值为0。
源－目的－消息
Figure BDA00021477334200001021
表示其由源端系统ES2发往目的端系统ESg的最后一条消息，其经过的数据流链路集为
Figure BDA00021477334200001022
Figure BDA00021477334200001023
作为源－目的－消息
Figure BDA00021477334200001024
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001025
在数据流链路
Figure BDA00021477334200001026
上的时间偏移，记为
Figure BDA00021477334200001027
Figure BDA00021477334200001028
作为源－目的－消息
Figure BDA00021477334200001029
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001030
在数据流链路
Figure BDA00021477334200001031
上的时间偏移，记为
Figure BDA00021477334200001032
初始化时，所述
Figure BDA00021477334200001033
和所述
Figure BDA00021477334200001034
都赋值为0。
(2-4)端系统ES2为源端系统，端系统ESG为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA00021477334200001035
表示其由源端系统ES2发往目的端系统ESG的第一条消息，其经过的数据流链路集为
Figure BDA00021477334200001036
Figure BDA00021477334200001037
作为源－目的－消息
Figure BDA00021477334200001038
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001039
在数据流链路
Figure BDA00021477334200001040
上的时间偏移，记为
Figure BDA00021477334200001041
Figure BDA00021477334200001042
作为源－目的－消息
Figure BDA00021477334200001043
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001044
在数据流链路
Figure BDA00021477334200001045
上的时间偏移，记为
Figure BDA00021477334200001046
Figure BDA00021477334200001047
作为源－目的－消息
Figure BDA00021477334200001048
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200001049
在数据流链路
Figure BDA00021477334200001050
上的时间偏移，记为
Figure BDA00021477334200001051
初始化时，所述
Figure BDA00021477334200001052
和所述
Figure BDA00021477334200001053
都赋值为0。
源－目的－消息
Figure BDA00021477334200001054
表示其由源端系统ES2发往目的端系统ESG的第二条消息，其经过的数据流链路集为
Figure BDA00021477334200001055
Figure BDA00021477334200001056
作为源－目的－消息
Figure BDA00021477334200001057
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001058
在数据流链路
Figure BDA00021477334200001059
上的时间偏移，记为
Figure BDA00021477334200001060
Figure BDA00021477334200001061
作为源－目的－消息
Figure BDA00021477334200001062
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001063
在数据流链路
Figure BDA00021477334200001064
上的时间偏移，记为
Figure BDA00021477334200001065
Figure BDA00021477334200001066
作为源－目的－消息
Figure BDA00021477334200001067
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200001068
在数据流链路
Figure BDA00021477334200001069
上的时间偏移，记为
Figure BDA00021477334200001070
初始化时，所述
Figure BDA00021477334200001071
和所述
Figure BDA00021477334200001072
都赋值为0。
源－目的－消息
Figure BDA00021477334200001073
表示其由源端系统ES2发往目的端系统ESG的任意一条消息，其经过的数据流链路集为
Figure BDA0002147733420000111
Figure BDA0002147733420000112
作为源－目的－消息
Figure BDA0002147733420000113
经过的第一条数据流链路；源－目的－消息
Figure BDA0002147733420000114
在数据流链路
Figure BDA0002147733420000115
上的时间偏移，记为
Figure BDA0002147733420000116
Figure BDA0002147733420000117
作为源－目的－消息经过
Figure BDA0002147733420000118
的第二条数据流链路；源－目的－消息
Figure BDA0002147733420000119
在数据流链路
Figure BDA00021477334200001110
上的时间偏移，记为
Figure BDA00021477334200001111
Figure BDA00021477334200001112
作为源－目的－消息
Figure BDA00021477334200001113
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200001114
在数据流链路
Figure BDA00021477334200001115
上的时间偏移，记为
Figure BDA00021477334200001116
初始化时，所述
Figure BDA00021477334200001117
所述
Figure BDA00021477334200001118
和所述
Figure BDA00021477334200001119
都赋值为0。
源－目的－消息
Figure BDA00021477334200001120
表示其由源端系统ES2发往目的端系统ESG的最后一条消息，其经过的数据流链路集为
Figure BDA00021477334200001121
Figure BDA00021477334200001122
作为源－目的－消息
Figure BDA00021477334200001123
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001124
在数据流链路
Figure BDA00021477334200001125
上的时间偏移，记为
Figure BDA00021477334200001126
Figure BDA00021477334200001127
作为源－目的－消息
Figure BDA00021477334200001128
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001129
在数据流链路
Figure BDA00021477334200001130
上的时间偏移，记为
Figure BDA00021477334200001131
Figure BDA00021477334200001132
作为源－目的－消息
Figure BDA00021477334200001133
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200001134
在数据流链路
Figure BDA00021477334200001135
上的时间偏移，记为
Figure BDA00021477334200001136
初始化时，所述
Figure BDA00021477334200001137
所述
Figure BDA00021477334200001138
和所述
Figure BDA00021477334200001139
都赋值为0。
(3-1)端系统ES3为源端系统，端系统ES1为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA00021477334200001140
表示其由源端系统ES3发往目的端系统ES1的第一条消息，其经过的数据流链路集为
Figure BDA00021477334200001141
Figure BDA00021477334200001142
作为源－目的－消息
Figure BDA00021477334200001143
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001144
在数据流链路
Figure BDA00021477334200001145
上的时间偏移，记为
Figure BDA00021477334200001146
Figure BDA00021477334200001147
作为源－目的－消息
Figure BDA00021477334200001148
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001149
在数据流链路
Figure BDA00021477334200001150
上的时间偏移，记为
Figure BDA00021477334200001151
Figure BDA00021477334200001152
作为源－目的－消息
Figure BDA00021477334200001153
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200001154
在数据流链路
Figure BDA00021477334200001155
上的时间偏移，记为
Figure BDA00021477334200001156
初始化时，所述
Figure BDA00021477334200001157
所述
Figure BDA00021477334200001158
记为0和所述
Figure BDA00021477334200001159
都赋值为0。
源－目的－消息
Figure BDA00021477334200001160
表示其由源端系统ES3发往目的端系统ES1的第二条消息，其经过的数据流链路集为
Figure BDA00021477334200001161
Figure BDA00021477334200001162
作为源－目的－消息
Figure BDA00021477334200001163
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001164
在数据流链路
Figure BDA00021477334200001165
上的时间偏移，记为
Figure BDA00021477334200001166
Figure BDA00021477334200001167
作为源－目的－消息
Figure BDA00021477334200001168
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001169
在数据流链路
Figure BDA00021477334200001170
上的时间偏移，记为
Figure BDA00021477334200001171
Figure BDA00021477334200001172
作为源－目的－消息
Figure BDA00021477334200001173
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200001174
在数据流链路
Figure BDA0002147733420000121
上的时间偏移，记为
Figure BDA0002147733420000122
初始化时，所述
Figure BDA0002147733420000123
所述
Figure BDA0002147733420000124
和所述
Figure BDA0002147733420000125
都赋值为0。
源－目的－消息
Figure BDA0002147733420000126
表示其由源端系统ES3发往目的端系统ES1的任意一条消息，其经过的数据流链路集为
Figure BDA0002147733420000127
Figure BDA0002147733420000128
作为源－目的－消息
Figure BDA0002147733420000129
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001210
在数据流链路
Figure BDA00021477334200001211
上的时间偏移，记为
Figure BDA00021477334200001212
Figure BDA00021477334200001213
作为源－目的－消息
Figure BDA00021477334200001214
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001215
在数据流链路
Figure BDA00021477334200001216
上的时间偏移，记为
Figure BDA00021477334200001217
Figure BDA00021477334200001218
作为源－目的－消息
Figure BDA00021477334200001219
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200001220
在数据流链路
Figure BDA00021477334200001221
上的时间偏移，记为
Figure BDA00021477334200001222
初始化时，所述
Figure BDA00021477334200001223
所述
Figure BDA00021477334200001224
和所述
Figure BDA00021477334200001225
都赋值为0。
源－目的－消息
Figure BDA00021477334200001226
表示其由源端系统ES3发往目的端系统ES1的最后一条消息，其经过的数据流链路集为
Figure BDA00021477334200001227
Figure BDA00021477334200001228
作为源－目的－消息
Figure BDA00021477334200001229
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001230
在数据流链路
Figure BDA00021477334200001231
上的时间偏移，记为
Figure BDA00021477334200001232
Figure BDA00021477334200001233
作为源－目的－消息
Figure BDA00021477334200001234
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001235
在数据流链路
Figure BDA00021477334200001236
上的时间偏移，记为
Figure BDA00021477334200001237
Figure BDA00021477334200001238
作为源－目的－消息
Figure BDA00021477334200001239
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200001240
在数据流链路
Figure BDA00021477334200001241
上的时间偏移，记为
Figure BDA00021477334200001242
初始化时，所述
Figure BDA00021477334200001243
所述
Figure BDA00021477334200001244
和所述
Figure BDA00021477334200001245
都赋值为0。
(3-2)端系统ES3为源端系统，端系统ES2为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA00021477334200001246
表示其由源端系统ES3发往目的端系统ES2的第一条消息，其经过的数据流链路集为
Figure BDA00021477334200001247
Figure BDA00021477334200001248
作为源－目的－消息
Figure BDA00021477334200001249
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200001250
在数据流链路
Figure BDA00021477334200001251
上的时间偏移，记为
Figure BDA00021477334200001252
Figure BDA00021477334200001253
作为源－目的－消息
Figure BDA00021477334200001254
经过的第二条数据流链路，源－目的－消息
Figure BDA00021477334200001255
在数据流链路
Figure BDA00021477334200001256
上的时间偏移，记为
Figure BDA00021477334200001257
Figure BDA00021477334200001258
作为源－目的－消息
Figure BDA00021477334200001259
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200001260
在数据流链路
Figure BDA00021477334200001261
上的时间偏移，记为
Figure BDA00021477334200001262
初始化时，所述
Figure BDA00021477334200001263
所述
Figure BDA00021477334200001264
和所述
Figure BDA00021477334200001265
都赋值为0。
源－目的－消息
Figure BDA00021477334200001266
表示其由源端系统ES3发往目的端系统ES2的第二条消息，其经过的数据流链路集为
Figure BDA00021477334200001267
Figure BDA00021477334200001268
作为源－目的－消息
Figure BDA00021477334200001269
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200001270
在数据流链路
Figure BDA00021477334200001271
上的时间偏移，记为
Figure BDA00021477334200001272
Figure BDA00021477334200001273
作为源－目的－消息
Figure BDA00021477334200001274
经过的第二条数据流链路，源－目的－消息
Figure BDA00021477334200001275
在数据流链路
Figure BDA00021477334200001276
上的时间偏移，记为
Figure BDA00021477334200001277
Figure BDA00021477334200001278
作为源－目的－消息
Figure BDA00021477334200001279
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200001280
在数据流链路
Figure BDA0002147733420000131
上的时间偏移，记为
Figure BDA0002147733420000132
初始化时，所述
Figure BDA0002147733420000133
所述
Figure BDA0002147733420000134
和所述
Figure BDA0002147733420000135
都赋值为0。
源－目的－消息
Figure BDA0002147733420000136
表示其由源端系统ES3发往目的端系统ES2的任意一条消息，其经过的数据流链路集为
Figure BDA0002147733420000137
Figure BDA0002147733420000138
作为源－目的－消息
Figure BDA0002147733420000139
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200001310
在数据流链路
Figure BDA00021477334200001311
上的时间偏移，记为
Figure BDA00021477334200001312
Figure BDA00021477334200001313
作为源－目的－消息
Figure BDA00021477334200001314
经过的第二条数据流链路，源－目的－消息
Figure BDA00021477334200001315
在数据流链路
Figure BDA00021477334200001316
上的时间偏移，记为
Figure BDA00021477334200001317
Figure BDA00021477334200001318
作为源－目的－消息
Figure BDA00021477334200001319
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200001320
在数据流链路
Figure BDA00021477334200001321
上的时间偏移，记为
Figure BDA00021477334200001322
初始化时，所述
Figure BDA00021477334200001323
所述
Figure BDA00021477334200001324
和所述
Figure BDA00021477334200001325
都赋值为0。
源－目的－消息
Figure BDA00021477334200001326
表示其由源端系统ES3发往目的端系统ES2的最后一条消息，其经过的数据流链路集为
Figure BDA00021477334200001327
Figure BDA00021477334200001328
作为源－目的－消息
Figure BDA00021477334200001329
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200001330
在数据流链路
Figure BDA00021477334200001331
上的时间偏移，记为
Figure BDA00021477334200001332
Figure BDA00021477334200001333
作为源－目的－消息
Figure BDA00021477334200001334
经过的第二条数据流链路，源－目的－消息
Figure BDA00021477334200001335
在数据流链路
Figure BDA00021477334200001336
上的时间偏移，记为
Figure BDA00021477334200001337
Figure BDA00021477334200001338
作为源－目的－消息
Figure BDA00021477334200001339
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200001340
在数据流链路
Figure BDA00021477334200001341
上的时间偏移，记为
Figure BDA00021477334200001342
初始化时，所述
Figure BDA00021477334200001343
所述
Figure BDA00021477334200001344
和所述
Figure BDA00021477334200001345
都赋值为0。
(3-3)端系统ES3为源端系统，端系统ESg为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA00021477334200001346
表示其由源端系统ES3发往目的端系统ESg的第一条消息，其经过的数据流链路集为
Figure BDA00021477334200001347
Figure BDA00021477334200001348
作为源－目的－消息
Figure BDA00021477334200001349
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200001350
在数据流链路
Figure BDA00021477334200001351
上的时间偏移，记为
Figure BDA00021477334200001352
Figure BDA00021477334200001353
作为源－目的－消息
Figure BDA00021477334200001354
经过的第二条数据流链路。源－目的－消息
Figure BDA00021477334200001355
在数据流链路
Figure BDA00021477334200001356
上的时间偏移，记为
Figure BDA00021477334200001357
Figure BDA00021477334200001358
作为源－目的－消息
Figure BDA00021477334200001359
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200001360
在数据流链路
Figure BDA00021477334200001361
上的时间偏移，记为
Figure BDA00021477334200001362
初始化时，所述
Figure BDA00021477334200001363
所述
Figure BDA00021477334200001364
和所述
Figure BDA00021477334200001365
都赋值为0。
源－目的－消息
Figure BDA00021477334200001366
表示其由源端系统ES3发往目的端系统ESg的第二条消息，其经过的数据流链路集为
Figure BDA00021477334200001367
Figure BDA00021477334200001368
作为源－目的－消息
Figure BDA00021477334200001369
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200001370
在数据流链路
Figure BDA00021477334200001371
上的时间偏移，记为
Figure BDA00021477334200001372
Figure BDA00021477334200001373
作为源－目的－消息
Figure BDA00021477334200001374
经过的第二条数据流链路。源－目的－消息
Figure BDA00021477334200001375
在数据流链路
Figure BDA00021477334200001376
上的时间偏移，记为
Figure BDA0002147733420000141
Figure BDA0002147733420000142
作为源－目的－消息
Figure BDA0002147733420000143
经过的第三条数据流链路。源－目的－消息
Figure BDA0002147733420000144
在数据流链路
Figure BDA0002147733420000145
上的时间偏移，记为
Figure BDA0002147733420000146
初始化时，所述
Figure BDA0002147733420000147
所述
Figure BDA0002147733420000148
和所述
Figure BDA0002147733420000149
都赋值为0。
源－目的－消息
Figure BDA00021477334200001410
表示其由源端系统ES3发往目的端系统ESg的任意一条消息，其经过的数据流链路集为
Figure BDA00021477334200001411
Figure BDA00021477334200001412
作为源－目的－消息
Figure BDA00021477334200001413
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200001414
在数据流链路
Figure BDA00021477334200001415
上的时间偏移，记为
Figure BDA00021477334200001416
Figure BDA00021477334200001417
作为源－目的－消息
Figure BDA00021477334200001418
经过的第二条数据流链路。源－目的－消息
Figure BDA00021477334200001419
在数据流链路
Figure BDA00021477334200001420
上的时间偏移，记为
Figure BDA00021477334200001421
Figure BDA00021477334200001422
作为源－目的－消息
Figure BDA00021477334200001423
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200001424
在数据流链路
Figure BDA00021477334200001425
上的时间偏移，记为
Figure BDA00021477334200001426
初始化时，所述
Figure BDA00021477334200001427
所述
Figure BDA00021477334200001428
和所述
Figure BDA00021477334200001429
都赋值为0。
源－目的－消息
Figure BDA00021477334200001430
表示其由源端系统ES3发往目的端系统ESg的最后一条消息，其经过的数据流链路集为
Figure BDA00021477334200001431
Figure BDA00021477334200001432
作为源－目的－消息
Figure BDA00021477334200001433
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200001434
在数据流链路
Figure BDA00021477334200001435
上的时间偏移，记为
Figure BDA00021477334200001436
Figure BDA00021477334200001437
作为源－目的－消息
Figure BDA00021477334200001438
经过的第二条数据流链路。源－目的－消息
Figure BDA00021477334200001439
在数据流链路
Figure BDA00021477334200001440
上的时间偏移，记为
Figure BDA00021477334200001441
Figure BDA00021477334200001442
作为源－目的－消息
Figure BDA00021477334200001443
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200001444
在数据流链路
Figure BDA00021477334200001445
上的时间偏移，记为
Figure BDA00021477334200001446
初始化时，所述
Figure BDA00021477334200001447
所述
Figure BDA00021477334200001448
和所述
Figure BDA00021477334200001449
都赋值为0。
(3-4)端系统ES3为源端系统，端系统ESG为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA00021477334200001450
表示其由源端系统ES3发往目的端系统ESG的第一条消息，其经过的数据流链路集为
Figure BDA00021477334200001451
Figure BDA00021477334200001452
作为源－目的－消息
Figure BDA00021477334200001453
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200001454
在数据流链路
Figure BDA00021477334200001455
上的时间偏移，记为
Figure BDA00021477334200001456
Figure BDA00021477334200001457
作为源－目的－消息
Figure BDA00021477334200001458
经过的第二条数据流链路。源－目的－消息
Figure BDA00021477334200001459
在数据流链路
Figure BDA00021477334200001460
上的时间偏移，记为
Figure BDA00021477334200001461
初始化时，所述
Figure BDA00021477334200001462
和所述
Figure BDA00021477334200001463
都赋值为0。
源－目的－消息
Figure BDA00021477334200001464
表示其由源端系统ES3发往目的端系统ESG的第二条消息，其经过的数据流链路集为
Figure BDA00021477334200001465
Figure BDA00021477334200001466
作为源－目的－消息
Figure BDA00021477334200001467
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200001468
在数据流链路
Figure BDA00021477334200001469
上的时间偏移，记为
Figure BDA00021477334200001470
Figure BDA00021477334200001471
作为源－目的－消息
Figure BDA00021477334200001472
经过的第二条数据流链路。源－目的－消息
Figure BDA00021477334200001473
在数据流链路
Figure BDA00021477334200001474
上的时间偏移，记为
Figure BDA00021477334200001475
初始化时，所述
Figure BDA00021477334200001476
和所述
Figure BDA00021477334200001477
都赋值为0。
源－目的－消息
Figure BDA0002147733420000151
表示其由源端系统ES3发往目的端系统ESG的任意一条消息，其经过的数据流链路集为
Figure BDA0002147733420000152
Figure BDA0002147733420000153
作为源－目的－消息
Figure BDA0002147733420000154
经过的第一条数据流链路，源－目的－消息
Figure BDA0002147733420000155
在数据流链路
Figure BDA0002147733420000156
上的时间偏移，记为
Figure BDA0002147733420000157
Figure BDA0002147733420000158
作为源－目的－消息
Figure BDA0002147733420000159
经过的第二条数据流链路。源－目的－消息
Figure BDA00021477334200001510
在数据流链路
Figure BDA00021477334200001511
上的时间偏移，记为
Figure BDA00021477334200001512
初始化时，所述
Figure BDA00021477334200001513
和所述
Figure BDA00021477334200001514
都赋值为0。
源－目的－消息
Figure BDA00021477334200001515
表示其由源端系统ES3发往目的端系统ESG的最后一条消息，其经过的数据流链路集为
Figure BDA00021477334200001516
Figure BDA00021477334200001517
作为源－目的－消息
Figure BDA00021477334200001518
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200001519
在数据流链路
Figure BDA00021477334200001520
上的时间偏移，记为
Figure BDA00021477334200001521
Figure BDA00021477334200001522
作为源－目的－消息
Figure BDA00021477334200001523
经过的第二条数据流链路。源－目的－消息
Figure BDA00021477334200001524
在数据流链路
Figure BDA00021477334200001525
上的时间偏移，记为
Figure BDA00021477334200001526
初始化时，所述
Figure BDA00021477334200001527
和所述
Figure BDA00021477334200001528
都赋值为0。
(4-1)端系统ESg为源端系统，端系统ES1为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA00021477334200001529
表示其由源端系统ESg发往目的端系统ES1的第一条消息，其经过的数据流链路集为
Figure BDA00021477334200001530
Figure BDA00021477334200001531
作为源－目的－消息
Figure BDA00021477334200001532
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200001533
在数据流链路
Figure BDA00021477334200001534
上的时间偏移，记为
Figure BDA00021477334200001535
Figure BDA00021477334200001536
作为源－目的－消息
Figure BDA00021477334200001537
经过的第二条数据流链路。源－目的－消息
Figure BDA00021477334200001538
在数据流链路
Figure BDA00021477334200001539
上的时间偏移，记为
Figure BDA00021477334200001540
初始化时，所述
Figure BDA00021477334200001541
和所述
Figure BDA00021477334200001542
都赋值为0。
源－目的－消息
Figure BDA00021477334200001543
表示其由源端系统ESg发往目的端系统ES1的第二条消息，其经过的数据流链路集为
Figure BDA00021477334200001544
Figure BDA00021477334200001545
作为源－目的－消息
Figure BDA00021477334200001546
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200001547
在数据流链路
Figure BDA00021477334200001548
上的时间偏移，记为
Figure BDA00021477334200001549
Figure BDA00021477334200001550
作为源－目的－消息
Figure BDA00021477334200001551
经过的第二条数据流链路。源－目的－消息
Figure BDA00021477334200001552
在数据流链路
Figure BDA00021477334200001553
上的时间偏移，记为
Figure BDA00021477334200001554
初始化时，所述
Figure BDA00021477334200001555
和所述
Figure BDA00021477334200001556
都赋值为0。
源－目的－消息
Figure BDA00021477334200001557
表示其由源端系统ESg发往目的端系统ES1的任意一条消息，其经过的数据流链路集为
Figure BDA00021477334200001558
Figure BDA00021477334200001559
作为源－目的－消息
Figure BDA00021477334200001560
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200001561
在数据流链路
Figure BDA00021477334200001562
上的时间偏移，记为
Figure BDA00021477334200001563
Figure BDA00021477334200001564
作为源－目的－消息
Figure BDA00021477334200001565
经过的第二条数据流链路。源－目的－消息
Figure BDA00021477334200001566
在数据流链路
Figure BDA00021477334200001567
上的时间偏移，记为
Figure BDA00021477334200001568
初始化时，所述
Figure BDA00021477334200001569
和所述
Figure BDA00021477334200001570
都赋值为0。
源－目的－消息
Figure BDA00021477334200001571
表示其由源端系统ESg发往目的端系统ES1的最后一条消息，其经过的数据流链路集为
Figure BDA0002147733420000161
Figure BDA0002147733420000162
作为源－目的－消息
Figure BDA0002147733420000163
经过的第一条数据流链路，源－目的－消息
Figure BDA0002147733420000164
在数据流链路
Figure BDA0002147733420000165
上的时间偏移，记为
Figure BDA0002147733420000166
Figure BDA0002147733420000167
作为源－目的－消息
Figure BDA0002147733420000168
经过的第二条数据流链路。源－目的－消息
Figure BDA0002147733420000169
在数据流链路
Figure BDA00021477334200001610
上的时间偏移，记为
Figure BDA00021477334200001611
初始化时，所述
Figure BDA00021477334200001612
和所述
Figure BDA00021477334200001613
都赋值为0。
(4-2)端系统ESg为源端系统，端系统ES2为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA00021477334200001614
表示其由源端系统ESg发往目的端系统ES2的第一条消息；其经过的数据流链路集为
Figure BDA00021477334200001615
Figure BDA00021477334200001616
作为源－目的－消息
Figure BDA00021477334200001617
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001618
在数据流链路
Figure BDA00021477334200001619
上的时间偏移，记为
Figure BDA00021477334200001620
Figure BDA00021477334200001621
作为源－目的－消息
Figure BDA00021477334200001622
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001623
在数据流链路
Figure BDA00021477334200001624
上的时间偏移，记为
Figure BDA00021477334200001625
初始化时，所述
Figure BDA00021477334200001626
和
Figure BDA00021477334200001627
都赋值为0。
源－目的－消息
Figure BDA00021477334200001628
表示其由源端系统ESg发往目的端系统ES2的第二条消息；其经过的数据流链路集为
Figure BDA00021477334200001629
Figure BDA00021477334200001630
作为源－目的－消息
Figure BDA00021477334200001631
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001632
在数据流链路
Figure BDA00021477334200001633
上的时间偏移，记为
Figure BDA00021477334200001634
Figure BDA00021477334200001635
作为源－目的－消息
Figure BDA00021477334200001636
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001637
在数据流链路
Figure BDA00021477334200001638
上的时间偏移，记为
Figure BDA00021477334200001639
初始化时，所述
Figure BDA00021477334200001640
和
Figure BDA00021477334200001641
都赋值为0。
源－目的－消息
Figure BDA00021477334200001642
表示其由源端系统ESg发往目的端系统ES2的任意一条消息；其经过的数据流链路集为
Figure BDA00021477334200001643
Figure BDA00021477334200001644
作为源－目的－消息
Figure BDA00021477334200001645
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001646
在数据流链路
Figure BDA00021477334200001647
上的时间偏移，记为
Figure BDA00021477334200001648
Figure BDA00021477334200001649
作为源－目的－消息
Figure BDA00021477334200001650
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001651
在数据流链路
Figure BDA00021477334200001652
上的时间偏移，记为
Figure BDA00021477334200001653
初始化时，所述
Figure BDA00021477334200001654
和
Figure BDA00021477334200001655
都赋值为0。
源－目的－消息
Figure BDA00021477334200001656
表示其由源端系统ESg发往目的端系统ES2的最后一条消息；其经过的数据流链路集为
Figure BDA00021477334200001657
Figure BDA00021477334200001658
作为源－目的－消息
Figure BDA00021477334200001659
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001660
在数据流链路
Figure BDA00021477334200001661
上的时间偏移，记为
Figure BDA00021477334200001662
Figure BDA00021477334200001663
作为源－目的－消息
Figure BDA00021477334200001664
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001665
在数据流链路
Figure BDA00021477334200001666
上的时间偏移，记为
Figure BDA00021477334200001667
初始化时，所述
Figure BDA00021477334200001668
和
Figure BDA00021477334200001669
都赋值为0。
(4-3)端系统ESg为源端系统，端系统ES3为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA0002147733420000171
表示其由源端系统ESg发往目的端系统ES3的第一条消息；其经过的数据流链路集为
Figure BDA0002147733420000172
Figure BDA0002147733420000173
作为源－目的－消息
Figure BDA0002147733420000174
经过的第一条数据流链路；源－目的－消息
Figure BDA0002147733420000175
在数据流链路
Figure BDA0002147733420000176
上的时间偏移，记为
Figure BDA0002147733420000177
Figure BDA0002147733420000178
作为源－目的－消息
Figure BDA0002147733420000179
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001710
在数据流链路
Figure BDA00021477334200001711
上的时间偏移，记为
Figure BDA00021477334200001712
Figure BDA00021477334200001713
作为源－目的－消息
Figure BDA00021477334200001714
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200001715
在数据流链路
Figure BDA00021477334200001716
上的时间偏移，记为
Figure BDA00021477334200001717
初始化时，所述
Figure BDA00021477334200001718
所述
Figure BDA00021477334200001719
和所述
Figure BDA00021477334200001720
都赋值为0。
源－目的－消息
Figure BDA00021477334200001721
表示其由源端系统ESg发往目的端系统ES3的第二条消息；其经过的数据流链路集为
Figure BDA00021477334200001722
Figure BDA00021477334200001723
作为源－目的－消息
Figure BDA00021477334200001724
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001725
在数据流链路
Figure BDA00021477334200001726
上的时间偏移，记为
Figure BDA00021477334200001727
Figure BDA00021477334200001728
作为源－目的－消息
Figure BDA00021477334200001729
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001730
在数据流链路
Figure BDA00021477334200001731
上的时间偏移，记为
Figure BDA00021477334200001732
Figure BDA00021477334200001733
作为源－目的－消息
Figure BDA00021477334200001734
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200001735
在数据流链路
Figure BDA00021477334200001736
上的时间偏移，记为
Figure BDA00021477334200001737
初始化时，所述
Figure BDA00021477334200001738
所述
Figure BDA00021477334200001739
和所述
Figure BDA00021477334200001740
都赋值为0。
源－目的－消息
Figure BDA00021477334200001741
表示其由源端系统ESg发往目的端系统ES3的任意一条消息；其经过的数据流链路集为
Figure BDA00021477334200001742
Figure BDA00021477334200001743
作为源－目的－消息
Figure BDA00021477334200001744
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001745
在数据流链路
Figure BDA00021477334200001746
上的时间偏移，记为
Figure BDA00021477334200001747
Figure BDA00021477334200001748
作为源－目的－消息
Figure BDA00021477334200001749
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001750
在数据流链路
Figure BDA00021477334200001751
上的时间偏移，记为
Figure BDA00021477334200001752
Figure BDA00021477334200001753
作为源－目的－消息
Figure BDA00021477334200001754
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200001755
在数据流链路
Figure BDA00021477334200001756
上的时间偏移，记为
Figure BDA00021477334200001757
初始化时，所述
Figure BDA00021477334200001758
所述
Figure BDA00021477334200001759
和所述
Figure BDA00021477334200001760
都赋值为0。
源－目的－消息
Figure BDA00021477334200001761
表示其由源端系统ESg发往目的端系统ES3的最后一条消息；其经过的数据流链路集为
Figure BDA00021477334200001762
Figure BDA00021477334200001763
作为源－目的－消息
Figure BDA00021477334200001764
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001765
在数据流链路
Figure BDA00021477334200001766
上的时间偏移，记为
Figure BDA00021477334200001767
Figure BDA00021477334200001768
作为源－目的－消息
Figure BDA00021477334200001769
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001770
在数据流链路
Figure BDA00021477334200001771
上的时间偏移，记为
Figure BDA00021477334200001772
Figure BDA00021477334200001773
作为源－目的－消息
Figure BDA00021477334200001774
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200001775
在数据流链路
Figure BDA0002147733420000181
上的时间偏移，记为
Figure BDA0002147733420000182
初始化时，所述
Figure BDA0002147733420000183
所述
Figure BDA0002147733420000184
和所述
Figure BDA0002147733420000185
都赋值为0。
(4-4)端系统ESg为源端系统，端系统ESG为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA0002147733420000186
表示其由源端系统ESg发往目的端系统ESG的第一条消息；其经过的数据流链路集为
Figure BDA0002147733420000187
Figure BDA0002147733420000188
作为源－目的－消息
Figure BDA0002147733420000189
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001810
在数据流链路
Figure BDA00021477334200001811
上的时间偏移，记为
Figure BDA00021477334200001812
Figure BDA00021477334200001813
作为源－目的－消息
Figure BDA00021477334200001814
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001815
在数据流链路
Figure BDA00021477334200001816
上的时间偏移，记为
Figure BDA00021477334200001817
Figure BDA00021477334200001818
作为源－目的－消息
Figure BDA00021477334200001819
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200001820
在数据流链路
Figure BDA00021477334200001821
上的时间偏移，记为
Figure BDA00021477334200001822
初始化时，所述
Figure BDA00021477334200001823
所述
Figure BDA00021477334200001824
和所述
Figure BDA00021477334200001825
都赋值为0。
源－目的－消息
Figure BDA00021477334200001826
表示其由源端系统ESg发往目的端系统ESG的第二条消息；其经过的数据流链路集为
Figure BDA00021477334200001827
Figure BDA00021477334200001828
作为源－目的－消息
Figure BDA00021477334200001829
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001830
在数据流链路
Figure BDA00021477334200001831
上的时间偏移，记为
Figure BDA00021477334200001832
Figure BDA00021477334200001833
作为源－目的－消息
Figure BDA00021477334200001834
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001835
在数据流链路
Figure BDA00021477334200001836
上的时间偏移，记为
Figure BDA00021477334200001837
Figure BDA00021477334200001838
作为源－目的－消息
Figure BDA00021477334200001839
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200001840
在数据流链路
Figure BDA00021477334200001841
上的时间偏移，记为
Figure BDA00021477334200001842
初始化时，所述
Figure BDA00021477334200001843
所述
Figure BDA00021477334200001844
和所述
Figure BDA00021477334200001845
都赋值为0。
源－目的－消息
Figure BDA00021477334200001846
表示其由源端系统ESg发往目的端系统ESG的任意一条消息；其经过的数据流链路集为
Figure BDA00021477334200001847
Figure BDA00021477334200001848
作为源－目的－消息
Figure BDA00021477334200001849
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001850
在数据流链路
Figure BDA00021477334200001851
上的时间偏移，记为
Figure BDA00021477334200001852
Figure BDA00021477334200001853
作为源－目的－消息
Figure BDA00021477334200001854
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001855
在数据流链路
Figure BDA00021477334200001856
上的时间偏移，记为
Figure BDA00021477334200001857
Figure BDA00021477334200001858
作为源－目的－消息
Figure BDA00021477334200001859
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200001860
在数据流链路
Figure BDA00021477334200001861
上的时间偏移，记为
Figure BDA00021477334200001862
初始化时，所述
Figure BDA00021477334200001863
所述
Figure BDA00021477334200001864
和所述
Figure BDA00021477334200001865
都赋值为0。
源－目的－消息
Figure BDA00021477334200001866
表示其由源端系统ESg发往目的端系统ESG的最后一条消息；其经过的数据流链路集为
Figure BDA00021477334200001867
Figure BDA00021477334200001868
作为源－目的－消息
Figure BDA00021477334200001869
经过的第一条数据流链路；源－目的－消息
Figure BDA0002147733420000191
在数据流链路
Figure BDA0002147733420000192
上的时间偏移，记为
Figure BDA0002147733420000193
Figure BDA0002147733420000194
作为源－目的－消息
Figure BDA0002147733420000195
经过的第二条数据流链路；源－目的－消息
Figure BDA0002147733420000196
在数据流链路
Figure BDA0002147733420000197
上的时间偏移，记为
Figure BDA0002147733420000198
Figure BDA0002147733420000199
作为源－目的－消息
Figure BDA00021477334200001910
经过的第三条数据流链路；源－目的－消息
Figure BDA00021477334200001911
在数据流链路
Figure BDA00021477334200001912
上的时间偏移，记为
Figure BDA00021477334200001913
初始化时，所述
Figure BDA00021477334200001914
所述
Figure BDA00021477334200001915
和所述
Figure BDA00021477334200001916
都赋值为0。
(5-1)端系统ESG为源端系统，端系统ES1为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA00021477334200001917
表示其由源端系统ESG发往目的端系统ES1的第一条消息；其经过的数据流链路集为
Figure BDA00021477334200001918
Figure BDA00021477334200001919
作为源－目的－消息
Figure BDA00021477334200001920
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001921
在数据流链路
Figure BDA00021477334200001922
上的时间偏移，记为
Figure BDA00021477334200001923
Figure BDA00021477334200001924
作为源－目的－消息
Figure BDA00021477334200001925
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001926
在数据流链路
Figure BDA00021477334200001927
上的时间偏移，记为
Figure BDA00021477334200001928
Figure BDA00021477334200001929
作为源－目的－消息
Figure BDA00021477334200001930
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200001931
在数据流链路
Figure BDA00021477334200001932
上的时间偏移，记为
Figure BDA00021477334200001933
初始化时，所述
Figure BDA00021477334200001934
所述
Figure BDA00021477334200001935
记为0和所述
Figure BDA00021477334200001936
都赋值为0。
源－目的－消息
Figure BDA00021477334200001937
表示其由源端系统ESG发往目的端系统ES1的第二条消息；
Figure BDA00021477334200001938
作为源－目的－消息
Figure BDA00021477334200001939
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001940
在数据流链路
Figure BDA00021477334200001941
上的时间偏移，记为
Figure BDA00021477334200001942
Figure BDA00021477334200001943
作为源－目的－消息
Figure BDA00021477334200001944
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001945
在数据流链路
Figure BDA00021477334200001946
上的时间偏移，记为
Figure BDA00021477334200001947
Figure BDA00021477334200001948
作为源－目的－消息
Figure BDA00021477334200001949
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200001950
在数据流链路
Figure BDA00021477334200001951
上的时间偏移，记为
Figure BDA00021477334200001952
初始化时，所述
Figure BDA00021477334200001953
所述
Figure BDA00021477334200001954
记为0和所述
Figure BDA00021477334200001955
都赋值为0。
源－目的－消息
Figure BDA00021477334200001956
表示其由源端系统ESG发往目的端系统ES1的任意一条消息；
Figure BDA00021477334200001957
作为源－目的－消息
Figure BDA00021477334200001958
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001959
在数据流链路
Figure BDA00021477334200001960
上的时间偏移，记为
Figure BDA00021477334200001961
Figure BDA00021477334200001962
作为源－目的－消息
Figure BDA00021477334200001963
经过的第二条数据流链路；源－目的－消息
Figure BDA00021477334200001964
在数据流链路
Figure BDA00021477334200001965
上的时间偏移，记为
Figure BDA00021477334200001966
Figure BDA00021477334200001967
作为源－目的－消息
Figure BDA00021477334200001968
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200001969
在数据流链路
Figure BDA00021477334200001970
上的时间偏移，记为
Figure BDA00021477334200001971
初始化时，所述
Figure BDA00021477334200001972
所述
Figure BDA00021477334200001973
记为0和所述
Figure BDA00021477334200001974
都赋值为0。
源－目的－消息
Figure BDA00021477334200001975
表示其由源端系统ESG发往目的端系统ES1的最后一条消息；
Figure BDA00021477334200001976
作为源－目的－消息
Figure BDA00021477334200001977
经过的第一条数据流链路；源－目的－消息
Figure BDA00021477334200001978
在数据流链路
Figure BDA0002147733420000201
上的时间偏移，记为
Figure BDA0002147733420000202
Figure BDA0002147733420000203
作为源－目的－消息
Figure BDA0002147733420000204
经过的第二条数据流链路；源－目的－消息
Figure BDA0002147733420000205
在数据流链路
Figure BDA0002147733420000206
上的时间偏移，记为
Figure BDA0002147733420000207
Figure BDA0002147733420000208
作为源－目的－消息
Figure BDA0002147733420000209
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200002010
在数据流链路
Figure BDA00021477334200002011
上的时间偏移，记为
Figure BDA00021477334200002012
初始化时，所述
Figure BDA00021477334200002013
所述
Figure BDA00021477334200002014
记为0和所述
Figure BDA00021477334200002015
都赋值为0。
(5-2)端系统ESG为源端系统，端系统ES2为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA00021477334200002016
表示其由源端系统ESG发往目的端系统ES2的第一条消息；其经过的数据流链路集为
Figure BDA00021477334200002017
Figure BDA00021477334200002018
作为源－目的－消息
Figure BDA00021477334200002019
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200002020
在数据流链路
Figure BDA00021477334200002021
上的时间偏移，记为
Figure BDA00021477334200002022
Figure BDA00021477334200002023
作为源－目的－消息
Figure BDA00021477334200002024
经过的第二条数据流链路，源－目的－消息
Figure BDA00021477334200002025
在数据流链路
Figure BDA00021477334200002026
上的时间偏移，记为
Figure BDA00021477334200002027
Figure BDA00021477334200002028
作为源－目的－消息
Figure BDA00021477334200002029
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200002030
在数据流链路
Figure BDA00021477334200002031
上的时间偏移，记为
Figure BDA00021477334200002032
初始化时，所述
Figure BDA00021477334200002033
所述
Figure BDA00021477334200002034
和所述
Figure BDA00021477334200002035
都赋值为0。
源－目的－消息
Figure BDA00021477334200002036
表示其由源端系统ESG发往目的端系统ES2的第二条消息；其经过的数据流链路集为
Figure BDA00021477334200002037
Figure BDA00021477334200002038
作为源－目的－消息
Figure BDA00021477334200002039
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200002040
在数据流链路
Figure BDA00021477334200002041
上的时间偏移，记为
Figure BDA00021477334200002042
Figure BDA00021477334200002043
作为源－目的－消息
Figure BDA00021477334200002044
经过的第二条数据流链路，源－目的－消息
Figure BDA00021477334200002045
在数据流链路
Figure BDA00021477334200002046
上的时间偏移，记为
Figure BDA00021477334200002047
Figure BDA00021477334200002048
作为源－目的－消息
Figure BDA00021477334200002049
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200002050
在数据流链路
Figure BDA00021477334200002051
上的时间偏移，记为
Figure BDA00021477334200002052
初始化时，所述
Figure BDA00021477334200002053
所述
Figure BDA00021477334200002054
和所述
Figure BDA00021477334200002055
都赋值为0。
源－目的－消息
Figure BDA00021477334200002056
表示其由源端系统ESG发往目的端系统ES2的任意一条消息；其经过的数据流链路集为
Figure BDA00021477334200002057
Figure BDA00021477334200002058
作为源－目的－消息
Figure BDA00021477334200002059
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200002060
在数据流链路
Figure BDA00021477334200002061
上的时间偏移，记为
Figure BDA00021477334200002062
Figure BDA00021477334200002063
作为源－目的－消息
Figure BDA00021477334200002064
经过的第二条数据流链路，源－目的－消息
Figure BDA00021477334200002065
在数据流链路
Figure BDA00021477334200002066
上的时间偏移，记为
Figure BDA00021477334200002067
Figure BDA00021477334200002068
作为源－目的－消息
Figure BDA00021477334200002069
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200002070
在数据流链路
Figure BDA00021477334200002071
上的时间偏移，记为
Figure BDA00021477334200002072
初始化时，所述
Figure BDA00021477334200002073
所述
Figure BDA00021477334200002074
和所述
Figure BDA00021477334200002075
都赋值为0。
源－目的－消息
Figure BDA00021477334200002076
表示其由源端系统ESG发往目的端系统ES2的最后一条消息；其经过的数据流链路集为
Figure BDA00021477334200002077
Figure BDA00021477334200002078
作为源－目的－消息
Figure BDA00021477334200002079
经过的第一条数据流链路，源－目的－消息
Figure BDA0002147733420000211
在数据流链路
Figure BDA0002147733420000212
上的时间偏移，记为
Figure BDA0002147733420000213
Figure BDA0002147733420000214
作为源－目的－消息
Figure BDA0002147733420000215
经过的第二条数据流链路，源－目的－消息
Figure BDA0002147733420000216
在数据流链路
Figure BDA0002147733420000217
上的时间偏移，记为
Figure BDA0002147733420000218
Figure BDA0002147733420000219
作为源－目的－消息
Figure BDA00021477334200002110
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200002111
在数据流链路
Figure BDA00021477334200002112
上的时间偏移，记为
Figure BDA00021477334200002113
初始化时，所述
Figure BDA00021477334200002114
所述
Figure BDA00021477334200002115
和所述
Figure BDA00021477334200002116
都赋值为0。
(5-3)端系统ESG为源端系统，端系统ES3为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA00021477334200002117
表示其由源端系统ESG发往目的端系统ES3的第一条消息；其经过的数据流链路集为
Figure BDA00021477334200002118
Figure BDA00021477334200002119
作为源－目的－消息
Figure BDA00021477334200002120
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200002121
在数据流链路
Figure BDA00021477334200002122
上的时间偏移，记为
Figure BDA00021477334200002123
Figure BDA00021477334200002124
作为源－目的－消息
Figure BDA00021477334200002125
经过的第二条数据流链路，源－目的－消息
Figure BDA00021477334200002126
在数据流链路
Figure BDA00021477334200002127
上的时间偏移，记为
Figure BDA00021477334200002128
Figure BDA00021477334200002129
作为源－目的－消息
Figure BDA00021477334200002130
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200002131
在数据流链路
Figure BDA00021477334200002132
上的时间偏移，记为
Figure BDA00021477334200002133
初始化时，所述
Figure BDA00021477334200002134
所述
Figure BDA00021477334200002135
和所述
Figure BDA00021477334200002136
都赋值为0。
源－目的－消息
Figure BDA00021477334200002137
表示其由源端系统ESG发往目的端系统ES3的第二条消息；
Figure BDA00021477334200002138
作为源－目的－消息
Figure BDA00021477334200002139
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200002140
在数据流链路
Figure BDA00021477334200002141
上的时间偏移，记为
Figure BDA00021477334200002142
Figure BDA00021477334200002143
作为源－目的－消息
Figure BDA00021477334200002144
经过的第二条数据流链路，源－目的－消息
Figure BDA00021477334200002145
在数据流链路
Figure BDA00021477334200002146
上的时间偏移，记为
Figure BDA00021477334200002147
Figure BDA00021477334200002148
作为源－目的－消息
Figure BDA00021477334200002149
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200002150
在数据流链路
Figure BDA00021477334200002151
上的时间偏移，记为
Figure BDA00021477334200002152
初始化时，所述
Figure BDA00021477334200002153
所述
Figure BDA00021477334200002154
和所述
Figure BDA00021477334200002155
都赋值为0。
源－目的－消息
Figure BDA00021477334200002156
表示其由源端系统ESG发往目的端系统ES3的任意一条消息；
Figure BDA00021477334200002157
作为源－目的－消息
Figure BDA00021477334200002158
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200002159
在数据流链路
Figure BDA00021477334200002160
上的时间偏移，记为
Figure BDA00021477334200002161
Figure BDA00021477334200002162
作为源－目的－消息
Figure BDA00021477334200002163
经过的第二条数据流链路，源－目的－消息
Figure BDA00021477334200002164
在数据流链路
Figure BDA00021477334200002165
上的时间偏移，记为
Figure BDA00021477334200002166
Figure BDA00021477334200002167
作为源－目的－消息
Figure BDA00021477334200002168
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200002169
在数据流链路
Figure BDA00021477334200002170
上的时间偏移，记为
Figure BDA00021477334200002171
初始化时，所述
Figure BDA00021477334200002172
所述
Figure BDA00021477334200002173
和所述
Figure BDA00021477334200002174
都赋值为0。
源－目的－消息
Figure BDA00021477334200002175
表示其由源端系统ESG发往目的端系统ES3的最后一条消息。
Figure BDA00021477334200002176
作为源－目的－消息
Figure BDA00021477334200002177
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200002178
在数据流链路
Figure BDA00021477334200002179
上的时间偏移，记为
Figure BDA00021477334200002180
Figure BDA00021477334200002181
作为源－目的－消息
Figure BDA00021477334200002182
经过的第二条数据流链路，源－目的－消息
Figure BDA0002147733420000221
在数据流链路
Figure BDA0002147733420000222
上的时间偏移，记为
Figure BDA0002147733420000223
Figure BDA0002147733420000224
作为源－目的－消息
Figure BDA0002147733420000225
经过的第三条数据流链路。源－目的－消息
Figure BDA0002147733420000226
在数据流链路
Figure BDA0002147733420000227
上的时间偏移，记为
Figure BDA0002147733420000228
初始化时，所述
Figure BDA0002147733420000229
所述
Figure BDA00021477334200002210
和所述
Figure BDA00021477334200002211
都赋值为0。
(5-4)端系统ESG为源端系统，端系统ESg为目的端系统的源－目的－消息记为：
源－目的－消息
Figure BDA00021477334200002212
表示其由源端系统ESG发往目的端系统ESg的第一条消息；其经过的数据流链路集为
Figure BDA00021477334200002213
Figure BDA00021477334200002214
作为源－目的－消息
Figure BDA00021477334200002215
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200002216
在数据流链路
Figure BDA00021477334200002217
上的时间偏移，记为
Figure BDA00021477334200002218
Figure BDA00021477334200002219
作为源－目的－消息
Figure BDA00021477334200002220
经过的第二条数据流链路，源－目的－消息
Figure BDA00021477334200002221
在数据流链路
Figure BDA00021477334200002222
上的时间偏移，记为
Figure BDA00021477334200002223
Figure BDA00021477334200002224
作为源－目的－消息
Figure BDA00021477334200002225
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200002226
在数据流链路
Figure BDA00021477334200002227
上的时间偏移，记为
Figure BDA00021477334200002228
初始化时，所述
Figure BDA00021477334200002229
所述
Figure BDA00021477334200002230
和所述
Figure BDA00021477334200002231
都赋值为0。
源－目的－消息
Figure BDA00021477334200002232
表示其由源端系统ESG发往目的端系统ESg的第二条消息；
Figure BDA00021477334200002233
作为源－目的－消息
Figure BDA00021477334200002234
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200002235
在数据流链路
Figure BDA00021477334200002236
上的时间偏移，记为
Figure BDA00021477334200002237
Figure BDA00021477334200002238
作为源－目的－消息
Figure BDA00021477334200002239
经过的第二条数据流链路，源－目的－消息
Figure BDA00021477334200002240
在数据流链路
Figure BDA00021477334200002241
上的时间偏移，记为
Figure BDA00021477334200002242
Figure BDA00021477334200002243
作为源－目的－消息
Figure BDA00021477334200002244
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200002245
在数据流链路
Figure BDA00021477334200002246
上的时间偏移，记为
Figure BDA00021477334200002247
初始化时，所述
Figure BDA00021477334200002248
所述
Figure BDA00021477334200002249
和所述
Figure BDA00021477334200002250
都赋值为0。
源－目的－消息
Figure BDA00021477334200002251
表示其由源端系统ESG发往目的端系统ESg的任意一条消息；
Figure BDA00021477334200002252
作为源－目的－消息
Figure BDA00021477334200002253
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200002254
在数据流链路
Figure BDA00021477334200002255
上的时间偏移，记为
Figure BDA00021477334200002256
Figure BDA00021477334200002257
作为源－目的－消息
Figure BDA00021477334200002258
经过的第二条数据流链路，源－目的－消息
Figure BDA00021477334200002259
在数据流链路
Figure BDA00021477334200002260
上的时间偏移，记为
Figure BDA00021477334200002261
Figure BDA00021477334200002262
作为源－目的－消息
Figure BDA00021477334200002263
经过的第三条数据流链路。源－目的－消息
Figure BDA00021477334200002264
在数据流链路
Figure BDA00021477334200002265
上的时间偏移，记为
Figure BDA00021477334200002266
初始化时，所述
Figure BDA00021477334200002267
所述
Figure BDA00021477334200002268
和所述
Figure BDA00021477334200002269
都赋值为0。
源－目的－消息
Figure BDA00021477334200002270
表示其由源端系统ESG发往目的端系统ESg的最后一条消息。
Figure BDA00021477334200002271
作为源－目的－消息
Figure BDA00021477334200002272
经过的第一条数据流链路，源－目的－消息
Figure BDA00021477334200002273
在数据流链路
Figure BDA00021477334200002274
上的时间偏移，记为
Figure BDA00021477334200002275
Figure BDA00021477334200002276
作为源－目的－消息
Figure BDA00021477334200002277
经过的第二条数据流链路，源－目的－消息
Figure BDA0002147733420000231
在数据流链路
Figure BDA0002147733420000232
上的时间偏移，记为
Figure BDA0002147733420000233
Figure BDA0002147733420000234
作为源－目的－消息
Figure BDA0002147733420000235
经过的第三条数据流链路。源－目的－消息
Figure BDA0002147733420000236
在数据流链路
Figure BDA0002147733420000237
上的时间偏移，记为
Figure BDA0002147733420000238
初始化时，所述
Figure BDA0002147733420000239
所述
Figure BDA00021477334200002310
和所述
Figure BDA00021477334200002311
都赋值为0。
参见图4所示，本发明提供的支持端系统级故障恢复的消息调度方法设计流程图，具体执行流程如下：
步骤一，航空电子系统中时间触发通信的故障端系统的获取；
端系统故障记录模块11第一方面用于接收故障管理模块10输出的数据信息，第二方面用于接收健康监视模块30输出的故障端系统的标识号，第三方面记录下所述故障端系统的故障发生时间，记为fault_time；第四方面将fault_time输出给资源检查模块21。
例如，若健康监视模块30输出的故障端系统的标识号是图2A中的端系统ES1，则属于端系统ES1的故障发生时间，记为
Figure BDA00021477334200002312
若端系统ES2和ES3用于接收端系统故障记录模块11中记录的驻留在故障端系统ES1上的消息，设置了ES2的最大接收消息条数记为
Figure BDA00021477334200002313
端系统ES3的最大接收消息条数记为
Figure BDA00021477334200002314
首选端系统ES3用来接收故障端系统ES1上的消息。
步骤二，基于SMT求解器在系统蓝印模块40中获取消息发送时间；
步骤201，初始化航空电子系统的时间触发网络中的消息集 ME＝{msg1,msg2,…,msga,…,msgA}，然后设置每个消息的初始化消息帧长length初、初始化消息周期period初、初始化消息的数据流链路Path初、初始化消息的发送时间偏移offset初、初始化消息的优先级pri初；特别地，所述offset初的取值为0；执行步骤202；
步骤202，初始化航空电子系统的时间触发网络，并记录下所有数据流链路构成的数据流链路集FMES；所述数据流链路是指两个端系统之间或端系统与交换机之间的消息传输；执行步骤203；
步骤203，航空电子系统利用时间触发网络进行消息的发送，消息发送是由源端系统向目的端系统进行的；执行步骤204；
步骤204，应用三个约束条件进行SMT求解，得到消息在数据流链路上的时间偏移，执行步骤301；
SMT求解方法步骤参考2018年11月第44卷第11期《北京航空航天大学学报》，出版的“基于可调度性排序的时间触发调度表生成方法”，作者李峭等。具体地是第3.1节内容。对于TT流量的调度约束条件在本发明中仅列举了“无冲突约束、路径依赖约束和端到端延时约束”三个，也就是说在SMT求解器中运用这三个约束就能完成消息在数据流链路上的时间偏移的获取。
步骤三，依据时间偏移来判断需要进行二次调度的消息；
步骤301，获取实时监控模块中记录的时间偏移，并将所述时间偏移与故障时间fault_time进行对比，遍历时间偏移得到需要进行二次调度的所有消息，简称为二次消息，所述二次消息的总条数记为N；
若时间偏移大于等于故障时间fault_time，则该消息受到故障影响，将所述消息进行二次调度；执行步骤302；在本发明中，时间偏移等于故障时间fault_time时，同样进行二次调度是为了保证消息传输的完整性。
若时间偏移小于故障时间fault_time，则该消息未受到故障影响，所述消息不进行消息重构。
举例，二次消息采用集合形式表示为
Figure BDA0002147733420000241
Figure BDA0002147733420000242
大于故障时间fault_time，则将源－目的－消息
Figure BDA0002147733420000243
放入二次消息中；
Figure BDA0002147733420000244
大于故障时间fault_time，则将源－目的－消息
Figure BDA0002147733420000245
放入二次消息中；
Figure BDA0002147733420000246
大于故障时间fault_time，则将源－目的－消息
Figure BDA0002147733420000247
放入二次消息中；
Figure BDA0002147733420000248
大于故障时间fault_time，则将源－目的－消息
Figure BDA0002147733420000249
放入二次消息中；
Figure BDA00021477334200002410
等于故障时间fault_time，则将源－目的－消息
Figure BDA00021477334200002411
放入二次消息中；
Figure BDA00021477334200002412
和
Figure BDA00021477334200002413
均大于故障时间fault_time，则将源－目的－消息
Figure BDA00021477334200002414
放入二次消息中；
Figure BDA00021477334200002415
大于故障时间fault_time，则将源－目的－消息
Figure BDA00021477334200002416
放入二次消息中；
Figure BDA00021477334200002417
和
Figure BDA00021477334200002418
均大于故障时间fault_time，则将源－目的－消息
Figure BDA00021477334200002419
放入二次消息中；
Figure BDA00021477334200002420
和
Figure BDA00021477334200002421
均大于故障时间fault_time，则将源－目的－消息
Figure BDA00021477334200002422
放入二次消息中；
Figure BDA00021477334200002423
大于故障时间fault_time，则将源－目的－消息
Figure BDA00021477334200002424
放入二次消息中；
Figure BDA00021477334200002425
大于故障时间fault_time，则将源－目的－消息
Figure BDA00021477334200002426
放入二次消息中；
Figure BDA00021477334200002427
大于故障时间 fault_time，则将源－目的－消息
Figure BDA00021477334200002428
放入二次消息中；
Figure BDA00021477334200002429
和
Figure BDA00021477334200002430
均大于故障时间fault_time，则将源－目的－消息
Figure BDA00021477334200002431
放入二次消息中；
Figure BDA00021477334200002432
和
Figure BDA00021477334200002433
均大于故障时间fault_time，则将源－目的－消息
Figure BDA00021477334200002434
放入二次消息中；
Figure BDA00021477334200002435
和
Figure BDA00021477334200002436
均大于故障时间fault_time，则将源－目的－消息
Figure BDA00021477334200002437
放入二次消息中；
Figure BDA00021477334200002438
等于故障时间 fault_time，则将源－目的－消息
Figure BDA00021477334200002439
放入二次消息中；
Figure BDA00021477334200002440
等于故障时间 fault_time，则将源－目的－消息
Figure BDA00021477334200002441
放入二次消息中；
Figure BDA00021477334200002442
等于故障时间 fault_time，则将源－目的－消息
Figure BDA00021477334200002443
放入二次消息中。
步骤302，判断二次消息中哪些属于故障端系统发出的和接收的消息；
在本发明中，首先从二次消息中提取出属于故障端系统接收和发送的消息(简称为替换消息)，替换消息的总条数记为K，K∈N；
在本发明中，故障端系统ES1上接收的源－目的－消息
Figure BDA00021477334200002444
Figure BDA00021477334200002445
故障端系统ES1上发出的源－目的－消息
Figure BDA00021477334200002446
Figure BDA0002147733420000251
则属于故障端系统ES1的替换消息有
Figure BDA0002147733420000252
Figure BDA0002147733420000253
和
Figure BDA0002147733420000254
步骤303，资源检查模块21根据资源状况对所述替换消息进行路径更改处理；
对比二次消息总条数N与端系统ES3的最大接收消息条数
Figure BDA0002147733420000255
303A，若满足
Figure BDA0002147733420000256
执行迁移式重构，将替换消息中源端系统为ES1的消息更换为源端系统为 ES3的消息；将替换消息中目的端系统为ES1的消息更换为目的端系统为ES3的消息；
在本发明中，将替换消息中的源－目的－消息
Figure BDA0002147733420000257
替换为
Figure BDA0002147733420000258
将替换消息中的源－目的－消息
Figure BDA0002147733420000259
替换为
Figure BDA00021477334200002510
将替换消息中的源－目的－消息
Figure BDA00021477334200002511
替换为
Figure BDA00021477334200002512
将替换消息中的源－目的－消息
Figure BDA00021477334200002513
替换为
Figure BDA00021477334200002514
将替换消息中的源－目的－消息
Figure BDA00021477334200002515
替换为
Figure BDA00021477334200002516
将替换消息中的源－目的－消息
Figure BDA00021477334200002517
替换为
Figure BDA00021477334200002518
将替换消息中的源－目的－消息
Figure BDA00021477334200002519
替换为
Figure BDA00021477334200002520
将替换消息中的源－目的－消息
Figure BDA00021477334200002521
替换为
Figure BDA00021477334200002522
将替换消息中的源－目的－消息
Figure BDA00021477334200002523
替换为
Figure BDA00021477334200002524
将替换消息中的源－目的－消息
Figure BDA00021477334200002525
替换为
Figure BDA00021477334200002526
将替换消息中的源－目的－消息
Figure BDA00021477334200002527
替换为
Figure BDA00021477334200002528
将替换消息中的源－目的－消息
Figure BDA00021477334200002529
替换为
Figure BDA00021477334200002530
则在迁移式重构情况下，更新后的二次消息，记为
Figure BDA00021477334200002531
包括：
Figure BDA00021477334200002532
Figure BDA00021477334200002533
Figure BDA00021477334200002534
Figure BDA00021477334200002535
和
Figure BDA00021477334200002536
303B，若满足
Figure BDA00021477334200002537
执行抢占式重构，将替换消息中数目为K/2的消息改由端系统ES2收发；将剩余K/2的消息改由端系统ES3收发；
在本发明中，将替换消息中的源－目的－消息
Figure BDA00021477334200002538
需要改由端系统ES3发送，将其替换为
Figure BDA00021477334200002539
将替换消息中的源－目的－消息
Figure BDA00021477334200002540
需要改由端系统ES3发送，将其替换为
Figure BDA00021477334200002541
将替换消息中的源－目的－消息
Figure BDA00021477334200002542
需要改由端系统ES3发送，将其替换为
Figure BDA00021477334200002543
将替换消息中的源－目的－消息
Figure BDA00021477334200002544
需要改由端系统ES3发送，将其替换为
Figure BDA0002147733420000261
将替换消息中的源－目的－消息
Figure BDA0002147733420000262
需要改由端系统ES3发送，将其替换为
Figure BDA0002147733420000263
将替换消息中的源－目的－消息
Figure BDA0002147733420000264
需要改由端系统ES2发送，将其替换为
Figure BDA0002147733420000265
将替换消息中的源－目的－消息
Figure BDA0002147733420000266
需要改由端系统ES3发送，将其替换为
Figure BDA0002147733420000267
将替换消息中的源－目的－消息
Figure BDA0002147733420000268
需要改由端系统ES2发送，将其替换为
Figure BDA0002147733420000269
将替换消息中的源－目的－消息
Figure BDA00021477334200002610
需要改由端系统ES2发送，将其替换为
Figure BDA00021477334200002611
将替换消息中的源－目的－消息
Figure BDA00021477334200002612
需要改由端系统ES2发送，将其替换为
Figure BDA00021477334200002613
将替换消息中的源－目的－消息
Figure BDA00021477334200002614
需要改由端系统ES2发送，将其替换为
Figure BDA00021477334200002615
将替换消息中的源－目的－消息
Figure BDA00021477334200002616
需要改由端系统ES2发送，将其替换为
Figure BDA00021477334200002617
则在抢占式重构情况下，更新后的二次消息记为
Figure BDA00021477334200002618
包括：
Figure BDA00021477334200002619
Figure BDA00021477334200002620
Figure BDA00021477334200002641
Figure BDA00021477334200002621
和
Figure BDA00021477334200002622
303C，若满足
Figure BDA00021477334200002623
执行可降级式重构，将替换消息中优先级
Figure BDA00021477334200002624
为0的消息删除，替换消息中剩余的消息条数记为P，P∈K；将数目为P/2的消息改由端系统ES2收发；将剩余数目为 P/2的消息改由端系统ES3收发；
在本发明中，替换消息中的源－目的－消息
Figure BDA00021477334200002625
需要改由端系统ES3发送，将其替换为
Figure BDA00021477334200002626
替换消息中的源－目的－消息
Figure BDA00021477334200002627
需要改由端系统ES3发送，将其替换为
Figure BDA00021477334200002628
替换消息中的源－目的－消息
Figure BDA00021477334200002629
需要改由端系统ES3发送，将其替换为
Figure BDA00021477334200002630
替换消息中的源－目的－消息
Figure BDA00021477334200002631
需要改由端系统ES3发送，将其替换为
Figure BDA00021477334200002632
替换消息中的源－目的－消息
Figure BDA00021477334200002633
需要改由端系统ES2发送，将其替换为
Figure BDA00021477334200002634
替换消息中的源－目的－消息
Figure BDA00021477334200002635
需要改由端系统ES2发送，将其替换为
Figure BDA00021477334200002636
替换消息中的源－目的－消息
Figure BDA00021477334200002637
需要改由端系统ES2发送，将其替换为
Figure BDA00021477334200002638
替换消息中的源－目的－消息
Figure BDA00021477334200002639
需要改由端系统ES2发送，将其替换为
Figure BDA00021477334200002640
则在可降级式重构情况下，更新后的二次消息记为
Figure BDA0002147733420000271
包括：
Figure BDA0002147733420000272
Figure BDA0002147733420000273
Figure BDA0002147733420000274
和
Figure BDA0002147733420000275
步骤四，基于SMT求解器在重构执行模块23中进行二次调度；
步骤401，配置航空电子系统的时间触发网络，初始化步骤303得到的二次消息中每个消息的帧长 length初、周期period初、数据流链路Path初、发送时间偏移offset初，以及消息的优先级pri初；特别地，所述offset初的取值为0；执行步骤402；
步骤402，初始化航空电子系统的时间触发网络，并记录下所有数据流链路构成的数据流链路集FMES；所述数据流链路是指两个端系统之间或端系统与交换机之间的消息传输；执行步骤403；
步骤403，航空电子系统利用时间触发网络进行消息的发送，消息发送是由源端系统向目的端系统进行的；执行步骤404；
步骤404，应用三个约束条件进行SMT求解，得到消息在数据流链路上的时间偏移，执行步骤405；
SMT求解方法步骤参考2018年11月第44卷第11期《北京航空航天大学学报》，出版的“基于可调度性排序的时间触发调度表生成方法”，作者李峭等。具体地是第3.1节内容。对于TT流量的调度约束条件在本发明中仅列举了“无冲突约束、路径依赖约束和端到端延时约束”三个，也就是说在SMT求解器中运用这三个约束就能完成消息在数据流链路上的时间偏移的获取。
步骤405，将步骤401至步骤404的信息输入给SMT求解器，获得二次消息中每一个消息的时间偏移；
405A，在迁移式重构情况下，二次消息为
Figure BDA0002147733420000276
获得源－目的－消息
Figure BDA0002147733420000277
的时间偏移包括有
Figure BDA0002147733420000278
和
Figure BDA0002147733420000279
获得源－目的－消息
Figure BDA00021477334200002710
的时间偏移包括有
Figure BDA00021477334200002711
和
Figure BDA00021477334200002712
获得源－目的－消息
Figure BDA00021477334200002713
的时间偏移包括有
Figure BDA00021477334200002714
和
Figure BDA00021477334200002715
获得源－目的－消息
Figure BDA00021477334200002716
的时间偏移包括有
Figure BDA00021477334200002717
和
Figure BDA00021477334200002718
获得源－目的－消息
Figure BDA00021477334200002719
的时间偏移包括有
Figure BDA00021477334200002720
和
Figure BDA00021477334200002721
获得源－目的－消息
Figure BDA00021477334200002722
的时间偏移包括有
Figure BDA00021477334200002723
和
Figure BDA00021477334200002724
获得源－目的－消息
Figure BDA00021477334200002725
的时间偏移包括有
Figure BDA0002147733420000281
和
Figure BDA0002147733420000282
获得源－目的－消息
Figure BDA0002147733420000283
的时间偏移包括有
Figure BDA0002147733420000284
和
Figure BDA0002147733420000285
获得源－目的－消息
Figure BDA0002147733420000286
的时间偏移包括有
Figure BDA0002147733420000287
Figure BDA0002147733420000288
和
Figure BDA0002147733420000289
获得源－目的－消息
Figure BDA00021477334200002810
的时间偏移包括有
Figure BDA00021477334200002811
和
Figure BDA00021477334200002812
获得源－目的－消息
Figure BDA00021477334200002813
的时间偏移包括有
Figure BDA00021477334200002814
和
Figure BDA00021477334200002815
获得源－目的－消息
Figure BDA00021477334200002816
的时间偏移包括有
Figure BDA00021477334200002817
和
Figure BDA00021477334200002818
获得源－目的－消息
Figure BDA00021477334200002819
的时间偏移包括有
Figure BDA00021477334200002820
和
Figure BDA00021477334200002821
获得源－目的－消息
Figure BDA00021477334200002822
的时间偏移包括有
Figure BDA00021477334200002823
Figure BDA00021477334200002824
和
Figure BDA00021477334200002825
获得源－目的－消息
Figure BDA00021477334200002826
的时间偏移包括有
Figure BDA00021477334200002827
和
Figure BDA00021477334200002828
获得源－目的－消息
Figure BDA00021477334200002829
的时间偏移包括有
Figure BDA00021477334200002830
和
Figure BDA00021477334200002831
获得源－目的－消息
Figure BDA00021477334200002832
的时间偏移包括有
Figure BDA00021477334200002833
和
Figure BDA00021477334200002834
获得源－目的－消息
Figure BDA00021477334200002835
的时间偏移包括有
Figure BDA00021477334200002836
和
Figure BDA00021477334200002837
405B，在抢占式重构情况下，二次消息为
Figure BDA00021477334200002838
获得源－目的－消息
Figure BDA00021477334200002839
的时间偏移包括有
Figure BDA00021477334200002840
和
Figure BDA00021477334200002841
获得源－目的－消息
Figure BDA00021477334200002842
的时间偏移包括有
Figure BDA00021477334200002843
和
Figure BDA00021477334200002844
获得源－目的－消息
Figure BDA00021477334200002845
的时间偏移包括有
Figure BDA00021477334200002846
和
Figure BDA00021477334200002847
获得源－目的－消息
Figure BDA00021477334200002848
的时间偏移包括有
Figure BDA00021477334200002849
和
Figure BDA00021477334200002850
获得源－目的－消息
Figure BDA00021477334200002851
的时间偏移包括有
Figure BDA00021477334200002852
和
Figure BDA00021477334200002853
获得源－目的－消息
Figure BDA00021477334200002854
的时间偏移包括有
Figure BDA00021477334200002855
和
Figure BDA00021477334200002856
获得源－目的－消息
Figure BDA00021477334200002857
的时间偏移包括有
Figure BDA00021477334200002858
和
Figure BDA00021477334200002859
获得源－目的－消息
Figure BDA00021477334200002860
的时间偏移包括有
Figure BDA00021477334200002861
和
Figure BDA00021477334200002862
获得源－目的－消息
Figure BDA00021477334200002863
的时间偏移包括有
Figure BDA00021477334200002864
和
Figure BDA00021477334200002865
获得源－目的－消息
Figure BDA00021477334200002866
的时间偏移包括有
Figure BDA00021477334200002867
和
Figure BDA00021477334200002868
获得源－目的－消息
Figure BDA0002147733420000291
的时间偏移包括有
Figure BDA0002147733420000292
和
Figure BDA0002147733420000293
获得源－目的－消息
Figure BDA0002147733420000294
的时间偏移包括有
Figure BDA0002147733420000295
和
Figure BDA0002147733420000296
获得源－目的－消息
Figure BDA0002147733420000297
的时间偏移包括有
Figure BDA0002147733420000298
和
Figure BDA0002147733420000299
获得源－目的－消息
Figure BDA00021477334200002910
的时间偏移包括有
Figure BDA00021477334200002911
Figure BDA00021477334200002912
和
Figure BDA00021477334200002913
获得源－目的－消息
Figure BDA00021477334200002914
的时间偏移包括有
Figure BDA00021477334200002915
和
Figure BDA00021477334200002916
获得源－目的－消息
Figure BDA00021477334200002917
的时间偏移包括有
Figure BDA00021477334200002918
和
Figure BDA00021477334200002919
获得源－目的－消息
Figure BDA00021477334200002920
的时间偏移包括有
Figure BDA00021477334200002921
和
Figure BDA00021477334200002922
获得源－目的－消息
Figure BDA00021477334200002923
的时间偏移包括有
Figure BDA00021477334200002924
和
Figure BDA00021477334200002925
405C，在可降级式重构情况下，二次消息为
Figure BDA00021477334200002926
获得源－目的－消息
Figure BDA00021477334200002927
的时间偏移包括有
Figure BDA00021477334200002928
和
Figure BDA00021477334200002929
获得源－目的－消息
Figure BDA00021477334200002930
的时间偏移包括有
Figure BDA00021477334200002931
和
Figure BDA00021477334200002932
获得源－目的－消息
Figure BDA00021477334200002933
的时间偏移包括有
Figure BDA00021477334200002934
和
Figure BDA00021477334200002935
获得源－目的－消息
Figure BDA00021477334200002936
的时间偏移包括有
Figure BDA00021477334200002937
和
Figure BDA00021477334200002938
获得源－目的－消息
Figure BDA00021477334200002939
的时间偏移包括有
Figure BDA00021477334200002940
和
Figure BDA00021477334200002941
获得源－目的－消息
Figure BDA00021477334200002942
的时间偏移包括有
Figure BDA00021477334200002943
和
Figure BDA00021477334200002944
获得源－目的－消息
Figure BDA00021477334200002945
的时间偏移包括有
Figure BDA00021477334200002946
和
Figure BDA00021477334200002947
获得源－目的－消息
Figure BDA00021477334200002948
的时间偏移包括有
Figure BDA00021477334200002949
Figure BDA00021477334200002950
和
Figure BDA00021477334200002951
获得源－目的－消息
Figure BDA00021477334200002952
的时间偏移包括有
Figure BDA00021477334200002953
和
Figure BDA00021477334200002954
获得源－目的－消息
Figure BDA00021477334200002955
的时间偏移包括有
Figure BDA00021477334200002956
和
Figure BDA00021477334200002957
获得源－目的－消息
Figure BDA00021477334200002958
的时间偏移包括有
Figure BDA00021477334200002959
和
Figure BDA00021477334200002960
获得源－目的－消息
Figure BDA00021477334200002961
的时间偏移包括有
Figure BDA00021477334200002962
和
Figure BDA00021477334200002963
获得源－目的－消息
Figure BDA00021477334200002964
的时间偏移包括有
Figure BDA00021477334200002965
和
Figure BDA00021477334200002966
获得源－目的－消息
Figure BDA00021477334200002967
的时间偏移包括有
Figure BDA00021477334200002968
和
Figure BDA00021477334200002969
实施例1
在航空电子系统中，应用由一组特定任务构成，任务的完成要依靠相应消息的收发。作为混合安全关键系统，航空电子系统中的应用具有不同的安全关键级别。高安全关键级别应用包含的任务具有更高的优先级，高优先级任务产生高优先级的消息。因此高安全关键级别的应用对应高优先级的消息。应用到消息的具体对应关系存储在系统蓝印(运行时间)模块40中。
在物理链路带宽为100Mbps，网络拓扑结构中包括5个端系统模块和2个交换机模块(如图2A所示)。共设置5个应用，对应300条时间触发消息，如表1所示。消息周期为1000μs的整数倍，并在[1000μs， 16000μs]中取值。消息优先级在1和0中选取，1的优先级高于0；消息长度在[64bytes，1518bytes] 中取值。假设端系统ES1在1002μs时出现故障，共有50条消息需要迁移。现分析系统在时间区间[0，16000 μs]内网络的状态。
表1：应用与消息的对应关系
Figure BDA0002147733420000301
在实施例1中健康监视模块30输出的故障端系统的标识号是图2A中的端系统ES1，则属于端系统ES1的故障发生时间，记为
Figure BDA0002147733420000302
若端系统ES2和ES3用于接收端系统故障记录模块11中记录的驻留在故障端系统ES1上的消息，设置了ES2的最大接收消息条数记为
Figure BDA0002147733420000303
端系统ES3的最大接收消息条数记为
Figure BDA0002147733420000304
首选端系统ES3用来接收故障端系统ES1上的消息。
在实施例1中表2给出了航空电子系统正常运行时系统的实时性参数。
表2：正常运行时的实时性参数
参数 参数值
消息总完成时间 15486μs
消息平均端到端延时 109μs
高重要性消息平均端到端延时 108μs
在实施例1中对于冗余端系统资源充足的情况，故障发生后将ES1上的全部消息迁移至ES3，表3给出了执行迁移式重构后系统的实时性参数。
表3：执行迁移式重构后的实时性参数
参数 参数值
消息总完成时间 15231μs
消息平均端到端延时 108μs
高重要性消息平均端到端延时 105μs
在实施例1中对于冗余端系统资源不足，但其他端系统有余量的情况下，故障发生后将ES1上50条高重要性消息迁移至ES3和ES2，表4给出了执行抢占式重构消息的具体迁移分配情况。
表4：抢占式重构的消息分配
目的端系统 消息数目
ES<sub>3</sub> 25
ES<sub>2</sub> 25
在实施例1中表5给出了执行抢占式重构后系统的实时性参数，其中“高重要性消息完成时间”是系统执行远程重构后所有高重要性消息在首个周期内的发送完成时间之和。
表5：执行抢占式重构后的实时性参数
参数 参数值
消息总完成时间 15145μs
消息平均端到端延时 107μs
高重要性消息平均端到端延时 106μs
高重要性消息完成时间 2810μs
在实施例1中对于冗余端系统资源不足，其他端系统余量也不足的情况下，故障发生后将ES1上30条高重要性消息迁移至ES3和ES2，表6给出了执行可降级式重构消息的具体迁移分配情况。
表6：可降级式重构的消息分配
目的端系统 消息数目
ES<sub>3</sub> 15
ES<sub>2</sub> 15
在实施例1中表7给出了执行可降级式重构后系统的实时性参数，其中“高重要性消息完成时间”是系统执行远程重构后所有高重要性消息在首个周期内的发送完成时间之和。
表7：执行可降级式重构后的实时性参数
参数 参数值
消息总完成时间 15161μs
消息平均端到端延时 107μs
高重要性消息平均端到端延时 107μs
高重要性消息完成时间 2086μs
案例结果表明，在不考虑模块的启动、切换、消息调度表的装载等硬件时间开销的前提下，本发明提供的应用于航空电子系统时间触发通信的重构方法可以执行，并可以满足系统的实时性要求。不同的重构方式均能满足消息的实时性约束，且可降级重构方式可以更好地保证高重要性消息的完成时间。

Claims (3)

1.一种应用于航空电子系统时间触发通信的重构系统，所述航空电子系统中至少包括有故障管理模块(10)、配置管理模块(20)、健康监视模块(30)、系统蓝印模块(40)；其特征在于：重构系统一方面是在现有的故障管理模块(10)中增加有端系统故障记录模块(11)，所述端系统故障记录模块(11)用于接收健康监视模块(30)输出的故障端系统信息；
另一方面是在现有的配置管理模块(20)中增加资源检查模块(21)、配置生成模块(22)和重构执行模块(23)；
所述资源检查模块(21)第一方面用于接收端系统故障记录模块(11)输出的故障端系统的发生时间；第二方面根据当前冗余资源状态，选择执行迁移重构、抢占重构、或可降级重构方式；
所述配置生成模块(22)第一方面根据资源检查模块(21)选择的重构方式，以及系统蓝印模块(40)输出的应用和消息的对应关系，生成相应的消息配置；第二方面输出端系统的配置消息给重构执行模块(23)；
所述重构执行模块(23)第一方面负责加载配置生成模块(22)发送的消息配置表，进行消息的二次调度设计；第二方面向模块支持层输出能够使航空电子系统运行时支持端系统的消息级故障恢复的消息；
当任意一端系统出现故障后，故障管理模块(10)中的端系统故障记录模块(11)对故障端系统进行标记记录，同时也记录故障时间推算未发送的消息数目；然后：
资源检查模块(21)查询网络中冗余端系统的占用情况，若冗余端系统的资源充足，直接将受到影响的消息迁移至冗余端系统；并通过配置生成模块(22)在原有配置基础上，修改消息的源、目的节点，以及消息传输路径；最后由重构执行模块(23)加载新的配置表，迁移式重构执行结束，完成故障端系统上的消息发送，达到在航空电子系统运行时支持端系统故障的恢复；
资源检查模块(21)查询网络中冗余端系统的占用情况，若冗余端系统的资源不足，资源检查模块(21)继续查询网络中其他端系统的占用情况，在各端系统均不超过最大消息驻留数目的前提下，将受到影响的消息迁移至其他端系统，并通过配置生成模块(22)在原有配置基础上，修改消息的源、目的节点，以及消息传输路径；最后重构执行模块(23)加载新的配置表，抢占式重构执行结束，完成故障端系统上的消息发送，达到在航空电子系统运行时支持端系统故障的恢复；
资源检查模块(21)查询网络中冗余端系统的占用情况，若其他端系统的可抢占资源不足，则根据现有资源的规模，放弃部分低重要性消息的传输，仅配置高重要性消息；并通过配置生成模块(22)在原有配置基础上，修改消息的源、目的节点，以及消息传输路径；最后重构执行模块(23)加载新的配置表，可降级式重构执行结束，完成故障端系统上的消息发送，达到在航空电子系统运行时支持端系统故障的恢复。
2.一种应用于航空电子系统时间触发通信的重构方法，其特征在于有下列步骤：
步骤一，航空电子系统中时间触发通信的故障端系统的获取；
端系统故障记录模块(11)第一方面用于接收故障管理模块(10)输出的数据信息，第二方面用于接收健康监视模块(30)输出的故障端系统的标识号，第三方面记录下所述故障端系统的故障发生时间，记为fault_time；第四方面将fault_time输出给资源检查模块(21)；
若健康监视模块(30)输出的故障端系统的标识号端系统ES1，则属于端系统ES1的故障发生时间，记为
Figure FDA0002147733410000021
若端系统ES2和ES3用于接收端系统故障记录模块11中记录的驻留在故障端系统ES1上的消息，设置了ES2的最大接收消息条数记为
Figure FDA0002147733410000022
端系统ES3的最大接收消息条数记为
Figure FDA0002147733410000023
首选端系统ES3用来接收故障端系统ES1上的消息；
步骤二，基于SMT求解器在系统蓝印模块40中获取消息发送时间；
步骤201，初始化航空电子系统的时间触发网络中的消息集ME＝{msg1,msg2,…,msga,…,msgA}，然后设置每个消息的初始化消息帧长length初、初始化消息周期period初、初始化消息的数据流链路Path初、初始化消息的发送时间偏移offset初、初始化消息的优先级pri初；特别地，所述offset初的取值为0；执行步骤202；
步骤202，初始化航空电子系统的时间触发网络，并记录下所有数据流链路构成的数据流链路集FMES；所述数据流链路是指两个端系统之间或端系统与交换机之间的消息传输；执行步骤203；
步骤203，航空电子系统利用时间触发网络进行消息的发送，消息发送是由源端系统向目的端系统进行的；执行步骤204；
步骤204，应用三个约束条件进行SMT求解，得到消息在数据流链路上的时间偏移，执行步骤301；
步骤三，依据时间偏移来判断需要进行二次调度的消息；
步骤301，获取实时监控模块中记录的时间偏移，并将所述时间偏移与故障时间fault_time进行对比，遍历时间偏移得到需要进行二次调度的所有消息，简称为二次消息，所述二次消息的总条数记为N；
若时间偏移大于等于故障时间fault_time，则该消息受到故障影响，将所述消息进行二次调度；执行步骤302；
时间偏移等于故障时间fault_time时，同样进行二次调度是为了保证消息传输的完整性；
若时间偏移小于故障时间fault_time，则该消息未受到故障影响，所述消息不进行消息重构；
二次消息采用集合形式表示为
Figure FDA0002147733410000031
Figure FDA0002147733410000032
大于故障时间fault_time，则将源－目的－消息
Figure FDA0002147733410000033
放入二次消息中；
Figure FDA0002147733410000034
大于故障时间fault_time，则将源－目的－消息
Figure FDA0002147733410000035
放入二次消息中；
Figure FDA0002147733410000036
大于故障时间fault_time，则将源－目的－消息
Figure FDA0002147733410000037
放入二次消息中；
Figure FDA0002147733410000038
大于故障时间fault_time，则将源－目的－消息
Figure FDA0002147733410000039
放入二次消息中；
Figure FDA0002147733410000041
等于故障时间fault_time，则将源－目的－消息
Figure FDA0002147733410000042
放入二次消息中；
Figure FDA0002147733410000043
和
Figure FDA0002147733410000044
均大于故障时间fault_time，则将源－目的－消息
Figure FDA0002147733410000045
放入二次消息中；
Figure FDA0002147733410000046
大于故障时间fault_time，则将源－目的－消息
Figure FDA0002147733410000047
放入二次消息中；
Figure FDA0002147733410000048
和
Figure FDA0002147733410000049
均大于故障时间fault_time，则将源－目的－消息
Figure FDA00021477334100000410
放入二次消息中；
Figure FDA00021477334100000411
和
Figure FDA00021477334100000412
均大于故障时间fault_time，则将源－目的－消息
Figure FDA00021477334100000413
放入二次消息中；
Figure FDA00021477334100000414
大于故障时间fault_time，则将源－目的－消息
Figure FDA00021477334100000415
放入二次消息中；
Figure FDA00021477334100000416
大于故障时间fault_time，则将源－目的－消息
Figure FDA00021477334100000417
放入二次消息中；
Figure FDA00021477334100000418
大于故障时间fault_time，则将源－目的－消息
Figure FDA00021477334100000419
放入二次消息中；
Figure FDA00021477334100000420
和
Figure FDA00021477334100000421
均大于故障时间fault_time，则将源－目的－消息
Figure FDA00021477334100000422
放入二次消息中；
Figure FDA00021477334100000423
和
Figure FDA00021477334100000424
均大于故障时间fault_time，则将源－目的－消息
Figure FDA00021477334100000425
放入二次消息中；
Figure FDA00021477334100000426
和
Figure FDA00021477334100000427
均大于故障时间fault_time，则将源－目的－消息
Figure FDA00021477334100000428
放入二次消息中；
Figure FDA00021477334100000429
等于故障时间fault_time，则将源－目的－消息
Figure FDA00021477334100000430
放入二次消息中；
Figure FDA00021477334100000431
等于故障时间fault_time，则将源－目的－消息
Figure FDA00021477334100000432
放入二次消息中；
Figure FDA00021477334100000433
等于故障时间fault_time，则将源－目的－消息
Figure FDA00021477334100000434
放入二次消息中；
步骤302，判断二次消息中哪些属于故障端系统发出的和接收的消息；
首先从二次消息中提取出替换消息，所述替换消息的总条数记为K，K∈N；
故障端系统ES1上接收的源－目的－消息
Figure FDA00021477334100000435
Figure FDA00021477334100000436
故障端系统ES1上发出的源－目的－消息
Figure FDA00021477334100000437
则属于故障端系统ES1的替换消息有
Figure FDA0002147733410000051
Figure FDA0002147733410000052
Figure FDA0002147733410000053
和
Figure FDA0002147733410000054
步骤303，资源检查模块21根据资源状况对所述替换消息进行路径更改处理；
对比二次消息总条数N与端系统ES3的最大接收消息条数
Figure FDA0002147733410000055
303A，若满足
Figure FDA0002147733410000056
执行迁移式重构，将替换消息中源端系统为ES1的消息更换为源端系统为ES3的消息；将替换消息中目的端系统为ES1的消息更换为目的端系统为ES3的消息；
将替换消息中的源－目的－消息
Figure FDA0002147733410000057
替换为
Figure FDA0002147733410000058
将替换消息中的源－目的－消息
Figure FDA0002147733410000059
替换为
Figure FDA00021477334100000510
将替换消息中的源－目的－消息
Figure FDA00021477334100000511
替换为
Figure FDA00021477334100000512
将替换消息中的源－目的－消息
Figure FDA00021477334100000513
替换为
Figure FDA00021477334100000514
将替换消息中的源－目的－消息
Figure FDA00021477334100000515
替换为
Figure FDA00021477334100000516
将替换消息中的源－目的－消息
Figure FDA00021477334100000517
替换为
Figure FDA00021477334100000518
将替换消息中的源－目的－消息
Figure FDA00021477334100000519
替换为
Figure FDA00021477334100000520
将替换消息中的源－目的－消息
Figure FDA00021477334100000521
替换为
Figure FDA00021477334100000522
将替换消息中的源－目的－消息
Figure FDA00021477334100000523
替换为
Figure FDA00021477334100000524
将替换消息中的源－目的－消息
Figure FDA00021477334100000525
替换为
Figure FDA00021477334100000526
将替换消息中的源－目的－消息
Figure FDA00021477334100000527
替换为
Figure FDA00021477334100000528
将替换消息中的源－目的－消息
Figure FDA00021477334100000529
替换为
Figure FDA00021477334100000530
则在迁移式重构情况下，更新后的二次消息，记为
Figure FDA00021477334100000531
包括：
Figure FDA0002147733410000061
Figure FDA0002147733410000062
Figure FDA0002147733410000063
和
Figure FDA0002147733410000064
303B，若满足
Figure FDA0002147733410000065
执行抢占式重构，将替换消息中数目为K/2的消息改由端系统ES2收发；将剩余K/2的消息改由端系统ES3收发；
将替换消息中的源－目的－消息
Figure FDA0002147733410000066
需要改由端系统ES3发送，将其替换为
Figure FDA0002147733410000067
将替换消息中的源－目的－消息
Figure FDA0002147733410000068
需要改由端系统ES3发送，将其替换为
Figure FDA0002147733410000069
将替换消息中的源－目的－消息
Figure FDA00021477334100000610
需要改由端系统ES3发送，将其替换为
Figure FDA00021477334100000611
将替换消息中的源－目的－消息
Figure FDA00021477334100000612
需要改由端系统ES3发送，将其替换为
Figure FDA00021477334100000613
将替换消息中的源－目的－消息
Figure FDA00021477334100000614
需要改由端系统ES3发送，将其替换为
Figure FDA00021477334100000615
将替换消息中的源－目的－消息
Figure FDA00021477334100000616
需要改由端系统ES2发送，将其替换为
Figure FDA00021477334100000617
将替换消息中的源－目的－消息
Figure FDA00021477334100000618
需要改由端系统ES3发送，将其替换为
Figure FDA00021477334100000619
将替换消息中的源－目的－消息
Figure FDA00021477334100000620
需要改由端系统ES2发送，将其替换为
Figure FDA00021477334100000621
将替换消息中的源－目的－消息
Figure FDA00021477334100000622
需要改由端系统ES2发送，将其替换为
Figure FDA00021477334100000623
将替换消息中的源－目的－消息
Figure FDA00021477334100000624
需要改由端系统ES2发送，将其替换为
Figure FDA00021477334100000625
将替换消息中的源－目的－消息
Figure FDA00021477334100000626
需要改由端系统ES2发送，将其替换为
Figure FDA00021477334100000627
将替换消息中的源－目的－消息
Figure FDA00021477334100000628
需要改由端系统ES2发送，将其替换为
Figure FDA00021477334100000629
则在抢占式重构情况下，更新后的二次消息记为
Figure FDA0002147733410000071
包括：
Figure FDA0002147733410000072
Figure FDA0002147733410000073
Figure FDA0002147733410000074
和
Figure FDA0002147733410000075
303C，若满足
Figure FDA0002147733410000076
执行可降级式重构，将替换消息中优先级
Figure FDA0002147733410000077
为0的消息删除，替换消息中剩余的消息条数记为P，P∈K；将数目为P/2的消息改由端系统ES2收发；将剩余数目为P/2的消息改由端系统ES3收发；
替换消息中的源－目的－消息
Figure FDA0002147733410000078
需要改由端系统ES3发送，将其替换为
Figure FDA0002147733410000079
替换消息中的源－目的－消息
Figure FDA00021477334100000710
需要改由端系统ES3发送，将其替换为
Figure FDA00021477334100000711
替换消息中的源－目的－消息
Figure FDA00021477334100000712
需要改由端系统ES3发送，将其替换为
Figure FDA00021477334100000713
替换消息中的源－目的－消息
Figure FDA00021477334100000714
需要改由端系统ES3发送，将其替换为
Figure FDA00021477334100000715
替换消息中的源－目的－消息
Figure FDA00021477334100000716
需要改由端系统ES2发送，将其替换为
Figure FDA00021477334100000717
替换消息中的源－目的－消息
Figure FDA00021477334100000718
需要改由端系统ES2发送，将其替换为
Figure FDA00021477334100000719
替换消息中的源－目的－消息
Figure FDA00021477334100000720
需要改由端系统ES2发送，将其替换为
Figure FDA00021477334100000721
替换消息中的源－目的－消息
Figure FDA00021477334100000722
需要改由端系统ES2发送，将其替换为
Figure FDA00021477334100000723
则在可降级式重构情况下，更新后的二次消息记为
Figure FDA0002147733410000081
包括：
Figure FDA0002147733410000082
Figure FDA0002147733410000083
Figure FDA0002147733410000084
和
Figure FDA0002147733410000085
步骤四，基于SMT求解器在重构执行模块23中进行二次调度；
步骤401，配置航空电子系统的时间触发网络，初始化步骤303得到的二次消息中每个消息的帧长length初、周期period初、数据流链路Path初、发送时间偏移offset初，以及消息的优先级pri初；特别地，所述offset初的取值为0；执行步骤402；
步骤402，初始化航空电子系统的时间触发网络，并记录下所有数据流链路构成的数据流链路集FMES；所述数据流链路是指两个端系统之间或端系统与交换机之间的消息传输；执行步骤403；
步骤403，航空电子系统利用时间触发网络进行消息的发送，消息发送是由源端系统向目的端系统进行的；执行步骤404；
步骤404，应用三个约束条件进行SMT求解，得到消息在数据流链路上的时间偏移，执行步骤405；
步骤405，将步骤401至步骤404的信息输入给SMT求解器，获得二次消息中每一个消息的时间偏移；
405A，在迁移式重构情况下，二次消息为
Figure FDA0002147733410000091
获得源－目的－消息
Figure FDA0002147733410000092
的时间偏移包括有
Figure FDA0002147733410000093
和
Figure FDA0002147733410000094
获得源－目的－消息
Figure FDA0002147733410000095
的时间偏移包括有
Figure FDA0002147733410000096
和
Figure FDA0002147733410000097
获得源－目的－消息
Figure FDA0002147733410000098
的时间偏移包括有
Figure FDA0002147733410000099
和
Figure FDA00021477334100000910
获得源－目的－消息
Figure FDA00021477334100000911
的时间偏移包括有
Figure FDA00021477334100000912
和
Figure FDA00021477334100000913
获得源－目的－消息
Figure FDA00021477334100000914
的时间偏移包括有
Figure FDA00021477334100000915
和
Figure FDA00021477334100000916
获得源－目的－消息
Figure FDA00021477334100000917
的时间偏移包括有
Figure FDA00021477334100000918
和
Figure FDA00021477334100000919
获得源－目的－消息
Figure FDA00021477334100000920
的时间偏移包括有
Figure FDA00021477334100000921
和
Figure FDA00021477334100000922
获得源－目的－消息
Figure FDA00021477334100000923
的时间偏移包括有
Figure FDA00021477334100000924
和
Figure FDA00021477334100000925
获得源－目的－消息
Figure FDA00021477334100000926
的时间偏移包括有
Figure FDA00021477334100000927
和
Figure FDA00021477334100000928
获得源－目的－消息
Figure FDA00021477334100000929
的时间偏移包括有
Figure FDA00021477334100000930
和
Figure FDA00021477334100000931
获得源－目的－消息
Figure FDA00021477334100000932
的时间偏移包括有
Figure FDA00021477334100000933
和
Figure FDA00021477334100000934
获得源－目的－消息
Figure FDA00021477334100000935
的时间偏移包括有
Figure FDA00021477334100000936
和
Figure FDA00021477334100000937
获得源－目的－消息
Figure FDA00021477334100000938
的时间偏移包括有
Figure FDA00021477334100000939
和
Figure FDA00021477334100000940
获得源－目的－消息
Figure FDA00021477334100000941
的时间偏移包括有
Figure FDA00021477334100000942
和
Figure FDA00021477334100000943
获得源－目的－消息
Figure FDA00021477334100000944
的时间偏移包括有
Figure FDA00021477334100000945
和
Figure FDA00021477334100000946
获得源－目的－消息
Figure FDA0002147733410000101
的时间偏移包括有
Figure FDA0002147733410000102
和
Figure FDA0002147733410000103
获得源－目的－消息
Figure FDA0002147733410000104
的时间偏移包括有
Figure FDA0002147733410000105
和
Figure FDA0002147733410000106
获得源－目的－消息
Figure FDA0002147733410000107
的时间偏移包括有
Figure FDA0002147733410000108
和
Figure FDA0002147733410000109
405B，在抢占式重构情况下，二次消息为
Figure FDA00021477334100001010
获得源－目的－消息
Figure FDA00021477334100001011
的时间偏移包括有
Figure FDA00021477334100001012
和
Figure FDA00021477334100001013
获得源－目的－消息
Figure FDA00021477334100001014
的时间偏移包括有
Figure FDA00021477334100001015
和
Figure FDA00021477334100001016
获得源－目的－消息
Figure FDA00021477334100001017
的时间偏移包括有
Figure FDA00021477334100001018
和
Figure FDA00021477334100001019
获得源－目的－消息
Figure FDA00021477334100001020
的时间偏移包括有
Figure FDA00021477334100001021
和
Figure FDA00021477334100001022
获得源－目的－消息
Figure FDA00021477334100001023
的时间偏移包括有
Figure FDA00021477334100001024
和
Figure FDA00021477334100001025
获得源－目的－消息
Figure FDA00021477334100001026
的时间偏移包括有
Figure FDA00021477334100001027
和
Figure FDA00021477334100001028
获得源－目的－消息
Figure FDA00021477334100001029
的时间偏移包括有
Figure FDA00021477334100001030
和
Figure FDA00021477334100001031
获得源－目的－消息
Figure FDA00021477334100001032
的时间偏移包括有
Figure FDA00021477334100001033
和
Figure FDA00021477334100001034
获得源－目的－消息
Figure FDA00021477334100001035
的时间偏移包括有
Figure FDA00021477334100001036
和
Figure FDA00021477334100001037
获得源－目的－消息
Figure FDA00021477334100001038
的时间偏移包括有
Figure FDA00021477334100001039
和
Figure FDA00021477334100001040
获得源－目的－消息
Figure FDA00021477334100001041
的时间偏移包括有
Figure FDA00021477334100001042
和
Figure FDA00021477334100001043
获得源－目的－消息
Figure FDA0002147733410000111
的时间偏移包括有
Figure FDA0002147733410000112
和
Figure FDA0002147733410000113
获得源－目的－消息
Figure FDA0002147733410000114
的时间偏移包括有
Figure FDA0002147733410000115
和
Figure FDA0002147733410000116
获得源－目的－消息
Figure FDA0002147733410000117
的时间偏移包括有
Figure FDA0002147733410000118
和
Figure FDA0002147733410000119
获得源－目的－消息
Figure FDA00021477334100001110
的时间偏移包括有
Figure FDA00021477334100001111
和
Figure FDA00021477334100001112
获得源－目的－消息
Figure FDA00021477334100001113
的时间偏移包括有
Figure FDA00021477334100001114
和
Figure FDA00021477334100001115
获得源－目的－消息
Figure FDA00021477334100001116
的时间偏移包括有
Figure FDA00021477334100001117
和
Figure FDA00021477334100001118
获得源－目的－消息
Figure FDA00021477334100001119
的时间偏移包括有
Figure FDA00021477334100001120
Figure FDA00021477334100001121
和
Figure FDA00021477334100001122
405C，在可降级式重构情况下，二次消息为
Figure FDA00021477334100001123
获得源－目的－消息
Figure FDA00021477334100001124
的时间偏移包括有
Figure FDA00021477334100001125
和
Figure FDA00021477334100001126
获得源－目的－消息
Figure FDA00021477334100001127
的时间偏移包括有
Figure FDA00021477334100001128
和
Figure FDA00021477334100001129
获得源－目的－消息
Figure FDA00021477334100001130
的时间偏移包括有
Figure FDA00021477334100001131
和
Figure FDA00021477334100001132
获得源－目的－消息
Figure FDA00021477334100001133
的时间偏移包括有
Figure FDA00021477334100001134
和
Figure FDA00021477334100001135
获得源－目的－消息
Figure FDA00021477334100001136
的时间偏移包括有
Figure FDA00021477334100001137
和
Figure FDA00021477334100001138
获得源－目的－消息
Figure FDA00021477334100001139
的时间偏移包括有
Figure FDA00021477334100001140
和
Figure FDA00021477334100001141
获得源－目的－消息
Figure FDA00021477334100001142
的时间偏移包括有
Figure FDA00021477334100001143
和
Figure FDA00021477334100001144
获得源－目的－消息
Figure FDA00021477334100001145
的时间偏移包括有
Figure FDA00021477334100001146
和
Figure FDA00021477334100001147
获得源－目的－消息
Figure FDA0002147733410000121
的时间偏移包括有
Figure FDA0002147733410000122
和
Figure FDA0002147733410000123
获得源－目的－消息
Figure FDA0002147733410000124
的时间偏移包括有
Figure FDA0002147733410000125
和
Figure FDA0002147733410000126
获得源－目的－消息
Figure FDA0002147733410000127
的时间偏移包括有
Figure FDA0002147733410000128
和
Figure FDA0002147733410000129
获得源－目的－消息
Figure FDA00021477334100001210
的时间偏移包括有
Figure FDA00021477334100001211
和
Figure FDA00021477334100001212
获得源－目的－消息
Figure FDA00021477334100001213
的时间偏移包括有
Figure FDA00021477334100001214
和
Figure FDA00021477334100001215
获得源－目的－消息
Figure FDA00021477334100001216
的时间偏移包括有
Figure FDA00021477334100001217
和
Figure FDA00021477334100001218
3.根据权利要求2所述的应用于航空电子系统时间触发通信的重构方法，其特征在于：步骤204和步骤404中的约束条件为：
无冲突约束CF是指同一数据流链路上的时间偏移各不相同；
路径依赖约束FD是指任意一消息msga的发送是按照源端系统到目的端系统的顺序进行的，且两条相邻数据流链路之间预留给所述消息msga的发送窗口
Figure FDA00021477334100001219
应当大于等于所述消息msga的最小单跳延迟hopdelay，即
Figure FDA00021477334100001220
端到端延时约束ETE是指任意一消息msga的最大时间偏移与最小时间偏移之差Δtf应当小于等于消息端到端延时阈值latency，即Δtf≤latency。
CN201910690504.3A 2019-07-29 2019-07-29 一种应用于航空电子系统时间触发通信的重构系统和方法 Active CN110413426B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201910690504.3A CN110413426B (zh) 2019-07-29 2019-07-29 一种应用于航空电子系统时间触发通信的重构系统和方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201910690504.3A CN110413426B (zh) 2019-07-29 2019-07-29 一种应用于航空电子系统时间触发通信的重构系统和方法

Publications (2)

Publication Number Publication Date
CN110413426A CN110413426A (zh) 2019-11-05
CN110413426B true CN110413426B (zh) 2021-07-23

Family

ID=68363885

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201910690504.3A Active CN110413426B (zh) 2019-07-29 2019-07-29 一种应用于航空电子系统时间触发通信的重构系统和方法

Country Status (1)

Country Link
CN (1) CN110413426B (zh)

Families Citing this family (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN111638726B (zh) * 2020-05-27 2021-07-27 北京理工大学 基于事件触发通信的多无人机编队一致性控制方法
CN112448844B (zh) * 2020-11-03 2023-04-14 中国航空工业集团公司西安航空计算技术研究所 一种基于预先配置的时间触发网络重构方法
CN113268841B (zh) * 2021-06-18 2022-03-25 上海交通大学 一种知识推理引擎系统及实现方法
CN117742361B (zh) * 2023-12-07 2024-07-12 哈尔滨工业大学 基于smt的航天器多种轨道威胁自主规避机载任务规划方法

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101788931A (zh) * 2010-01-29 2010-07-28 杭州电子科技大学 一种硬件实时容错的动态局部可重构系统
CN107577548A (zh) * 2017-08-23 2018-01-12 中国航空无线电电子研究所 一种用于航空电子系统的实时动态重构方法
CN108108329A (zh) * 2017-11-09 2018-06-01 中国航空无线电电子研究所 Ima系统动态重构策略多特性分析方法
CN109634768A (zh) * 2018-12-10 2019-04-16 浪潮(北京)电子信息产业有限公司 一种磁盘故障处理方法、系统及电子设备和存储介质

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101788931A (zh) * 2010-01-29 2010-07-28 杭州电子科技大学 一种硬件实时容错的动态局部可重构系统
CN107577548A (zh) * 2017-08-23 2018-01-12 中国航空无线电电子研究所 一种用于航空电子系统的实时动态重构方法
CN108108329A (zh) * 2017-11-09 2018-06-01 中国航空无线电电子研究所 Ima系统动态重构策略多特性分析方法
CN109634768A (zh) * 2018-12-10 2019-04-16 浪潮(北京)电子信息产业有限公司 一种磁盘故障处理方法、系统及电子设备和存储介质

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
Concise Paper: In-Band Update for Network Routing Policy Migration;Shuyuan Zhang.et.al,;《2014 IEEE 22nd International Conference on Network Protocols》;20141231;全文 *
时间触发总线流量调度机制及其实时性分析;赵罡，等；;《计算机工程》;20151031;第41卷(第10期);全文 *
面向任务保障的指挥信息系统韧性能力定量化评估;丁峰，等；;《指挥信息系统与技术》;20141231;第9卷(第6期);全文 *

Also Published As

Publication number Publication date
CN110413426A (zh) 2019-11-05

Similar Documents

Publication Publication Date Title
CN110413426B (zh) 一种应用于航空电子系统时间触发通信的重构系统和方法
CN109560959B (zh) 异构时间触发多网冗余传输方法
CN105991384B (zh) 兼容时间触发以太网与1553b的航天以太网通信方法
Álvarez et al. Towards a time redundancy mechanism for critical frames in time-sensitive networking
Kong et al. Run-time recovery and failure analysis of time-triggered traffic in time sensitive networks
JP7331078B2 (ja) データパケット管理方法およびコンピュータプログラム
CN112698978A (zh) 基于分布式图处理网络的容错方法和设备
Gavrilut et al. Fault-tolerant topology selection for TTEthernet networks
CN113422664B (zh) 一种多时钟源高可靠时间同步方法
Toscano et al. Bandwidth-efficient admission control for EDF-based wireless industrial communication
Gujarati et al. Quantifying the resiliency of fail-operational real-time networked control systems
CN104703296A (zh) 无线通信多跳网络链状及树状拓扑结构的链路休眠方法
Liu et al. Controller and architecture co-design of wireless cyber-physical systems
Di Benedetto et al. Fault tolerant stabilizability of multi-hop control networks
Balashov et al. An analysis of approaches to onboard networks design
Li et al. Feedback control of real-time EtherCAT networks for reliability enhancement in CPS
Mori Autonomous decentralized systems technologies and their application to a train transport operation system
Marques et al. Error recovery in time-triggered communication systems using servers
EP4371295A1 (en) System and method for configuring network slices for time-sensitive networks
US11206180B2 (en) Methods, systems and apparatuses for implementing time-triggered ethernet (TTE) feature set scheduling with configuration-division multiplexing (CDM) to support in situ re-configuration and complex system commissioning
Baga et al. Worst frame backlog estimation in an avionics full-duplex switched ethernet end-system
Eto et al. Analysis of a service degradation model with preventive rejuvenation
Inoue et al. Adaptive VNE method based on Yuragi principle for software defined infrastructure
Pozo et al. Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules
Zhou et al. On design and formal verification of SNSP: a novel real-time communication protocol for safety-critical applications

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant