Login / Signup
A Distributed Hardware Monitoring System for Runtime Verification on Multi-Tile MPSoCs.
Marcel Mettler
Daniel Mueller-Gritschneder
Ulf Schlichtmann
Published in:
ACM Trans. Archit. Code Optim. (2021)
Keyphrases
</>
monitoring system
data acquisition
heterogeneous wireless sensor networks
virtual instrument
health monitoring
low cost
real time
distributed systems
multi agent
hardware designs
field bus
model checking
water level
computer systems
control system
formal methods
spatial data
patient safety
sensor data
safe operation