Finite state transducers framework for monitors conflict detection and resolution

Soha Hussein

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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. In this paper, we present a formal model for modeling monitors based on Finite State Transducers. Monitors in the model are transducers with events as their input and output alphabet. Monitors composition is used for those monitors in conflict, where each monitor can add to the output set of events, but it can never remove an event. The output set of events is later evaluated using 2 rewrite rules and resulting in non-conflicting behavior.

Original languageEnglish (US)
Title of host publicationAdvances in Computer Science and Information Technology. Computer Science and Information Technology
Subtitle of host publicationSecond International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012.
Number of pages12
StatePublished - 2012
Externally publishedYes

Publication series

NameLecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering
ISSN (Print)1867-8211


Dive into the research topics of 'Finite state transducers framework for monitors conflict detection and resolution'. Together they form a unique fingerprint.

Cite this