Sacrificing a Little Space can Significantly Improve Monitoring of Time-Sensitive Cyber-Physical Systems

The goal of runtime verification is to inspect the correctness of a system by incorporating a monitor during its execution. Predictability of time distribution of monitor invocations and memory usage are two indicators of the quality of a monitoring solution, specially in cyber-physical systems, whe...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ICCPS '14: ACM/IEEE 5th International Conference on Cyber-Physical Systems (with CPS Week 2014) S. 115 - 126
Hauptverfasser:	Medhat, Ramy, Kumar, Deepak, Bonakdarpour, Borzoo, Fischmeister, Sebastian
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Washington, DC, USA IEEE Computer Society 15.04.2014 IEEE
Schriftenreihe:	ACM Conferences
Schlagworte:	Computing methodologies > Artificial intelligence > Control methods Computing methodologies > Artificial intelligence > Control methods > Computational control theory Control Theory Educational institutions Engines Equations Fuzzy sets Information systems > Data management systems > Middleware for databases > Distributed transaction monitors Inspection Monitoring Runtime Runtime Verification Software and its engineering > Software organization and properties > Contextual software domains > Operating systems > Process management > Monitors Time Predictability Control Theory Time Predictability Runtime Verification Monitoring
ISBN:	1479949302, 9781479949304, 1479949310, 9781479949311
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!