FPGA Stream-Monitoring of Real-time Properties

An essential part of cyber-physical systems is the online evaluation of real-time data streams. Especially in systems that are intrinsically safety-critical, a dedicated monitoring component inspecting data streams to detect problems at runtime greatly increases the confidence in a safe execution. S...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2020-03
Hauptverfasser:	Baumeister, Jan, Finkbeiner, Bernd, Schwenger, Maximilian, Torfah, Hazem
Format:	Artikel
Sprache:	eng
Schlagworte:	Cyber-physical systems Data transmission Monitoring On-line systems Properties (attributes) Real time Safety critical Specification and description languages Specifications Systems analysis Upper bounds
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!