NetChecker: enabling real-time and error-locatable runtime verification for programmable networks

Abstract Runtime errors may occur in programmable networks due to incorrect table hits, erroneous rule matches, and mistakes in the P4 pipeline, which cannot be debugged and repaired before program deployment. In this paper, we present the design and implementation of NetChecker, a real-time and err...

Full description

Bibliographic Details
Published in:	Journal of King Saud University: Computer and Information Sciences
Main Authors:	Ying Yao, Le Tian, Yuxiang Hu
Format:	Article
Language:	English
Published:	Springer 2025-06-01
Subjects:	Programmable network Runtime verification Error detection Error localization
Online Access:	https://doi.org/10.1007/s44443-025-00083-6

Similar Items

Decentralized Stream Runtime Verification for Timed Asynchronous Networks
by: Luis Miguel Danielsson, et al.
Published: (2023-01-01)

Runtime Verification for Anomaly Detection of Robotic Systems Security
by: Yunus Sabri Kirca, et al.
Published: (2023-01-01)

Runtime verification in uncertain environment based on probabilistic model learning
by: Ge Zhou, et al.
Published: (2022-09-01)

On the Execution and Runtime Verification of UML Activity Diagrams
by: François Siewe, et al.
Published: (2025-02-01)

Automated Runtime Verification of Security for E-Commerce Smart Contracts
by: Yang Liu, et al.
Published: (2025-04-01)

Runtime Verification for Visual Deep Learning Systems With Loss Prediction
by: Birk Torpmann-Hagen, et al.
Published: (2025-01-01)

Runtime verification approach for DoS attack detection in edge servers
by: Bin YU, et al.
Published: (2021-09-01)

Runtime verification approach for DoS attack detection in edge servers
by: Bin YU, et al.
Published: (2021-09-01)

Reliable Task Management Based on a Smart Contract for Runtime Verification of Sensing and Actuating Tasks in IoT Environments
by: Lei Hang, et al.
Published: (2020-02-01)

Runtime safety assurance methods for cyber physical systems based on simplex architecture
by: WANG Qiang, et al.
Published: (2024-05-01)

Checking Temporal Constraints of Events in EBS at Runtime
by: Trinh Thanh-Binh, et al.
Published: (2024-03-01)

Runtime Verification-Based Safe MARL for Optimized Safety Policy Generation for Multi-Robot Systems
by: Yang Liu, et al.
Published: (2024-05-01)

Approach on runtime monitoring based on the embedded trusted platforms
by: Zhao-chang SUN, et al.
Published: (2017-10-01)

Approach on runtime monitoring based on the embedded trusted platforms
by: Zhao-chang SUN,Jian-feng MA,Cong SUN,Di LU
Published: (2017-10-01)

Estimating runtime of a job in Hadoop MapReduce
by: Narges Peyravi, et al.
Published: (2020-07-01)

Dynamic assessment approach for intelligent power distribution systems based on runtime verification with requirements updates
by: Yunshuo Li, et al.
Published: (2025-06-01)

RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications
by: Debora C. Engelmann, et al.
Published: (2023-03-01)

Verification of Control System Runtime Using an Executable Semantic Model
by: Jan Sadolewski, et al.
Published: (2024-06-01)

Device runtime and costs of cardiac resynchronization therapy pacemakers – a health claims data analysis
by: Hadwiger, Moritz, et al.
Published: (2022-03-01)

Analysis of smart imaging runtime
by: Thomas Athey, et al.
Published: (2025-08-01)

User Privacy Protection via Windows Registry Hooking and Runtime Encryption
by: Edward L. Amoruso, et al.
Published: (2024-08-01)

Design and Verification of Petri-Net-Based Cyber-Physical Systems Oriented toward Implementation in Field-Programmable Gate Arrays—A Case Study Example
by: Remigiusz Wiśniewski, et al.
Published: (2022-12-01)

Runtime Monitoring of Software Execution Trace: Method and Tools
by: Shiyi Kong, et al.
Published: (2020-01-01)

Runtime–Coherence Tradeoffs for Hybrid Satisfiability Solvers
by: Vahideh Eshaghian, et al.
Published: (2025-01-01)

Specx: a C++ task-based runtime system for heterogeneous distributed architectures
by: Paul Cardosi, et al.
Published: (2025-07-01)

On Managing Knowledge for MAPE-K Loops in Self-Adaptive Robotics Using a Graph-Based Runtime Model
by: Adrián Romero-Garcés, et al.
Published: (2022-08-01)

Bounds on the Probability of Undetected Error for <i>q</i>-Ary Codes
by: Xuan Wang, et al.
Published: (2023-09-01)

SQLMVED: SQL injection runtime prevention system based on multi-variant execution
by: Bolin MA, et al.
Published: (2021-04-01)

Impact of Secure Container Runtimes on File I/O Performance in Edge Computing
by: Kyungwoon Lee, et al.
Published: (2023-12-01)

SQLMVED: SQL injection runtime prevention system based on multi-variant execution
by: Bolin MA, et al.
Published: (2021-04-01)

First reported case of a longevity overestimation error in the new Medtronic tablet‐based device programmer
by: Pedram Kazemian, et al.
Published: (2020-10-01)

Comperative analasys of JavaScript runtime environments
by: Konrad Kalman, et al.
Published: (2025-09-01)

Latency-aware automatic CNN channel pruning with GPU runtime analysis
by: Jiaqiang Liu, et al.
Published: (2021-10-01)

Research on the HTML5 Application Runtime Environment for Mobile Terminal
by: Gang Lu, et al.
Published: (2013-05-01)

Research on the HTML5 Application Runtime Environment for Mobile Terminal
by: Gang Lu, et al.
Published: (2013-05-01)

A DSL-based runtime adaptivity framework for Java
by: Tiago Carvalho, et al.
Published: (2023-07-01)

Research on Drone Fault Detection Based on Failure Mode Databases
by: Defei Hou, et al.
Published: (2023-07-01)

Malware Authorship Attribution Model using Runtime Modules based on Automated Analysis
by: Sangwoo Lee, et al.
Published: (2022-05-01)

Application of Coloured Petri Nets for Veriﬁcation of Scenario Control Structures in UCM Notation
by: N. V. Vizovitin, et al.
Published: (2016-12-01)

VERIFICATION OF DYNAMIC MEMORY ALLOCATORS BASED ON SYMBOLIC PROGRAM EXECUTION
by: Andrey M. Dergachev, et al.
Published: (2020-02-01)