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ženo v:

Podrobná bibliografie
Vydáno v:	ICCPS '14: ACM/IEEE 5th International Conference on Cyber-Physical Systems (with CPS Week 2014) s. 115 - 126
Hlavní autoři:	Medhat, Ramy, Kumar, Deepak, Bonakdarpour, Borzoo, Fischmeister, Sebastian
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Washington, DC, USA IEEE Computer Society 15.04.2014 IEEE
Edice:	ACM Conferences
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!