Abstract
This paper reports our experiences in estimating the worst case execution time (WCET) of automotive software components with evolutionary testing (ET). The concept maximizes the runtime of software components (SWCs) with internal states by evolving the applied test sequences. We show that the use of timing tests is strongly facilitated by the automotive architecture framework AUTOSAR. A problem of the testing concept is the high temporal effort, that comes along with measuring the execution time of a test sequence on the target hardware. An analysis of the evolutionary testability shows, that the high number of input parameters makes it hard to find the maximum execution time. The WCET estimates obtained with genetic algorithms (GAs) are inferior compared with the results of random testing. GAs run into local optima in case of flat execution time profiles, whereas random testing keeps searching globally. Random testing is outperformed by extended GAs which are adaptive to the underlying optimization problem.
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
Wegener, J., Sthamer, H.-H., Jones, B.F., Eyres, D.E.: Testing real-time systems using genetic algorithms. Software Quality Journal, 127–135 (1997)
Bernat, G., Colin, A., Petters, S.: WCET analysis of probabilistic hard real-time systems. In: Real-Time Systems Symposium (RTSS), Austin, USA (2002)
Mueller, F., Wegener, J.: A comparison of static analysis and evolutionary testing for the verification of timing constraints. In: IEEE Real-Time Technology and Applications Symposium, pp. 179–188 (1998)
Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications, 1st edn., vol. 75. Kluwer Academic Publishers, Dordrecht (1997)
Wegener, J.: Evolutionaerer Test des Zeitverhaltens von Realzeitsystemen. Shaker Verlag (2001)
Puschner, P., Nossal, R.: Testing the results of static worst-case execution time analysis. In: IEEE Real-Time Systems Symposium, pp. 134–143 (1998)
AUTOSAR consortium website, http://www.autosar.org/
Fennel, H., Bunzel, S., Heinecke, H., Bielefeld, J., Fuerst, S., Schnelle, K.-P., Grote, W., Maldener, N., Weber, T., Wohlgemuth, F., Ruh, J., Lundh, L., Sandèn, T., Heitkämper, P., Rimkus, R., Leflour, J., Gilberg, A., Virnich, U., Voget, S., Nishikawa, K., Kajio, K., Lange, K., Scharnhorst, T., Kunkel, B.: Achievements and Exploitation of the AUTOSAR Development Partnership Convergence 2006, Detroit (2006)
Scheickl, O., Rudorfer, M.: Automotive Real Time Development Using a Timing-augmented AUTOSAR Specification. In: Embedded Real Time Software (ERTS), Toulouse (2008)
Rudorfer, M., Ochs, T., Hoser, P., Thiede, M., Moessmer, M., Scheickl, O., Heinecke, H.: Realtime System Design Utilizing AUTOSAR Methodology. Elektronik Automotive (2007)
Reineke, J., Wachter, B., Thesing, S., Wilhelm, R., Polian, I., Eisinger, J., Becker, B.: A definition and classification of timing anomalies. In: 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis (2006)
Gross, H.G.: Measuring Evolutionary Testability of Real-Time Software. PhD thesis, Univ. of Glamorgan, UK (2000)
Tlili, M., Sthamer, H., Wappler, S., Wegener, J.: Improving Evolutionary Real-Time Testing by Seeding Structural Test Data Evolutionary Computation (CEC 2006), pp. 885–891 (2006)
Jones, T., Forrest, S.: Fitness Distance Correlation as a Measure of Problem Difficulty for Genetic Algorithms. In: Proceedings of the Sixth International Conference on Genetic Algorithms (1995)
Borenstein, Y., Poli, R.: Fitness distribution and GA hardness. In: Yao, X., Burke, E.K., Lozano, J.A., Smith, J., Merelo-Guervós, J.J., Bullinaria, J.A., Rowe, J.E., Tiňo, P., Kabán, A., Schwefel, H.-P. (eds.) PPSN 2004. LNCS, vol. 3242, pp. 11–20. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Franz, F. (2008). Experiences with Evolutionary Timing Test of Automotive Software Components. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_29
Download citation
DOI: https://doi.org/10.1007/978-3-540-88479-8_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88478-1
Online ISBN: 978-3-540-88479-8
eBook Packages: Computer ScienceComputer Science (R0)