Finite State Transducers Framework for Monitors Conflict Detection and Resolution

Soha Hussein

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

Research Article

Finite State Transducers Framework for Monitors Conflict Detection and Resolution

Download

240 downloads

Cite: BibTeX Plain Text

@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

Soha Hussein¹^,*

1: University of Illinois at Urbana-Champaign

*Contact email: soha@illinois.edu

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.

Published: 2012-11-09

: http://dx.doi.org/10.1007/978-3-642-27317-9_12