Detecting Mode Inconsistencies in Component-Based Embedded Software

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

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

    19 Downloads (Pure)

    Abstract

    To deal with increasing size and complexity, componentbased software development has been employed in embedded systems. These systems comprise a set of components each of which implements a particular functionality. The system utilizes the components to provide the functionalities that are required in a set of working modes. Components can also be considered to have a set of working modes. They should work in harmony and consistent with the working mode of the system. Due to several errors that remain undetected during the design and implementation phases, components can make wrong assumptions about the working mode of the system and the working modes of the other components. These errors may lead to severe failures. Fault tolerance is required to prevent these failures at runtime. The first step to achieve fault tolerance is error detection. To detect mode inconsistencies at run-time, we propose a "lightweight" error detection mechanism, which can be integrated with component-based embedded systems. We define three dependent levels of abstractions: the run-time behavior of components, the working mode specifications of components and the specification of the working modes of the system. We define explicit links among these levels by specifying a mutual consistency condition. This allows us to detect the user observable run-time errors. The effectiveness of the approach is demonstrated by implementing a software monitor integrated into a TV system.
    Original languageUndefined
    Title of host publicationDSN Workshop on Architecting Dependable Systems
    Place of PublicationKent
    PublisherUniversity of Kent, Canterbury, United Kingdom
    Pages154-160
    Number of pages7
    ISBN (Print)not assigned
    Publication statusPublished - 27 Jun 2007
    EventWorkshop on Architecting Dependable Systems, WADS 2007 - Edinburgh International Conference Centre, Edinburgh, United Kingdom
    Duration: 27 Jun 200727 Jun 2007

    Publication series

    Name
    PublisherIEEE Computer Society Press
    Number1

    Workshop

    WorkshopWorkshop on Architecting Dependable Systems, WADS 2007
    Abbreviated titleWADS
    CountryUnited Kingdom
    CityEdinburgh
    Period27/06/0727/06/07

    Keywords

    • EWI-14868
    • Fault Tolerance
    • METIS-255115
    • online monitoring
    • IR-65293
    • Error detection

    Cite this

    Sözer, H., Hofmann, C., Tekinerdogan, B., & Aksit, M. (2007). Detecting Mode Inconsistencies in Component-Based Embedded Software. In DSN Workshop on Architecting Dependable Systems (pp. 154-160). Kent: University of Kent, Canterbury, United Kingdom.
    Sözer, Hasan ; Hofmann, C. ; Tekinerdogan, B. ; Aksit, Mehmet. / Detecting Mode Inconsistencies in Component-Based Embedded Software. DSN Workshop on Architecting Dependable Systems. Kent : University of Kent, Canterbury, United Kingdom, 2007. pp. 154-160
    @inproceedings{a037482688b140ec8fb854c8e6a8da71,
    title = "Detecting Mode Inconsistencies in Component-Based Embedded Software",
    abstract = "To deal with increasing size and complexity, componentbased software development has been employed in embedded systems. These systems comprise a set of components each of which implements a particular functionality. The system utilizes the components to provide the functionalities that are required in a set of working modes. Components can also be considered to have a set of working modes. They should work in harmony and consistent with the working mode of the system. Due to several errors that remain undetected during the design and implementation phases, components can make wrong assumptions about the working mode of the system and the working modes of the other components. These errors may lead to severe failures. Fault tolerance is required to prevent these failures at runtime. The first step to achieve fault tolerance is error detection. To detect mode inconsistencies at run-time, we propose a {"}lightweight{"} error detection mechanism, which can be integrated with component-based embedded systems. We define three dependent levels of abstractions: the run-time behavior of components, the working mode specifications of components and the specification of the working modes of the system. We define explicit links among these levels by specifying a mutual consistency condition. This allows us to detect the user observable run-time errors. The effectiveness of the approach is demonstrated by implementing a software monitor integrated into a TV system.",
    keywords = "EWI-14868, Fault Tolerance, METIS-255115, online monitoring, IR-65293, Error detection",
    author = "Hasan S{\"o}zer and C. Hofmann and B. Tekinerdogan and Mehmet Aksit",
    year = "2007",
    month = "6",
    day = "27",
    language = "Undefined",
    isbn = "not assigned",
    publisher = "University of Kent, Canterbury, United Kingdom",
    number = "1",
    pages = "154--160",
    booktitle = "DSN Workshop on Architecting Dependable Systems",

    }

    Sözer, H, Hofmann, C, Tekinerdogan, B & Aksit, M 2007, Detecting Mode Inconsistencies in Component-Based Embedded Software. in DSN Workshop on Architecting Dependable Systems. University of Kent, Canterbury, United Kingdom, Kent, pp. 154-160, Workshop on Architecting Dependable Systems, WADS 2007, Edinburgh, United Kingdom, 27/06/07.

    Detecting Mode Inconsistencies in Component-Based Embedded Software. / Sözer, Hasan; Hofmann, C.; Tekinerdogan, B.; Aksit, Mehmet.

    DSN Workshop on Architecting Dependable Systems. Kent : University of Kent, Canterbury, United Kingdom, 2007. p. 154-160.

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

    TY - GEN

    T1 - Detecting Mode Inconsistencies in Component-Based Embedded Software

    AU - Sözer, Hasan

    AU - Hofmann, C.

    AU - Tekinerdogan, B.

    AU - Aksit, Mehmet

    PY - 2007/6/27

    Y1 - 2007/6/27

    N2 - To deal with increasing size and complexity, componentbased software development has been employed in embedded systems. These systems comprise a set of components each of which implements a particular functionality. The system utilizes the components to provide the functionalities that are required in a set of working modes. Components can also be considered to have a set of working modes. They should work in harmony and consistent with the working mode of the system. Due to several errors that remain undetected during the design and implementation phases, components can make wrong assumptions about the working mode of the system and the working modes of the other components. These errors may lead to severe failures. Fault tolerance is required to prevent these failures at runtime. The first step to achieve fault tolerance is error detection. To detect mode inconsistencies at run-time, we propose a "lightweight" error detection mechanism, which can be integrated with component-based embedded systems. We define three dependent levels of abstractions: the run-time behavior of components, the working mode specifications of components and the specification of the working modes of the system. We define explicit links among these levels by specifying a mutual consistency condition. This allows us to detect the user observable run-time 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, componentbased software development has been employed in embedded systems. These systems comprise a set of components each of which implements a particular functionality. The system utilizes the components to provide the functionalities that are required in a set of working modes. Components can also be considered to have a set of working modes. They should work in harmony and consistent with the working mode of the system. Due to several errors that remain undetected during the design and implementation phases, components can make wrong assumptions about the working mode of the system and the working modes of the other components. These errors may lead to severe failures. Fault tolerance is required to prevent these failures at runtime. The first step to achieve fault tolerance is error detection. To detect mode inconsistencies at run-time, we propose a "lightweight" error detection mechanism, which can be integrated with component-based embedded systems. We define three dependent levels of abstractions: the run-time behavior of components, the working mode specifications of components and the specification of the working modes of the system. We define explicit links among these levels by specifying a mutual consistency condition. This allows us to detect the user observable run-time errors. The effectiveness of the approach is demonstrated by implementing a software monitor integrated into a TV system.

    KW - EWI-14868

    KW - Fault Tolerance

    KW - METIS-255115

    KW - online monitoring

    KW - IR-65293

    KW - Error detection

    M3 - Conference contribution

    SN - not assigned

    SP - 154

    EP - 160

    BT - DSN Workshop on Architecting Dependable Systems

    PB - University of Kent, Canterbury, United Kingdom

    CY - Kent

    ER -

    Sözer H, Hofmann C, Tekinerdogan B, Aksit M. Detecting Mode Inconsistencies in Component-Based Embedded Software. In DSN Workshop on Architecting Dependable Systems. Kent: University of Kent, Canterbury, United Kingdom. 2007. p. 154-160