SYSTEMS AND METHODS FOR SCALABLE NETWORK MODELING

• Main Authors: KAZEMIAN, Peyman, RADHAKRISHNAN, Sivasankar, HANDIGOL, Nikhil, GANJISAFFAR, Yasser
• Format: Patent
• Language: English; French
• Published: 26.04.2018
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC COMMUNICATION TECHNIQUE; ELECTRIC DIGITAL DATA PROCESSING; ELECTRICITY; PHYSICS; TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHICCOMMUNICATION

Embodiments of the present invention can use a protocol-independent, vendor-independent, efficient and scalable abstraction model for representing the forwarding functionality of networks. Such a model can be used for systematic analysis and verification of networks. Packet header values may be represented as groups of one or more wildcarded bit strings, where unspecified header values are assumed to be fully wildcarded. This representation can describe many combinations of packets in a space-efficient way, enables more efficient tracing and transformation operations, and can even represent traffic from large internet routing tables efficiently. As a result of the scalability benefits of this more effective way to store and operate on packet collections, network modeling can scale to some of the largest, most complicated networks those where the benefits are the greatest. Des modes de réalisation de la présente invention peuvent utiliser un modèle d'abstraction indépendant du protocole, indépendant du vendeur, efficace et évolutif pour représenter la fonctionnalité de transfert de réseaux. Un tel modèle peut être utilisé pour une analyse et une vérification systématiques de réseaux. Des valeurs d'en-tête de paquet peuvent être représentées sous la forme de groupes d'une ou de plusieurs chaînes de bits de type sauvage, où des valeurs d'en-tête non spécifiées sont supposées être complètement remplacées. Cette représentation peut décrire de nombreuses combinaisons de paquets de manière efficace en termes d'espace, permet des opérations de traçage et de transformation plus efficaces, et peut même représenter efficacement un trafic à partir de grandes tables de routage internet. En conséquence des avantages d'extensibilité de cette manière plus efficace de stocker et de fonctionner sur des collections de paquets, la modélisation de réseau peut s'étendre à certains des réseaux les plus grands, plus complexes, ceux dont les avantages sont les plus importants.