A Verification Platform for SDN-Enabled Applications

A Verification Platform for SDN-Enabled Applications

                        A Verification Platform for SDN-Enabled Applications.Recent work on integration of SDNs with application-layer systems like Hadoop has created a class of system, SDNEnabled Applications, which implement application-specific functionality on the network layer by exposing network monitoring and control semantics to applicationdevelopers. This requires domain-specific knowledge to correctly reason about network behavior and properties, as the SDN is now tightly coupled to the larger system. Existing tools for SDN verification and analysis are insufficiently expressive to capture this composition of network and domain models.

Hadoop-Projects

Hadoop-Projects

Unfortunately, it is exactly this kind of automated reasoning and verification that is necessary to develop robust SDNenabled applications for real-world systems. In this paper, we present ongoing work on Verificare, a verification platform being built to enable formal verification of SDNs as components of a larger domain-specific system. SLA, safety, and security requirements can selected from a variety of formal libraries and automatically verified using a variety of off-the-shelf tools. This approach not only extends the flexibility of existingSDN verification systems, but can actually provide more fine-grained analysis of possible network states due to extra information supplied by the domain model.

Similar IEEE  Project Titles

Save


Work Progress

PHD - 24

M.TECH - 125

B.TECH -95

BIG DATA -110.

HADOOP -90.

ON-GOING Hadoop Projects

HADOOP MAP -90.

HADOOP YARN -27.

HADOOP HEBROS - 25.

HADOOP ZOOKEEPER -18.

Achievements – Hadoop Solutions

Hadoop-Projects-Achievement-Awards

Twitter Feed

Customer Review

Hadoop Solutions 5 Star Rating: Recommended 4.9 - 5 based on 1000+ ratings. 1000+ user reviews.