A Rule Set to Detect Interference of Runtime Enforcement Mechanisms

Somayeh Malakuti Khah Olun Abadi, Christoph Bockisch, Mehmet Aksit

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    18 Downloads (Pure)

    Abstract

    Runtime enforcement aims at verifying the active execution trace of executing software against formally specified properties of the software, and enforcing the properties in case that they are violated in the active execution trace. Enforcement mechanism of individual properties may interfere with each other, causing the overall behavior of the executing software to be erroneous. As the number and the complexity of the properties to be enforced increase, manual detection of the inferences becomes an error-prone and effort-consuming task. Hence, we aim at providing a framework for automatic detection of interferences. As the initial steps to create such a framework, in this paper we first provide formal definitions of an enforcement mechanism and enforcement operators. Second, we define a rule set to detect the interference among properties.
    Original languageUndefined
    Title of host publicationThe 20th annual International Symposium on Software Reliability Engineering, ISSRE 2009
    Place of PublicationIndia
    PublisherIEEE Computer Society Press
    Pages-
    Number of pages4
    ISBN (Print)not assigned
    Publication statusPublished - 2009

    Publication series

    Name
    PublisherIEEE Computer Society Press

    Keywords

    • METIS-264218
    • IR-69303
    • EWI-16963
    • Interference Rules
    • Automatic Interference Detection
    • Runtime Enforcement

    Cite this

    Malakuti Khah Olun Abadi, S., Bockisch, C., & Aksit, M. (2009). A Rule Set to Detect Interference of Runtime Enforcement Mechanisms. In The 20th annual International Symposium on Software Reliability Engineering, ISSRE 2009 (pp. -). India: IEEE Computer Society Press.
    Malakuti Khah Olun Abadi, Somayeh ; Bockisch, Christoph ; Aksit, Mehmet. / A Rule Set to Detect Interference of Runtime Enforcement Mechanisms. The 20th annual International Symposium on Software Reliability Engineering, ISSRE 2009. India : IEEE Computer Society Press, 2009. pp. -
    @inproceedings{1e8d0a661a6a431ca1b28f547b9ffe45,
    title = "A Rule Set to Detect Interference of Runtime Enforcement Mechanisms",
    abstract = "Runtime enforcement aims at verifying the active execution trace of executing software against formally specified properties of the software, and enforcing the properties in case that they are violated in the active execution trace. Enforcement mechanism of individual properties may interfere with each other, causing the overall behavior of the executing software to be erroneous. As the number and the complexity of the properties to be enforced increase, manual detection of the inferences becomes an error-prone and effort-consuming task. Hence, we aim at providing a framework for automatic detection of interferences. As the initial steps to create such a framework, in this paper we first provide formal definitions of an enforcement mechanism and enforcement operators. Second, we define a rule set to detect the interference among properties.",
    keywords = "METIS-264218, IR-69303, EWI-16963, Interference Rules, Automatic Interference Detection, Runtime Enforcement",
    author = "{Malakuti Khah Olun Abadi}, Somayeh and Christoph Bockisch and Mehmet Aksit",
    year = "2009",
    language = "Undefined",
    isbn = "not assigned",
    publisher = "IEEE Computer Society Press",
    pages = "--",
    booktitle = "The 20th annual International Symposium on Software Reliability Engineering, ISSRE 2009",

    }

    Malakuti Khah Olun Abadi, S, Bockisch, C & Aksit, M 2009, A Rule Set to Detect Interference of Runtime Enforcement Mechanisms. in The 20th annual International Symposium on Software Reliability Engineering, ISSRE 2009. IEEE Computer Society Press, India, pp. -.

    A Rule Set to Detect Interference of Runtime Enforcement Mechanisms. / Malakuti Khah Olun Abadi, Somayeh; Bockisch, Christoph; Aksit, Mehmet.

    The 20th annual International Symposium on Software Reliability Engineering, ISSRE 2009. India : IEEE Computer Society Press, 2009. p. -.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - A Rule Set to Detect Interference of Runtime Enforcement Mechanisms

    AU - Malakuti Khah Olun Abadi, Somayeh

    AU - Bockisch, Christoph

    AU - Aksit, Mehmet

    PY - 2009

    Y1 - 2009

    N2 - Runtime enforcement aims at verifying the active execution trace of executing software against formally specified properties of the software, and enforcing the properties in case that they are violated in the active execution trace. Enforcement mechanism of individual properties may interfere with each other, causing the overall behavior of the executing software to be erroneous. As the number and the complexity of the properties to be enforced increase, manual detection of the inferences becomes an error-prone and effort-consuming task. Hence, we aim at providing a framework for automatic detection of interferences. As the initial steps to create such a framework, in this paper we first provide formal definitions of an enforcement mechanism and enforcement operators. Second, we define a rule set to detect the interference among properties.

    AB - Runtime enforcement aims at verifying the active execution trace of executing software against formally specified properties of the software, and enforcing the properties in case that they are violated in the active execution trace. Enforcement mechanism of individual properties may interfere with each other, causing the overall behavior of the executing software to be erroneous. As the number and the complexity of the properties to be enforced increase, manual detection of the inferences becomes an error-prone and effort-consuming task. Hence, we aim at providing a framework for automatic detection of interferences. As the initial steps to create such a framework, in this paper we first provide formal definitions of an enforcement mechanism and enforcement operators. Second, we define a rule set to detect the interference among properties.

    KW - METIS-264218

    KW - IR-69303

    KW - EWI-16963

    KW - Interference Rules

    KW - Automatic Interference Detection

    KW - Runtime Enforcement

    M3 - Conference contribution

    SN - not assigned

    SP - -

    BT - The 20th annual International Symposium on Software Reliability Engineering, ISSRE 2009

    PB - IEEE Computer Society Press

    CY - India

    ER -

    Malakuti Khah Olun Abadi S, Bockisch C, Aksit M. A Rule Set to Detect Interference of Runtime Enforcement Mechanisms. In The 20th annual International Symposium on Software Reliability Engineering, ISSRE 2009. India: IEEE Computer Society Press. 2009. p. -