.png){kind=icon}
返回
Runtime Verification for Programmable Switches
.png){kind=icon}
OA
AI
DOI：10.1109/TNET.2023.3234931.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
We introduce a runtime verification framework for programmable switches that complements static analysis. To evaluate our approach, we design and develop, a runtime verification system that automatically detects, localizes, and patches software bugs in P4 programs. Bugs are reported via a violation of pre-specified expected behavior that is captured by . is based on machine learning-guided fuzzing that tests P4 switch non-intrusively, i.e., without modifying the P4 program for detecting runtime bugs. This enables an automated and real-time localization and patching of bugs. We used a prototype to detect and patch existing bugs in various publicly available P4 application programs deployed on two different switch platforms, namely, behavioral model (bmv2) and Tofino. Our evaluation shows that significantly outperforms bug detection baselines while generating fewer packets and patches bugs in large P4 programs, e.g., switch.p4 without triggering any regressions.
Keyword:
Computer bugs
Behavioral sciences
Runtime
Software
Fuzzing
Pipelines
Static analysis
Programmable networks
P4
verification
期刊
I
IF:
3.6
论文数:
4.4K
被引数:
9.5K
机构
引用论文
The Hydroalumination of Ethylene. A Self-consistent Field Molecular Orbital Study.乙烯的加氢铝化。自洽场分子轨道研究。OAAI
.png){kind=icon}
OAAI分享收藏分享收藏Novel metal borides with catalyitc reactivity for hydrodesulfurization and coal liquefaction具有催化活性的新型金属硼化物，用于加氢脱硫和煤液化
PREAI
分享收藏
查看更多内容