Filters








434,043 Hits in 5.8 sec

Languages for software-defined networks

N. Foster, A. Guha, M. Reitblatt, A. Story, M. J. Freedman, N. P. Katta, C. Monsanto, J. Reich, J. Rexford, C. Schlesinger, D. Walker, R. Harrison
2013 IEEE Communications Magazine  
Software-Defined Networks (SDN) are poised to change this by offering a clean and open interface between networking devices and the software that controls them.  ...  In the Frenetic project, we are designing simple and intuitive abstractions for programming the three main stages of network management: (i) monitoring network traffic, (ii) specifying and composing packet-forwarding  ...  CONCLUSION The Frenetic language offers programmers a collection of powerful abstractions for writing controller programs for software-defined networks.  ... 
doi:10.1109/mcom.2013.6461197 fatcat:tnyx3hbk2vainjag5s2zeg4fkq

A High-Level Rule-based Language for Software Defined Network Programming based on OpenFlow [article]

Mehdi Mohammadi, Ala Al-Fuqaha, Zijiang James Yang
2017 arXiv   pre-print
This paper proposes XML-Defined Network policies (XDNP), a new high-level language based on XML notation, to describe network control rules in Software Defined Network environments.  ...  By this approach, we believe that network administrators can develop and deploy network control policies easier and faster.  ...  Indeed, this will make software-defined networking easier and more attractive for network administrators.  ... 
arXiv:1712.04706v2 fatcat:mu6vfhm5jrf6hjfsin6piyq5n4

SDNRacer: concurrency analysis for software-defined networks

Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin Vechev
2016 Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016  
Concurrency violations are an important source of bugs in Software-Defined Networks (SDN), often leading to policy or invariant violations.  ...  SDNRacer is based on two key ingredients: (i) a precise happens-before model for SDNs that captures when events can happen concurrently, and; (ii) a set of sound, domain-specific filters that reduce the  ...  Acknowledgements We thank the anonymous reviewers and our shepherd, Ben Liblit, for their insightful feedback.  ... 
doi:10.1145/2908080.2908124 dblp:conf/pldi/El-HassanyMBVV16 fatcat:so27jtkorncwjb2trpw5v6sj74

An Approach to the Translation of Software-Defined Network Switch Flow Table into Network Processing Unit Assembly Language

Andrei Aleksandrovich MARKOBORODOV, Julia Alexandrovna SKOBTSOVA, Dmitry Yuryevitch VOLKANOV
2020 Proceedings of the Institute for System Programming of RAS  
This paper considers the OpenFlow 1.3 switch based on a programmable network processing unit (NPU).  ...  In the considered NPU assembly language, lookup operation may be implemented on the basis of search trees.  ...  An Approach to the Translation of Software-Defined Network Switch FlowTable into Network Processing Unit Assembly Language. Trudy ISP RAN/Proc.  ... 
doi:10.15514/ispras-2020-32(3)-7 fatcat:kdpv3jr36bcqhdkh3afb7ahu4q

An assertion language for debugging SDN applications

Ryan Beckett, Xuan Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, David Walker
2014 Proceedings of the third workshop on Hot topics in software defined networking - HotSDN '14  
doi:10.1145/2620728.2620743 dblp:conf/sigcomm/BeckettZZMRW14 fatcat:pf7u73643jfctmy5j5vmtfo724

Compiling minimum incremental update for modular SDN languages

Xitao Wen, Chunxiao Diao, Xun Zhao, Yan Chen, Li Erran Li, Bo Yang, Kai Bo
2014 Proceedings of the third workshop on Hot topics in software defined networking - HotSDN '14  
Further, we define the indirect dependency, or dependency for short, by taking a transitive closure on the direct dependency relations.  ...  The forwarding policies generated by the controller modules often have to dynamically react to network events with changes to the forwarding behaviors.  ... 
doi:10.1145/2620728.2620733 dblp:conf/sigcomm/WenDZCLYB14 fatcat:udirp5jvhrazxakrjk4qq7cfcu

Formal Foundations of Software Defined Networks (FoFoSDN 2020)

2020 2020 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)  
for networks.  ...  There are several contemporary examples of network failures, particularly in the domain of SDNs, that led to substantial loss for businesses.  ...  Formal Foundations of Software Defined Networks (FoFoSDN 2020) There are several contemporary examples of network failures, particularly in the domain of SDNs, that led to substantial loss for businesses  ... 
doi:10.1109/nfv-sdn50289.2020.9289905 fatcat:hcwx4bfyejdsvc6oonnmce43gu

Programming languages for programmable networks

Jennifer Rexford
2012 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12  
This broad trend is known as Software Defined Networking (SDN).  ...  During the past several years, the networking industry and research community have pushed for greater openness in networking software, and a clearer separation between networking devices and the software  ...  In this talk, we give an overview of Software Defined Networking, and survey the early programming-languages research in this area.  ... 
doi:10.1145/2103656.2103683 dblp:conf/popl/Rexford12 fatcat:dynztj3xxrgpbphhwye77i5fsm

Validation of Static Program Analysis Tools by Self-Application: A Case Study

Milos Savic, Mirjana Ivanovic
2015 Software Quality Analysis, Monitoring, Improvement, and Applications  
The idea is demonstrated by the application of SNEIPL, a language-independent extractor of dependencies between source code entities, to itself.  ...  (source code models in terms of software networks) for each supported language.  ...  This means that for a subset of supported languages software networks are formed from a low-level (statement-level) languageindependent source code representation, while for other supported languages there  ... 
dblp:conf/sqamia/SavicI15 fatcat:hjjtjnwlfbgnfb5hoob77j6rma

A Self-Adaptive Middleware for Efficient Routing in Distributed Sensor Networks

Jingtao Sun, Sisi Duan
2015 2015 IEEE International Conference on Systems, Man, and Cybernetics  
At the heart of the proposed approach is the design of a policy-driven language to control the relocation of software components between sensor nodes.  ...  At the heart of the proposed approach is the design of a policy-driven language to control the relocation of software components between sensor nodes.  ...  By using this language, the destination and conditions can be easily defined for relocation of software components. Also, the policies do not need to define the destination of components.  ... 
doi:10.1109/smc.2015.68 dblp:conf/smc/SunD15 fatcat:fpaa3k6nqjcancx57xr6rt7bpq

STAR-TRANS Modeling Language (STML) modeling risk in the STAR-TRANS risk assessment framework for interconnected transportation systems

Dimitris Zisiadis, Spyros Kopsidas, Vassilis Grizis, George Thanos, George Leventakis, Leandros Tassiulas
2012 International Conference on Information Systems for Crisis Response and Management  
Networks (STAR-TRANS) framework.  ...  heterogeneous transport networks.  ...  ACKNOWLEDGEMENTS This work is part of the project "Strategic Risk Assessment and Contingency Planning in Interconnected Transportation Networks" ICT-FP7-225594 STAR-TRANS, funded by the European Commission  ... 
dblp:conf/iscram/ZisiadisKGTLT12 fatcat:azsmshjijrc6lhkrzzhlxtd3zi

Metamodeling of Bayesian networks for decision-support systems development

Isabel María del Águila, José del Sagrado
2012 European Conference on Artificial Intelligence  
This paper focuses on bring closer these languages. By one hand, we define a meta model which contains the key concepts used in the definition of a knowledge model as a Bayesian network.  ...  The knowledge modeling and software modeling phases in Knowledge-Based System development are not integrable, in terms of representation, due to the different languages needed at the steps of the development  ...  We use UML profile to define a UML Bayesian network profile (UBN).  ... 
dblp:conf/ecai/AguilaS12 fatcat:z76ttqx43nc37oq3epzfpn6yvq

Software Defined "X"

Sukanta Ganguly
2014 Transdisciplinary Journal of Engineering & Science  
In [3] the authors present a domain specific language used to develop software defined networking applications.  ...  Languages used to build new software defined modules are domain centric hence of the language constructs [3, 8] will be more application centric.  ...  He as taken ideas from concept to a product with go-to-market business planning and revenue modeling for several businesses.  ... 
doi:10.22545/2014/00050 fatcat:oqorzdtusvc4raahyt5hzgt4hy

Software Defined Networking demands on software technologies

T. Galinac Grbac, C.M. Caba, J. Soler
2015 2015 38th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)  
Software Defined Networking (SDN) is a networking approach based on a centralized control plane architecture with standardised interfaces between control and data planes.  ...  Here in this paper we aim to identify challenges for further evolution of software technologies in addressing problems of network evolution.  ...  ACKNOWLEDGMENT The work presented in this paper is supported by COST action 1304 Autonomous Control for a Reliable Internet of Services (ACROSS), COST action 1201 Behavioural Types for Reliable Large Scale  ... 
doi:10.1109/mipro.2015.7160315 dblp:conf/mipro/GrbacCS15 fatcat:guyamfau6vbctbpr4t2sgukpau

COMPUTER NETWORKS VIRTUALIZATION COST EFFECTIVE AND DISTANCE LEARNING ACHIEVEMENT

FARIS KETI
2017 The Journal of The University of Duhok  
In this paper an evaluation of the concept of computer networks virtualization and Software Defined Networks is conducted which can be used by the students to improve the learning process of computer networks  ...  attendance for experiment purposes and in lab work.  ...  Their aim is to use software defined network principals to provide a platform for re-search, educational and health care institutions to interconnect them together.  ... 
doi:10.26682/sjuod.2017.20.1.8 fatcat:itno6355nzhzfigtl4poe3gooa
« Previous Showing results 1 — 15 out of 434,043 results