Runtime Verification of Component-Based Embedded Software

Hasan Sözer, C. Hofmann, B. Tekinerdogan, Mehmet Aksit

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

    Abstract

    To deal with increasing size and complexity, component-based software development has been employed in embedded systems. Due to several faults, components can make wrong assumptions about the working mode of the system and the working modes of the other components. To detect mode inconsistencies at runtime, we propose a "lightweight" error detection mechanism, which can be integrated with component-based embedded systems. We define links among three levels of abstractions: the runtime behavior of components, the working mode specifications of components and the specification of the working modes of the system. This allows us to detect the user observable runtime errors. The effectiveness of the approach is demonstrated by implementing a software monitor integrated into a TV system.
    Original languageUndefined
    Title of host publicationProceedings of the 26th International Symposium on Computer and Information Sciences
    EditorsErol Gelenbe, Ricardo Lent, Georgia Sakellari
    Place of PublicationLondon
    PublisherSpringer
    Pages471-477
    Number of pages7
    ISBN (Print)978-1-4471-2154-1
    DOIs
    Publication statusPublished - Sep 2011

    Publication series

    Name
    PublisherSpringer Verlag

    Keywords

    • METIS-281539
    • Component-based development
    • IR-78300
    • Software Architecture
    • EWI-20659
    • Embedded Systems
    • Fault Tolerance
    • SE-SA: Software Architecture
    • Runtime verification

    Cite this

    Sözer, H., Hofmann, C., Tekinerdogan, B., & Aksit, M. (2011). Runtime Verification of Component-Based Embedded Software. In E. Gelenbe, R. Lent, & G. Sakellari (Eds.), Proceedings of the 26th International Symposium on Computer and Information Sciences (pp. 471-477). London: Springer. https://doi.org/10.1007/978-1-4471-2155-8_60
    Sözer, Hasan ; Hofmann, C. ; Tekinerdogan, B. ; Aksit, Mehmet. / Runtime Verification of Component-Based Embedded Software. Proceedings of the 26th International Symposium on Computer and Information Sciences. editor / Erol Gelenbe ; Ricardo Lent ; Georgia Sakellari. London : Springer, 2011. pp. 471-477
    @inproceedings{c3cf6b874f3549a886994d5a29d45646,
    title = "Runtime Verification of Component-Based Embedded Software",
    abstract = "To deal with increasing size and complexity, component-based software development has been employed in embedded systems. Due to several faults, components can make wrong assumptions about the working mode of the system and the working modes of the other components. To detect mode inconsistencies at runtime, we propose a {"}lightweight{"} error detection mechanism, which can be integrated with component-based embedded systems. We define links among three levels of abstractions: the runtime behavior of components, the working mode specifications of components and the specification of the working modes of the system. This allows us to detect the user observable runtime errors. The effectiveness of the approach is demonstrated by implementing a software monitor integrated into a TV system.",
    keywords = "METIS-281539, Component-based development, IR-78300, Software Architecture, EWI-20659, Embedded Systems, Fault Tolerance, SE-SA: Software Architecture, Runtime verification",
    author = "Hasan S{\"o}zer and C. Hofmann and B. Tekinerdogan and Mehmet Aksit",
    note = "10.1007/978-1-4471-2155-8_60",
    year = "2011",
    month = "9",
    doi = "10.1007/978-1-4471-2155-8_60",
    language = "Undefined",
    isbn = "978-1-4471-2154-1",
    publisher = "Springer",
    pages = "471--477",
    editor = "Erol Gelenbe and Ricardo Lent and Georgia Sakellari",
    booktitle = "Proceedings of the 26th International Symposium on Computer and Information Sciences",

    }

    Sözer, H, Hofmann, C, Tekinerdogan, B & Aksit, M 2011, Runtime Verification of Component-Based Embedded Software. in E Gelenbe, R Lent & G Sakellari (eds), Proceedings of the 26th International Symposium on Computer and Information Sciences. Springer, London, pp. 471-477. https://doi.org/10.1007/978-1-4471-2155-8_60

    Runtime Verification of Component-Based Embedded Software. / Sözer, Hasan; Hofmann, C.; Tekinerdogan, B.; Aksit, Mehmet.

    Proceedings of the 26th International Symposium on Computer and Information Sciences. ed. / Erol Gelenbe; Ricardo Lent; Georgia Sakellari. London : Springer, 2011. p. 471-477.

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

    TY - GEN

    T1 - Runtime Verification of Component-Based Embedded Software

    AU - Sözer, Hasan

    AU - Hofmann, C.

    AU - Tekinerdogan, B.

    AU - Aksit, Mehmet

    N1 - 10.1007/978-1-4471-2155-8_60

    PY - 2011/9

    Y1 - 2011/9

    N2 - To deal with increasing size and complexity, component-based software development has been employed in embedded systems. Due to several faults, components can make wrong assumptions about the working mode of the system and the working modes of the other components. To detect mode inconsistencies at runtime, we propose a "lightweight" error detection mechanism, which can be integrated with component-based embedded systems. We define links among three levels of abstractions: the runtime behavior of components, the working mode specifications of components and the specification of the working modes of the system. This allows us to detect the user observable runtime errors. The effectiveness of the approach is demonstrated by implementing a software monitor integrated into a TV system.

    AB - To deal with increasing size and complexity, component-based software development has been employed in embedded systems. Due to several faults, components can make wrong assumptions about the working mode of the system and the working modes of the other components. To detect mode inconsistencies at runtime, we propose a "lightweight" error detection mechanism, which can be integrated with component-based embedded systems. We define links among three levels of abstractions: the runtime behavior of components, the working mode specifications of components and the specification of the working modes of the system. This allows us to detect the user observable runtime errors. The effectiveness of the approach is demonstrated by implementing a software monitor integrated into a TV system.

    KW - METIS-281539

    KW - Component-based development

    KW - IR-78300

    KW - Software Architecture

    KW - EWI-20659

    KW - Embedded Systems

    KW - Fault Tolerance

    KW - SE-SA: Software Architecture

    KW - Runtime verification

    U2 - 10.1007/978-1-4471-2155-8_60

    DO - 10.1007/978-1-4471-2155-8_60

    M3 - Conference contribution

    SN - 978-1-4471-2154-1

    SP - 471

    EP - 477

    BT - Proceedings of the 26th International Symposium on Computer and Information Sciences

    A2 - Gelenbe, Erol

    A2 - Lent, Ricardo

    A2 - Sakellari, Georgia

    PB - Springer

    CY - London

    ER -

    Sözer H, Hofmann C, Tekinerdogan B, Aksit M. Runtime Verification of Component-Based Embedded Software. In Gelenbe E, Lent R, Sakellari G, editors, Proceedings of the 26th International Symposium on Computer and Information Sciences. London: Springer. 2011. p. 471-477 https://doi.org/10.1007/978-1-4471-2155-8_60