Abstract
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.
Keywords
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.
This work was performed partly when the first and second authors were at TU Munich and the third at BMW. Contact: http://www.jurjens.de/jan
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bartley, M.G., Galpin, D., Blackmore, T.: A Comparison of Three Verification Techniques. In: DAC, pp. 819–823. ACM, New York (2002)
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)
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)
Broy, M.: Challenges in automotive software engineering. In: ICSE, pp. 33–42. ACM, New York (2006)
Broy, M., Stolen, K.: Specification and Development of Interactive Systems. Springer, Heidelberg (2001)
Cheng, B., Houdek, F., Kawana, S. (eds.): Workshop on Automotive Requirements Engineering (AuRE). IEEE, Los Alamitos (2006)
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)
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)
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)
Jürjens, J., Reiss, D., Trachtenherz, D.: Model-based quality assurance of automotive software: Experimental data (April 2008), http://mcs.open.ac.uk/jj2924/publications/experiments/autoqa
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)
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)
Paech, B., Houdek, F.: The door controller unit – an example specification. Technical Report 002.02/D, Fraunhofer IESE (2002)
Pilskalns, O., Andrews, A.A., Knight, A., Ghosh, S., France, R.B.: Testing UML designs. Information & Software Technology 49(8), 892–912 (2007)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jürjens, J., Reiß, D., Trachtenherz, D. (2008). Model-Based Quality Assurance of Automotive Software . In: Czarnecki, K., Ober, I., Bruel, JM., Uhl, A., Völter, M. (eds) Model Driven Engineering Languages and Systems. MODELS 2008. Lecture Notes in Computer Science, vol 5301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87875-9_59
Download citation
DOI: https://doi.org/10.1007/978-3-540-87875-9_59
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87874-2
Online ISBN: 978-3-540-87875-9
eBook Packages: Computer ScienceComputer Science (R0)