Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software

Arjan de Roo, Hasan Sözer, Mehmet Aksit

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

    4 Citations (Scopus)

    Abstract

    Control logic of embedded systems is nowadays largely implemented in software. Such control software implements, among others, models of physical characteristics, like heat exchange among system components. Due to evolution of system properties and increasing complexity, faults can be left undetected in these models. Therefore, their accuracy must be verified at runtime. Traditional runtime verification techniques that are based on states and/or events in software execution are inadequate in this case. The behavior suggested by models of physical characteristics cannot be mapped to behavioral properties of software. Moreover, implementation in a general-purpose programming language makes these models hard to locate and verify. This paper presents a novel approach to explicitly specify models of physical characteristics using a domain-specific language, to define monitors for inconsistencies by detecting and exploiting redundancy in these models, and to realize these monitors using an aspect-oriented approach. The approach is applied to two industrial case studies.
    Original languageUndefined
    Title of host publicationFifth IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011
    Place of PublicationUSA
    PublisherIEEE Computer Society
    Pages41-50
    Number of pages10
    ISBN (Print)978-0-7695-4453-3
    DOIs
    Publication statusPublished - 27 Jun 2011

    Publication series

    Name
    PublisherIEEE Computer Society

    Keywords

    • METIS-279164
    • IR-77820
    • EWI-20402
    • SE-DFC: Design for Composition
    • SE-Q: Quality Modelling and Verification

    Cite this

    de Roo, A., Sözer, H., & Aksit, M. (2011). Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software. In Fifth IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011 (pp. 41-50). USA: IEEE Computer Society. https://doi.org/10.1109/SSIRI.2011.14
    de Roo, Arjan ; Sözer, Hasan ; Aksit, Mehmet. / Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software. Fifth IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011. USA : IEEE Computer Society, 2011. pp. 41-50
    @inproceedings{ec9f7f92000844688b24d8bac1bf1d37,
    title = "Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software",
    abstract = "Control logic of embedded systems is nowadays largely implemented in software. Such control software implements, among others, models of physical characteristics, like heat exchange among system components. Due to evolution of system properties and increasing complexity, faults can be left undetected in these models. Therefore, their accuracy must be verified at runtime. Traditional runtime verification techniques that are based on states and/or events in software execution are inadequate in this case. The behavior suggested by models of physical characteristics cannot be mapped to behavioral properties of software. Moreover, implementation in a general-purpose programming language makes these models hard to locate and verify. This paper presents a novel approach to explicitly specify models of physical characteristics using a domain-specific language, to define monitors for inconsistencies by detecting and exploiting redundancy in these models, and to realize these monitors using an aspect-oriented approach. The approach is applied to two industrial case studies.",
    keywords = "METIS-279164, IR-77820, EWI-20402, SE-DFC: Design for Composition, SE-Q: Quality Modelling and Verification",
    author = "{de Roo}, Arjan and Hasan S{\"o}zer and Mehmet Aksit",
    note = "10.1109/SSIRI.2011.14",
    year = "2011",
    month = "6",
    day = "27",
    doi = "10.1109/SSIRI.2011.14",
    language = "Undefined",
    isbn = "978-0-7695-4453-3",
    publisher = "IEEE Computer Society",
    pages = "41--50",
    booktitle = "Fifth IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011",
    address = "United States",

    }

    de Roo, A, Sözer, H & Aksit, M 2011, Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software. in Fifth IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011. IEEE Computer Society, USA, pp. 41-50. https://doi.org/10.1109/SSIRI.2011.14

    Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software. / de Roo, Arjan; Sözer, Hasan; Aksit, Mehmet.

    Fifth IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011. USA : IEEE Computer Society, 2011. p. 41-50.

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

    TY - GEN

    T1 - Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software

    AU - de Roo, Arjan

    AU - Sözer, Hasan

    AU - Aksit, Mehmet

    N1 - 10.1109/SSIRI.2011.14

    PY - 2011/6/27

    Y1 - 2011/6/27

    N2 - Control logic of embedded systems is nowadays largely implemented in software. Such control software implements, among others, models of physical characteristics, like heat exchange among system components. Due to evolution of system properties and increasing complexity, faults can be left undetected in these models. Therefore, their accuracy must be verified at runtime. Traditional runtime verification techniques that are based on states and/or events in software execution are inadequate in this case. The behavior suggested by models of physical characteristics cannot be mapped to behavioral properties of software. Moreover, implementation in a general-purpose programming language makes these models hard to locate and verify. This paper presents a novel approach to explicitly specify models of physical characteristics using a domain-specific language, to define monitors for inconsistencies by detecting and exploiting redundancy in these models, and to realize these monitors using an aspect-oriented approach. The approach is applied to two industrial case studies.

    AB - Control logic of embedded systems is nowadays largely implemented in software. Such control software implements, among others, models of physical characteristics, like heat exchange among system components. Due to evolution of system properties and increasing complexity, faults can be left undetected in these models. Therefore, their accuracy must be verified at runtime. Traditional runtime verification techniques that are based on states and/or events in software execution are inadequate in this case. The behavior suggested by models of physical characteristics cannot be mapped to behavioral properties of software. Moreover, implementation in a general-purpose programming language makes these models hard to locate and verify. This paper presents a novel approach to explicitly specify models of physical characteristics using a domain-specific language, to define monitors for inconsistencies by detecting and exploiting redundancy in these models, and to realize these monitors using an aspect-oriented approach. The approach is applied to two industrial case studies.

    KW - METIS-279164

    KW - IR-77820

    KW - EWI-20402

    KW - SE-DFC: Design for Composition

    KW - SE-Q: Quality Modelling and Verification

    U2 - 10.1109/SSIRI.2011.14

    DO - 10.1109/SSIRI.2011.14

    M3 - Conference contribution

    SN - 978-0-7695-4453-3

    SP - 41

    EP - 50

    BT - Fifth IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011

    PB - IEEE Computer Society

    CY - USA

    ER -

    de Roo A, Sözer H, Aksit M. Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software. In Fifth IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011. USA: IEEE Computer Society. 2011. p. 41-50 https://doi.org/10.1109/SSIRI.2011.14