Model-Based Quality Assurance of Automotive Software

  • Jan Jürjens
  • Daniel Reiß
  • David Trachtenherz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5301)


Software in embedded (e.g. automotive) systems requires a high level of reliability. Model-based development techniques are increasingly used to reach this goal, but so far there is relatively little published knowledge on the comparative benefits in using different assurance techniques. We investigate different and potentially complementary model-based software quality assurance methods (namely simulation and white-box testing vs. model-checking) at the hand of an application to the software component of a door control unit. We draw conclusions with regards to suitable application use cases.


Electronic Control Unit Code Coverage State Explosion Problem Automotive Domain Window Pane 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bartley, M.G., Galpin, D., Blackmore, T.: A Comparison of Three Verification Techniques. In: DAC, pp. 819–823. ACM, New York (2002)Google Scholar
  2. 2.
    Bradbury, J.S., Cordy, J.R., Dingel, J.: An empirical framework for comparing effectiveness of testing and property-based formal analysis. In: PASTE, pp. 2–5 (2005)Google Scholar
  3. 3.
    Brat, G., Drusinsky, D., Giannakopoulou, D., et al.: Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods in System Design 25(2-3), 167–198 (2004)zbMATHCrossRefGoogle Scholar
  4. 4.
    Broy, M.: Challenges in automotive software engineering. In: ICSE, pp. 33–42. ACM, New York (2006)CrossRefGoogle Scholar
  5. 5.
    Broy, M., Stolen, K.: Specification and Development of Interactive Systems. Springer, Heidelberg (2001)zbMATHGoogle Scholar
  6. 6.
    Cheng, B., Houdek, F., Kawana, S. (eds.): Workshop on Automotive Requirements Engineering (AuRE). IEEE, Los Alamitos (2006)Google Scholar
  7. 7.
    Cheng, B.H.C., Stephenson, R., Berenbach, B.: Lessons learned from automated analysis of industrial UML class models (an experience report). In: MoDELS, pp. 324–338 (2005)Google Scholar
  8. 8.
    Denney, E., Fischer, B., Schumann, J.: An empirical evaluation of automated theorem provers in software certification. Int. J. on Artif. Intell. Tools 15(1), 81–108 (2006)CrossRefGoogle Scholar
  9. 9.
    Halling, M., Biffl, S., Grünbacher, P.: An experiment family to investigate the defect detection effect of tool-support for requirements inspection. In: IEEE METRICS, pp. 278–285 (2003)Google Scholar
  10. 10.
    Jürjens, J., Reiss, D., Trachtenherz, D.: Model-based quality assurance of automotive software: Experimental data (April 2008),
  11. 11.
    Kropf, T.: Software bugs seen from an industrial perspective or can formal methods help on automotive software development? In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  12. 12.
    Mouchawrab, S., Briand, L.C., Labiche, Y.: Assessing, comparing, and combining statechart- based testing and structural testing: An experiment. In: ESEM, pp. 41–50 (2007)Google Scholar
  13. 13.
    Paech, B., Houdek, F.: The door controller unit – an example specification. Technical Report 002.02/D, Fraunhofer IESE (2002)Google Scholar
  14. 14.
    Pilskalns, O., Andrews, A.A., Knight, A., Ghosh, S., France, R.B.: Testing UML designs. Information & Software Technology 49(8), 892–912 (2007)CrossRefGoogle Scholar
  15. 15.
    Pretschner, A., Broy, M., Krüger, I., Stauner, T.: Software engineering for automotive systems: A roadmap. In: ICSE, Future of Softw. Engin., pp. 33–42. ACM, New York (2007)Google Scholar
  16. 16.
    Pretschner, A., Prenninger, W., Wagner, S., Kühnel, C., Baumgartner, M., Sostawa, B., Zölch, R., Stauner, T.: One evaluation of model-based testing and its automation. In: ICSE, pp. 392–401. ACM, New York (2005)Google Scholar
  17. 17.
    Pretschner, A., Salzmann, C., Schätz, B., Stauner, T.: ICSE Workshop on Software Engineering for Automotive Systems. In: ICSE Companion, p. 146. IEEE, Los Alamitos (2007)Google Scholar
  18. 18.
    Schätz, B., Hain, T., Houdek, F., Prenninger, W., Rappl, M., Romberg, J., Slotosch, O., Strecker, M., Wißpeintner, A.: CASE Tools for Embedded Systems. Technical Report I0309, TU Munich (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Jan Jürjens
    • 1
  • Daniel Reiß
    • 2
  • David Trachtenherz
    • 3
  1. 1.The Open UniversityUK
  2. 2.Elektrobit Group LtdGermany
  3. 3.Techische Universität MünchenGermany

Personalised recommendations