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

    23 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.