针对SDN数据平面的软/硬件故障、错误配置等导致的控制平面和数据平面流规则不一致的问题,提出了基于P4的控制-数据平面流规则一致性校验机制(P4-based consistency verification mechanism for SDN control-data plane,P4CV)。P4CV首...针对SDN数据平面的软/硬件故障、错误配置等导致的控制平面和数据平面流规则不一致的问题,提出了基于P4的控制-数据平面流规则一致性校验机制(P4-based consistency verification mechanism for SDN control-data plane,P4CV)。P4CV首先向数据平面发送特定结构的探针,然后各P4交换机将数据平面实际流规则执行信息嵌入到探针,最后P4CV采用基于符号执行的一致性校验算法,完成对控制平面流规则配置和数据平面遥测信息的一致性校验。仿真结果表明,P4CV的单路径校验时长不受网络拓扑结构影响,仅与路径上交换节点数量线性相关。在同等网络规模和流规则配置的多路径转发场景中,P4CV在仅产生约0.06‰带宽开销的同时,比现有方案平均减少了约42%的校验时长。展开更多
Real-time performance and reliability are two most important issues in applications of time-triggered controller area network (CAN) bus systems at present. A scheduling matrix of time-triggered CAN-bus system is est...Real-time performance and reliability are two most important issues in applications of time-triggered controller area network (CAN) bus systems at present. A scheduling matrix of time-triggered CAN-bus system is established using average-loading algorithm. Periodic messages are guaranteed to transmit without delay by distributing independent transmission windows within the system matrix. Considering the traditional CAN-bus transmission mechanism and the time-triggered feature, an algorithm is improved to calculate the worst-case delay of event-triggered messages in time-triggered CAN-bus systems. The failure probability is calculated for event-triggered messages whose worst-case delay exceeds their deadlines. Different levels of redundant structures of CAN-bus circuits are analyzed and the maintenance management is proposed to improve the system reliability. Finally, the reliabilities of different structures are calculated and the influences of maintenance on the system reliability are analyzed.展开更多
文摘针对SDN数据平面的软/硬件故障、错误配置等导致的控制平面和数据平面流规则不一致的问题,提出了基于P4的控制-数据平面流规则一致性校验机制(P4-based consistency verification mechanism for SDN control-data plane,P4CV)。P4CV首先向数据平面发送特定结构的探针,然后各P4交换机将数据平面实际流规则执行信息嵌入到探针,最后P4CV采用基于符号执行的一致性校验算法,完成对控制平面流规则配置和数据平面遥测信息的一致性校验。仿真结果表明,P4CV的单路径校验时长不受网络拓扑结构影响,仅与路径上交换节点数量线性相关。在同等网络规模和流规则配置的多路径转发场景中,P4CV在仅产生约0.06‰带宽开销的同时,比现有方案平均减少了约42%的校验时长。
基金supported by Fundamental Research Funds for the Central Universities and National Science and Technology Major Project (No. 2010ZX04014-017)
文摘Real-time performance and reliability are two most important issues in applications of time-triggered controller area network (CAN) bus systems at present. A scheduling matrix of time-triggered CAN-bus system is established using average-loading algorithm. Periodic messages are guaranteed to transmit without delay by distributing independent transmission windows within the system matrix. Considering the traditional CAN-bus transmission mechanism and the time-triggered feature, an algorithm is improved to calculate the worst-case delay of event-triggered messages in time-triggered CAN-bus systems. The failure probability is calculated for event-triggered messages whose worst-case delay exceeds their deadlines. Different levels of redundant structures of CAN-bus circuits are analyzed and the maintenance management is proposed to improve the system reliability. Finally, the reliabilities of different structures are calculated and the influences of maintenance on the system reliability are analyzed.