Research Article
Finite State Transducers Framework for Monitors Conflict Detection and Resolution
261 downloads
@INPROCEEDINGS{10.1007/978-3-642-27317-9_12, author={Soha Hussein}, title={Finite State Transducers Framework for Monitors Conflict Detection and Resolution}, proceedings={Advances in Computer Science and Information Technology. Computer Science and Information Technology. Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III}, proceedings_a={CCSIT PART III}, year={2012}, month={11}, keywords={}, doi={10.1007/978-3-642-27317-9_12} }
- Soha Hussein
Year: 2012
Finite State Transducers Framework for Monitors Conflict Detection and Resolution
CCSIT PART III
Springer
DOI: 10.1007/978-3-642-27317-9_12
Abstract
Runtime monitoring and verification systems monitor target’s events and verify them against specifications during program execution. For such systems the same event might trigger different monitors remedial actions, which can be contradictory in behavior or complementary (with a specific order). This urges the need to have a method to detect and resolve potential conflict between monitors.
Copyright © 2012–2024 ICST