Network Intent Equivalence Checks for Root-Cause Event Generation

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Network configuration processes are increasingly complex and error-prone, making it difficult to identify and troubleshoot root causes of undesired network behavior, particularly in software-defined networks where there is often a lack of congruence between software-defined logical intents and hardware-rendered intents.

Innovation Solution

A system and method for generating events based on equivalence failures between software-defined logical and hardware models of network intents, allowing for intelligent network assurance by modeling network behavior and performing consistency checks without packet data ingestion, enabling foresight, insight, and hindsight into network health.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Adaptability or versatility

If network configuration complexity increases to provide more flexibility and control, then network customization capability is improved, but configuration error rate increases

Engineering Contradiction:
Improvenetwork customization capabilityVSAvoidconfiguration error rate
Core Design Contradiction:
Adaptability or versatilityVSReliability

Solution Approach 1:

The system performs preliminary equivalence checks between software-defined logical intents and hardware-rendered intents before network operations are executed. By validating the consistency of network configurations in advance and generating events for detected failures, the system prevents configuration errors from propagating, thus maintaining reliability while allowing complex customized configurations.

Inventive Principle:
Principle #10Preliminary action

2Ease of operation

If network configuration complexity increases, then network control flexibility is improved, but troubleshooting difficulty increases

Engineering Contradiction:
Improvenetwork control flexibilityVSAvoidtroubleshooting difficulty
Core Design Contradiction:
Ease of operationVSDifficulty of detecting and measuring

Solution Approach 1:

The system implements continuous feedback by monitoring the equivalence between software-defined logical intents and hardware-rendered intents. When inconsistencies are detected, the system generates events that provide immediate feedback about configuration failures, enabling operators to quickly identify and resolve issues without manually troubleshooting complex network configurations.

Inventive Principle:
Principle #23Feedback

3Reliability

If equivalence checking is performed between software-defined logical intents and hardware-rendered intents, then network assurance is improved, but processing time increases

Engineering Contradiction:
Improvenetwork assuranceVSAvoidprocessing time
Core Design Contradiction:
ReliabilityVSLoss of time

Solution Approach 1:

The equivalence checking is performed as a preliminary action during network configuration deployment, before traffic is routed or services are activated. By conducting the validation in advance and generating events for any failures, the system ensures network assurance without causing time loss during critical network operations.

Inventive Principle:
Principle #10Preliminary action

Data Source

PatentEP3639476B1Event generation in response to network intent formal equivalence failures
Publication Date: 2025.08.20 CISCO TECHNOLOGY INC
  • EP3639476B1 patent drawingFigure 1A
  • EP3639476B1 patent drawingFigure 1B
  • EP3639476B1 patent drawingFigure 2A

AI summary

Systems, methods, and computer-readable media for receiving an indication of an equivalence failure, the equivalence failure corresponding to one or more models of network intents. The indication of the equivalence failure is analyzed and one or more constituent intents that caused the equivalence failure are identified, wherein the one or more constituent intents are associated with a model of the one or more models of network intents. The granularity of the equivalence failure and the identified one or more constituent intents is determined, and an event for external consumption is generated, the event based at least in part on the equivalence failure, the granularity of the equivalence failure, and the identified one or more constituent intents.