Runtime Verification of Component-Based Embedded Software

  • Hasan SözerEmail author
  • Christian Hofmann
  • Bedir Tekinerdoğan
  • Mehmet Akşit
Conference paper


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.


  1. 1.
    van Ommering, R.C., et al.: The Koala component model for consumer electronics software. IEEE Comput. 33(3), 78–85 (2000)CrossRefGoogle Scholar
  2. 2.
    Emerson, E.A., Clarke, E.M.: Using branching time temporal logic to synthesize synchronization skeletons. Sci. Comput. Program. 2(3), 241–266 (1982)CrossRefzbMATHGoogle Scholar
  3. 3.
    Sozer, H., Tekinerdogan, B., Aksit, M.: FLORA: a framework for decomposing software architecture to introduce local recovery. Softw. Pract. Exper. 39(10), 869–889 (2009)CrossRefGoogle Scholar
  4. 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
  5. 5.
    Peters, D.K., Parnas, D.L.: Requirements-based monitors for real-time systems. IEEE Trans. Softw. Eng. 28(2), 146–158 (2002)CrossRefGoogle Scholar
  6. 6.
    Zulkernine, M., Seviora, R.: Towards automatic monitoring of component-based software systems. JSS ACBSE Special Issue 74(1), 15–24 (2005)Google Scholar
  7. 7.
    Diaz, M., Juanole, G., Courtiat, J.: Observer—a concept for formal on-line validation of distributed systems. IEEE Trans. Softw. Eng. 20(12), 900–913 (1994)CrossRefGoogle Scholar
  8. 8.
    Plasil, F., Visnovsky, S.: Behavior protocols for software components. IEEE Trans. Softw. Eng. 28(11), 1056–1076 (2002)Google Scholar
  9. 9.
    Berbers, Y. et al.: CoConES: an approach for components and contracts in embedded systems. LNCS 3778, 209–231 (2005)Google Scholar
  10. 10.
    Thai, J., et al.: Detection of errors using aspect-oriented state consistency checks. In: ISSRE, pp. 29–30 (2001)Google Scholar
  11. 11.
    Schroeder B.: On-line monitoring: a tutorial. IEEE Comput. 46(25), 72–78 (1995)CrossRefGoogle Scholar
  12. 12.
    Schmid, U.: Monitoring distributed real-time systems. Real-Time Syst. 7(1), 33–56 (1994)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag London Limited  2011

Authors and Affiliations

  • Hasan Sözer
    • 1
    Email author
  • Christian Hofmann
    • 2
  • Bedir Tekinerdoğan
    • 3
  • Mehmet Akşit
    • 2
  1. 1.Özye?in UniversityIstanbulTurkey
  2. 2.University of TwenteEnschedeThe Netherlands
  3. 3.Bilkent UniversityAnkaraTurkey

Personalised recommendations