Decentralized Stream Runtime Verification for Timed Asynchronous Networks
Problem: We study the problem of monitoring distributed systems such as smart buildings, ambient living, wide area networks and other distributed systems that get monitored periodically in human scale times. In these systems computers communicate using message passing and share an almost synchronize...
Main Authors: | Luis Miguel Danielsson, Cesar Sanchez |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2023-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/10190568/ |
Similar Items
-
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) -
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) -
Checking Temporal Constraints of Events in EBS at Runtime
by: Trinh Thanh-Binh, et al.
Published: (2024-03-01) -
Research on Drone Fault Detection Based on Failure Mode Databases
by: Defei Hou, et al.
Published: (2023-07-01)