Author
Sözer, Hasan, Hofmann, C, Tekinerdoğan, B., Akşit, M.
Publication Date
2011
Publication Place
-
Springer
Subject
Component based, Component-based software development, Error-detection mechanism, Levels of abstraction, Run-time errors, Run-time verification, Runtime behaviors, Working mode
Type
Book
Language
English
Digital
Yes
Manuscript
No
Library
Özyeğin University
Library Asset ID
978-1-4471-2155-8
Record ID
0665292f-7d2d-4945-aa2b-3f423f0f30b3
Library Location
Computer Science
Date
2011
Notes
Due to copyright restrictions, the access to the full text of this article is only available via subscription.
Sample Text
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.
