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
229 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
Soha Hussein1,*
  • 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.