Accession Number:

ADA622719

Title:

A Unified Algebraic and Logic-Based Framework Towards Safe Routing Implementations

Descriptive Note:

Final rept. 15 Jun 2012-15 Jun 2015

Corporate Author:

PENNSYLVANIA UNIV PHILADELPHIA

Personal Author(s):

Report Date:

2015-08-13

Pagination or Media Count:

10.0

Abstract:

In the past year, we have focused on two aspects of work. First, we applied concepts developed in the first two years in the domain of Software-defined Networks SDN. We developed a declarative platform for implementing SDN protocols using declarative networking programs that can be automatically verified for correctness. We build a prototype tool and demonstrate the effectiveness of the tool in validating and debugging several SDN applications. Second, we have also developed a declarative platform for automatically synthesizing SDN protocols from example scenarios. Our results show that our synthesis algorithm can generate policy implementations in seconds, and the automatically generated policy implementations have performance comparable to their handcrafted implementations.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems Management and Standards
  • Radio Communications

Distribution Statement:

APPROVED FOR PUBLIC RELEASE