Monocle: Dynamic, fine-grained data plane monitoring

Proceedings of the 11th ACM Conference on Emerging Networking Experiments and Technologies, CoNEXT 2015

Volumn , Issue , 2015, Pages

  Perešíni, Peter ^a   Kuzniar, Maciej ^a   Kostić, Dejan ^b  

^a EPFL   (Switzerland)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

Monitoring; Reliability; Software defined networking

Indexed keywords

CONTROLLERS; MONITORING; PROBES; RECONFIGURABLE HARDWARE; RELIABILITY; SOFTWARE DEFINED NETWORKING; SOFTWARE RELIABILITY;

BOOLEAN SATISFIABILITY; DYNAMIC NETWORK; FORWARDING TABLES; NETWORK ANOMALIES; NETWORK CONFIGURATION; NETWORK RELIABILITY; SERVICE LEVEL OBJECTIVE; SOFTWARE FAILURE;

COMPLEX NETWORKS;

EID: 84983318234     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2716281.2836117     Document Type: Conference Paper

References (24)

1. PicoSAT. http://fmv. jku.at/picosat.
2. K. Agarwal, E. Rozner, C. Dixon, and J. Carter. SDN traceroute: Tracing SDN Forwarding without Changing Network Behavior. 2014.
3. T. Benson, A. Anand, A. Akella, and M. Zhang. MicroTE: Fine Grained Traffic Engineering for Data Centers. In CoNEXT, 2011.
4. D. Challenge. Satisfiability: Suggested Format. DIMACS Challenge. DIMACS, 1993.
5. L. De Moura and N. Bjørner. Z3: An efficient SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems. 2008.
6. A. D. Ferguson, A. Guha, C. Liang, R. Fonseca, and S. Krishnamurthi. Participatory Networking: An API for Application Control of SDNs. In SIGCOMM, 2013.
7. V. Ganesh and D. L. Dill. A Decision Procedure for Bit-Vectors and Arrays. In CAV, 2007.
8. B. Heller, C. Scott, N. McKeown, S. Scott, A. Wundsam, H. Zeng, S. Whitlock, V. Jeyakumar, N. Handigol, J. McCauley, K. Zarifis, and P. Kazemian. Leveraging SDN Layering to Systematically Troubleshoot Networks. In HotSDN, 2014.
9. S. Jain, A. Kumar, S. Mandal, J. Ong, L. Poutievski, A. Singh, S. Venkata, J. Wanderer, J. Zhou, M. Zhu, J. Zolla, U. Hölzle, S. Stuart, and A. Vahdat. B4: Experience with a Globally-Deployed Software Defined WAN. In SIGCOMM, 2013.
10. K. Jayaraman, N. Bjrner, G. Outhred, and C. Kaufman. Automated Analysis and Debugging of Network Connectivity Policies. Technical Report MSR-TR-2014-102, MSR, 2014.
11. P. Kazemian, M. Chang, H. Zeng, G. Varghese, N. McKeown, and S. Whyte. Real Time Network Policy Checking using Header Space Analysis. In NSDI, 2013.
12. P. Kazemian, G. Varghese, and N. McKeown. Header Space Analysis: Static Checking for Networks. In NSDI, 2012.
13. A. Khurshid, X. Zou, W. Zhou, M. Caesar, and P. B. Godfrey. VeriFlow: Verifying Network-Wide Invariants in Real Time. In NSDI, 2013.
14. S. Knight, H. Nguyen, N. Falkner, R. Bowden, and M. Roughan. The Internet Topology Zoo. Journal on Selected Areas in Communications, 29(9), 2011.
15. M. Kúzniar, P. Perešíni, and D. Kostić. Providing Reliable FIB Update Acknowledgments in SDN. In CoNEXT, 2014.
16. M. Kúzniar, P. Perešíni, and D. Kostić. Monocle: Dynamic, Fine-Grained Data Plane Monitoring. Technical Report 208867, EPFL, 2015. https://infoscience.epfl.ch/record/208867.
17. M. Kúzniar, P. Perešíni, and D. Kostić. What You Need to Know About SDN Flow Tables. In PAM, 2015.
18. H. Mai, A. Khurshid, R. Agarwal, M. Caesar, P. B. Godfrey, and S. T. King. Debugging the Data Plane with Anteater. In SIGCOMM, 2011.
19. E. Malaguti and P. Toth. A survey on vertex coloring problems. International Transactions in Operational Research, 17(1):1-34, 2010.
20. M. Reitblatt, N. Foster, J. Rexford, C. Schlesinger, and D. Walker. Abstractions for Network Update. In SIGCOMM, 2012.
21. N. Spring, R. Mahajan, and D. Wetherall. Measuring ISP Topologies with Rocketfuel. In SIGCOMM, 2002.
22. Y.-W. E. Sung, S. G. Rao, G. G. Xie, and D. A. Maltz. Towards Systematic Design of Enterprise Networks. In CoNEXT, 2008.
23. TechTarget. Carriers bet big on open SDN. http://searchsdn. techtarget.com/news/4500248423/Carriers-bet-big-on-open-SDN, last visited on Oct. 5, 2015.
24. H. Zeng, P. Kazemian, G. Varghese, and N. McKeown. Automatic Test Packet Generation. In CoNEXT, 2012.