Model-Based Run-Time Error Detection

  • Jozef Hooman
  • Teun Hendriks
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5002)


The reliability of high-volume products, such as consumer electronic devices, is threatened by the combination of increasing complexity, decreasing time-to-market, and strong cost constraints. As an approach to maintain a high level of reliability and to avoid customer complaints, we present a run-time awareness concept. Part of this concept is the use of models for run-time error detection. We have implemented a general awareness framework in which an application and a model of its desired behaviour can be inserted. It allows both time-based and event-based error detection at run time. This method, coupled to local recovery techniques, aims to minimize any user exposure to product-internal technical errors, thereby improving user-perceived reliability.


reliability error detection embedded systems models run-time verification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Cronkhite, J.D.: Practical application of health and usage monitoring (HUMS) to helicopter rotor, engine, and drive systems. In: AHS, Proc. 49th Annual Forum, vol. 2, pp. 1445–1455 (1993)Google Scholar
  2. 2.
    Embedded Systems Institute: Ideals project (2007),
  3. 3.
    van de Laar, P., Golsteijn, R.: User-controlled reflection on join points. Journal of Software 2(3), 1–8 (2007)CrossRefGoogle Scholar
  4. 4.
    Sözer, H., Hofmann, C., Tekinerdogan, B., Aksit, M.: Detecting mode inconsistencies in component-based embedded software. In: DSN Workshop on Architecting Dependable Systems (2007)Google Scholar
  5. 5.
    Zoeteweij, P., Abreu, R., Golsteijn, R., van Gemund, A.: Diagnosis of embedded software using program spectra. In: Proc. 14th Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2007), pp. 213–220 (2007)Google Scholar
  6. 6.
    Sözer, H., Tekinerdogan, B.: Introducing recovery style for modeling and analyzing system recovery. In: Proc. Working IEEE/IFIP Conference on Software Architecture (WICSA) (2008)Google Scholar
  7. 7.
    Embedded Systems Institute: Trader project (2007),
  8. 8.
    Larsen, K., Mikucionis, M., Nielsen, B., Skou, A.: Testing real-time embedded software using UPPAAL-TRON: an industrial case study. In: 5th ACM Int. Conf. on Embedded Software (EMSOFT 2005), pp. 299–306. ACM Press, New York (2005)CrossRefGoogle Scholar
  9. 9.
    The Mathworks: Matlab/Simulink, (2007),
  10. 10.
    Reactive Systems: Model-Based Testing and Validation with Reactis (2007),
  11. 11.
    Neema, S., Bapty, T., Shetty, S., Nordstrom, S.: Autonomic fault mitigation in embedded systems. Engineering Applications of Artificial Intelligence 17, 711–725 (2004)CrossRefGoogle Scholar
  12. 12.
    Parekh, J., Kaiser, G., Gross, P., Valetto, G.: Retrofitting autonomic capabilities onto legacy systems. Cluster Computing 9(2), 141–159 (2006)CrossRefGoogle Scholar
  13. 13.
    Shin, M.E., Paniagua, F.: Self-management of COTS component-based systems using wrappers. In: Computer Software and Applications Conference (COMPSAC 2006), pp. 33–36. IEEE Computer Society, Los Alamitos (2006)CrossRefGoogle Scholar
  14. 14.
    Kokar, M.M., Baclawski, K., Eracar, Y.A.: Control theory-based foundations of self-controlling software. IEEE Intelligent Software, 37–45 (1999)Google Scholar
  15. 15.
    Garlan, D., Cheng, S., Schmerl, B.: Increasing System Dependability through Architecture-based Selfrepair. In: Architecting Dependable Systems, Springer, Heidelberg (2003)Google Scholar
  16. 16.
    Colin, S., Mariani, L.: Run-time verification. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 525–555. Springer, Heidelberg (2005)Google Scholar
  17. 17.
    Chen, F., D’Amorim, M., Rosu, G.: A formal monitoring-based framework for software development and analysis. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 357–372. Springer, Heidelberg (2004)Google Scholar
  18. 18.
    Sammapun, U., Lee, I., Sokolsky, O.: Checking correctness at runtime using real-time Java. In: Proc. 3rd Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2005) (2005)Google Scholar
  19. 19.
    van Weelden, A., Oostdijk, M., Frantzen, L., Koopman, P., Tretmans, J.: On-the-fly formal testing of a smart card applet. In: Int. Conf. on Information Security (SEC 2005), pp. 565–576 (2005)Google Scholar
  20. 20.
    MPlayer: Open source media player (2007),

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Jozef Hooman
    • 1
    • 2
  • Teun Hendriks
    • 1
  1. 1.Embedded Systems InstituteEindhovenThe Netherlands
  2. 2.Radboud University NijmegenThe Netherlands

Personalised recommendations