Runtime Verification of Component-Based Embedded Software


Share/Save/Bookmark

Sözer, Hasan and Hofmann, Christian and Tekinerdoğan, Bedir and Aksit, Mehmet (2012) Runtime Verification of Component-Based Embedded Software. In: 26th International Symposium on Computer and Information Sciences, 26-28 September 2011, London, UK (pp. pp. 471-477).

[img] PDF
Restricted to UT campus only
: Request a copy
264kB
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.
Item Type:Conference or Workshop Item
Copyright:© 2011 Springer
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/78300
Official URL:http://dx.doi.org/10.1007/978-1-4471-2155-8_60
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page