Performance Evaluation of the NDN Data Plane Using Statistical Model Checking

Named Data Networking (NDN) is an emerging technology for a future internet architecture that addresses weaknesses of the Internet Protocol (IP). Since Internet users and applications have demonstrated an ever-increasing need for high speed packet forwarding, research groups have investigated different designs and implementation for fast NDN data plane forwarders and claimed they were capable of achieving high throughput rates. However, the correctness of these statements is not supported by any verification technique or formal proof. In this paper, we propose using a formal model-based approach to overcome this issue. We consider the NDN-DPDK prototype implementation of a forwarder realized at NIST, which leverages concurrency to enhance overall quality of service. We use our approach to improve its design and to formally show that it can achieve high throughput rates.

[1]  Axel Legay,et al.  S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems , 2018, ATVA.

[2]  Lotfi Benmohamed,et al.  Performance evaluation of a NDN forwarder using statistical model checking , 2019, ArXiv.

[3]  Kim G. Larsen,et al.  Statistical model checking for biological systems , 2015, International Journal on Software Tools for Technology Transfer.

[4]  Ayoub Nouri.  BIP-SMC : A Statistical Model Checking Engine for the BIP framework , 2017 .

[5]  Axel Legay,et al.  ASTROLABE , 2016, ACM Trans. Embed. Comput. Syst..

[6]  Axel Legay,et al.  Verification of an AFDX Infrastructure Using Simulations and Probabilities , 2010, RV.

[7]  Patrick Crowley,et al.  Named data networking , 2014, CCRV.

[8]  Thomas Hérault,et al.  Approximate Probabilistic Model Checking , 2004, VMCAI.

[9]  Ayoub Nouri,et al.  Rigorous System-level Modeling and Performance Evaluation for Embedded System Design. (Modélisation et Évaluation de Performance pour la Conception des Systèmes Embarqués : Approche Rigoureuse au Niveau Système) , 2015 .

[10]  Nikos Fotiou,et al.  A Survey of Information-Centric Networking Research , 2014, IEEE Communications Surveys & Tutorials.

[11]  Håkan L. S. Younes,et al.  Verification and planning for stochastic processes with asynchronous events , 2004 .

[12]  Giovanni Bartolomeo,et al.  Named Data Networking Project , 2013 .

[13]  Axel Legay,et al.  Statistical Abstraction and Model-Checking of Large Heterogeneous Systems , 2010 .

[14]  Joseph Sifakis,et al.  Modeling Heterogeneous Real-time Components in BIP , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[15]  Cyrille Jégourel,et al.  Statistical Model Checking QoS Properties of Systems with SBIP , 2012, ISoLA.

[16]  Axel Legay,et al.  Performance evaluation of stochastic real-time systems with the SBIP framework , 2018, Int. J. Crit. Comput. Based Syst..