2013 · 14 citations · 18 references
EngineeringProprietary SoftwareControl PlaneSoftware EngineeringIntegrated Development EnvironmentProgrammable Data PlaneSystems EngineeringInternet ComputingInternet Of ThingsNetwork VirtualizationNetwork InfrastructureSoftware-defined NetworkingPortable Network AppsComputer EngineeringMobile ComputingSoftware DesignFirst Steps TowardsCloud ComputingNetwork IntegrationTechnologySystem SoftwareSoftware-defined InfrastructureNetwork Management Architecture
Nowadays, while most of the programmable network apparatus vendors support OpenFlow, a number of fragmented control plane solutions exist for proprietary Software -- Defined Networks. Thus, network applications developers are forced to re-implement their solutions every time they encounter a new network controller. Moreover, different network developers adopt different solutions as control plane programming language (e.g. Frenetic, Procera), severely limiting code sharing and reuse. Despite having OpenFlow as candidate standard interface between the controller and the network infrastructure, interoperability between different controllers and network devices is hindered and closed ecosystems are emerging. In this paper we present the roadmap toward NetIDE, an integrated development environment which aims at supporting the whole development lifecycle of vendor -- agnostic network applications.
18
Header space analysis: static checking for networks
Peyman Kazemian, George Varghese, Nick McKeown · 2012 · 625 citations
A security enforcement kernel for OpenFlow networks
Philip Porras, Seungwon Shin, Vinod Yegneswaran et al. · 2012 · 520 citations · Full text
Engineering, Information Security, Software Defined Security +19
Reproducible network experiments using container-based emulation
Nikhil Handigol, Brandon Heller, Vimalkumar Jeyakumar et al. · 2012 · 497 citations
VeriFlow: verifying network-wide invariants in real time
Ahmed Khurshid, Xuan Kelvin Zou, Wenxuan Zhou et al. · 2013 · 474 citations
Real time network policy checking using header space analysis
Peyman Kazemian, Michael T. Chang, Hongyi Zeng et al. · 2013 · 455 citations