A Unified Algebraic and Logic-Based Framework Towards Safe Routing Implementations
Final rept. 15 Jun 2012-15 Jun 2015
PENNSYLVANIA UNIV PHILADELPHIA
Pagination or Media Count:
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.
- Computer Programming and Software
- Computer Systems Management and Standards
- Radio Communications