Search

Ali Kheradmand

from Sunnyvale, CA
Get Report
Connected to:
Naseem S Kheraj, 55Bharat R Kherwa, 37Shashank Khetan, 42Mahaveer P Khetawat, 73Gaurav Khetrapal, 53Kayvon Kheymehdooz, 38Arjan A Khiantani, 53Ahmed Khiat, 80Le V KhiemEmily T Khieu, 57

Ali Kheradmand Phones & Addresses

  • Sunnyvale, CA
  • San Jose, CA
  • Urbana, IL
  • Champaign, IL

Publications

Us Patents

Network Property Verification

View page
US Patent:
20190132250, May 2, 2019
Filed:
Nov 2, 2017
Appl. No.:
15/802370
Inventors:
- Kawasaki-shi, JP
Ali Kheradmand - Urbana IL, US
Assignee:
FUJITSU LIMITED - Kawasaki-shi
International Classification:
H04L 12/851
H04L 29/06
H04L 12/863
H04L 12/26
Abstract:
A method may include obtaining packet handling rules from network nodes in a network. The method also includes, using the rules, generating a transitive reduction of a partially ordered set of elements, where the elements correspond to match conditions in the rules, each match condition representing a set of packets identified by packet headers. The method may also include generating packet equivalence classes (PECs) by removing children elements from a parent element in the transitive reduction, where each PEC covers disjoint sets of packets, and each PEC is identified by fields in the packet headers including source address, destination address, and protocol of packets. The PECs may represent a group of packets treated in a same manner in the network. The method may also include generating a graph representation of the network nodes utilizing the PECs, and, using the graph representation, verifying properties of operation of the network.

Network Verification

View page
US Patent:
20180351845, Dec 6, 2018
Filed:
May 31, 2017
Appl. No.:
15/610590
Inventors:
- Kawasaki-shi, JP
Ali KHERADMAND - Urbana IL, US
Assignee:
FUJITSU LIMITED - Kawasaki-shi
International Classification:
H04L 12/26
H04L 12/741
Abstract:
A network verification method may include identifying a data plane for routing traffic through a network that includes one or more forwarding tables for each switch of a plurality of switches in the data plane. The method may also include obtaining a forwarding behavior representation of the data plane based on the forwarding tables, and obtaining a forwarding rule from the one or more forwarding tables. The method may additionally include transforming the forwarding behavior representation based on the forwarding rule. The method may also include pruning meta-information about the forwarding rule that is redundant to forwarding behavior, and comparing the forwarding behavior representation of the data plane to one or more network properties of expected behavior of the data plane to detect one or more errors in the data plane as variations from the expected behavior.

Network Verification

View page
US Patent:
20180077061, Mar 15, 2018
Filed:
Sep 13, 2016
Appl. No.:
15/264501
Inventors:
- Kawasaki-shi, JP
Mukul R. PRASAD - San Jose CA, US
Ali KHERADMAND - Urbana IL, US
Assignee:
FUJITSU LIMITED - Kawasaki-shi
International Classification:
H04L 12/741
H04L 1/00
Abstract:
A network verification method may include identifying a data plane including one or more forwarding tables for each switch of a plurality of switches in the data plane. The method may also include generating a forwarding behavior representation of the data plane to represent Boolean combinations of forwarding rules of the one or more forwarding tables of the data plane. Further, the method may include comparing the forwarding behavior representation of the data plane to one or more network properties to detect one or more errors in the data plane.
Control profile
Ali Kheradmand from Sunnyvale, CA Get Report