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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	ICCPS '14: ACM/IEEE 5th International Conference on Cyber-Physical Systems (with CPS Week 2014) s. 115 - 126
Hlavní autori:	Medhat, Ramy, Kumar, Deepak, Bonakdarpour, Borzoo, Fischmeister, Sebastian
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	Washington, DC, USA IEEE Computer Society 15.04.2014 IEEE
Edícia:	ACM Conferences
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!