Results 41 to 50 of about 8,146 (201)
Unified Approach to Static and Runtime Verification
, 2021 Smart living environments are increasingly based on embedded information and communication technology. Generally, users are no technical experts and rely on the correct functioning of the system.
Kroeger, Reinhold +3 more
core +1 more source
IEEE AccessSelf-adaptive systems modify their behavior at runtime in response to environmental changes. In such systems, runtime verification techniques are effective for checking that the modified behavior is appropriate for the environment.
Ryuichi Iida +2 more
doaj +1 more source
Research on Drone Fault Detection Based on Failure Mode Databases
Drones, 2023 Drones are widely used in a number of key fields and are having a profound impact on all walks of life. Working out how to improve drone safety through fault detection is key to ensuring the smooth execution of tasks. At present, most research focuses on
Defei Hou +3 more
doaj +1 more source
Collaborative Runtime Verification with Tracematches [PDF]
Journal of Logic and Computation, 2007 Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during an application's deployment than during testing. The use of runtime verification after deployment would enable developers to detect unexpected situations.
Eric Bodden +4 more
openaire +1 more source
07011 Executive Summary – Runtime Verification
, 2008 From January 2 to January 6, 2007, the Dagstuhl Seminar 07011 "Runtime Verification" was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
Sokolsky, Oleg +3 more
core +1 more source
An Algebraic Framework for Runtime Verification [PDF]
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018 Runtime verification (RV) is a pragmatic and scalable, yet rigorous technique, to assess the correctness of complex systems, including cyber-physical systems (CPS). By measuring how robustly a CPS run satisfies a specification, RV allows in addition, to quantify the resiliency of a CPS to perturbations.
Stefan Jaksic +3 more
openaire +2 more sources
Runtime Verification for Wireless Sensor Network Applications [PDF]
, 2008 We present a case study that considers the application of runtime verification technology to a wireless sensor application. The case study is performed using the SURGE TinyOS application for multi-hop routing, which executes on the Avrora TinyOS ...
Sokolsky, Oleg +3 more
core +1 more source
Runtime verification approach for DoS attack detection in edge servers
Tongxin xuebao, 2021 Aiming at the DoS (denial of service) attacks against edge servers in an edge computing system, a parallel runtime verification approach for DoS attack detection was proposed.First, PPTL (propositional projection temporal logic) formulas were utilized to
Bin YU +4 more
doaj +2 more sources
10451 Executive Summary – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems [PDF]
, 2011 From November 7 to 12, 2010, the Dagstuhl Seminar 10451 'Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems' was held in Schloss Dagstuhl – Leibniz Center for Informatics.
Sokolsky, Oleg +4 more
core +1 more source
Automated Runtime Verification of Security for E-Commerce Smart Contracts
Journal of Theoretical and Applied Electronic Commerce ResearchAs a novel decentralized computing paradigm, blockchain is expected to disrupt the existing e-commerce architecture and process. Secure smart contracts are the crucial foundation for e-commerce based on blockchain.
Yang Liu, Shengjie Zhang, Yan Ma
doaj +1 more source