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...

Full description

Saved in:

Bibliographic Details
Published in:	ICCPS '14: ACM/IEEE 5th International Conference on Cyber-Physical Systems (with CPS Week 2014) pp. 115 - 126
Main Authors:	Medhat, Ramy, Kumar, Deepak, Bonakdarpour, Borzoo, Fischmeister, Sebastian
Format:	Conference Proceeding
Language:	English
Published:	Washington, DC, USA IEEE Computer Society 15.04.2014 IEEE
Series:	ACM Conferences
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!