Runtime Verification of Component-Based Embedded Software
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.
- 4.Huang, Y., Kintala, C.: Software fault tolerance in the application layer. In: Lyu, M.R. (ed.) Software Fault Tolerance, pp.231–248. John Wiley & Sons, Chichester (1995)Google Scholar
- 6.Zulkernine, M., Seviora, R.: Towards automatic monitoring of component-based software systems. JSS ACBSE Special Issue 74(1), 15–24 (2005)Google Scholar
- 8.Plasil, F., Visnovsky, S.: Behavior protocols for software components. IEEE Trans. Softw. Eng. 28(11), 1056–1076 (2002)Google Scholar
- 9.Berbers, Y. et al.: CoConES: an approach for components and contracts in embedded systems. LNCS 3778, 209–231 (2005)Google Scholar
- 10.Thai, J., et al.: Detection of errors using aspect-oriented state consistency checks. In: ISSRE, pp. 29–30 (2001)Google Scholar