Results 71 to 80 of about 8,146 (201)
NetChecker: enabling real-time and error-locatable runtime verification for programmable networks
Journal of King Saud University: Computer and Information SciencesRuntime 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.
Ying Yao, Le Tian, Yuxiang Hu
doaj +1 more source
Runtime Monitoring for Concurrent Systems
, 2016 Most existing specification languages for runtime verification describe the properties of the entire system in a top-down manner, and lack constructs to describe concurrency in the specification directly.
Mitsuharu Yamamoto +14 more
core +1 more source
Runtime Verification for Visual Deep Learning Systems With Loss Prediction
IEEE AccessDeep neural networks often demonstrate remarkable performance on benchmarks, but have been shown to readily fail once they leave lab-conditions and are deployed in real-world conditions. This can be attributed to their sensitivity to minor changes in the
Birk Torpmann-Hagen +3 more
doaj +1 more source
Runtime Verification Tool for the Calculus of Context-Aware Ambients
MathematicsA context-aware system is a system that adapts its behaviours in response to changes in the system’s environment (i.e., context). Ensuring the correctness of such a system is difficult because the state of the environment changes frequently in an ...
François Siewe
doaj +1 more source
Journal of Cloud Computing: Advances, Systems and ApplicationsIntelligent Transport System (ITS) is a typical class of Cyber-Physical Systems (CPS), and due to the special characteristics of such systems, higher requirements are placed on system security. Runtime verification is a lightweight verification technique
Yu Zhang +4 more
doaj +1 more source
Evolution-aware runtime verification [PDF]
, 2019 The risk posed by software bugs has increased tremendously as software is now essential to many aspects of our daily lives. Software testing is still the most common method for finding bugs during software development, before software is deployed ...
Legunsen, Owolabi
core +1 more source
Varanus: Runtime Verification for CSP
Autonomous systems are often used in changeable and unknown environments, where traditional verification may not be suitable. Runtime Verification (RV) checks events performed by a system against a formal specification of its intended behaviour, making it highly suitable for ensuring that an autonomous system is obeying its specification at runtime ...
Matt Luckcuck +2 more
openaire +2 more sources
Approach on runtime monitoring based on the embedded trusted platforms
网络与信息安全学报, 2017 The state-of-art trusted computing platforms fall short of monitoring its own runtime security properties.In order to mitigate these problems,an approach on runtime monitoring for the embedded trusted platforms was proposed.With the automated code ...
Zhao-chang SUN,Jian-feng MA,Cong SUN,Di LU
doaj +1 more source
Towards Data Quality Runtime Verification [PDF]
Annals of computer science and information systems, 2019 Janis Bicevskis +3 more
doaj +1 more source
Verification of Control System Runtime Using an Executable Semantic Model
AlgorithmsThe paper outlines a methodology for validating the accuracy of a control system’s runtime implementation. The runtime takes the form of a virtual machine executing portable code compliant with IEC 61131-3 standards.
Jan Sadolewski, Bartosz Trybus
doaj +1 more source