Zusammenfassung
Das zeitliche Verhalten von Software im Automofive Software Engineering ist besonders bei sicherheitsrelevanten Systemen von hoher Bedeutung, um die korrekte Funktion des Systems garantieren zu können. Eine wichtige Rolle spielt hierbei die Ermiftlung ischerer und präziser Schranken der Worst-Case Execution Time (WCET) der verwendeten Software. Wir präsentieren die Zusammenfassung einer Studie; die vier verschiedene WCET-Analyseverfahren anhand praxisrelevanter Kriterien vergleicht und bewertet. Dabei werden sowohl etablierte Ansätze als auch neue Methoden unter anderem hinsichtlich ihrer Stabilität, ihrem Aufwand und ihrer Anwendbarkeit hin untersucht.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
S. Byhlin, A. Ermedahl, J. Custafsson, and B. Lisper. Applying Static WCET Analysis to Automotive Communication Software. In Proceedings of the 17th Euromicro Conference on Real-Time Systems, 2005.
M. Däumler. Timing Analysis on Software Development. Diploma thesis, Chemnitz University of Technology, 2008.
A. Ermedahl, J. Gustafsson, and B. Lisper. Experiences from Industrial WCET Analysis Case Studies. In Proceedings of the Fifth lnternational Workshop on Worst-Case Execution Time (WCET) Analysis, 2005.
C. Ferdinand. Worst Case Execution Time Prediction by Static Program Analysis. In Proceedings of the 18th International Parallel and Distributed Processing Symposium, 2004.
J. Gustafsson and A. Ermedahl. Experiences from Applying WCET Analysis in Industrial Settings. In Proceedings of the 10th IEEE lnternational Symposium on Object and Component-Oriented Heel-Time Distributed Computing, 2007.
Ashling Microsystems. Using Ashling’s Vitra Emulator Trigger and Trace Svstern for TriCore Applications [online, cited 21.06.2008]. http://www.ashling.com/ technicalarticles/APB182-TriCoreTriggerTrace.pdf.
L. Tan. The Worst Case Execution Time Tool Challenge 2006: The External Test. In Second International Symposium on Leveraging Applications of Formal Methods, Vertification and Validation, 2006.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Däumler, M., Baumgartl, R., Werner, M. (2009). WCET-Analyseverfahren in der automobilen Softwareentwicklung. In: Halang, W.A., Holleczek, P. (eds) Aktuelle Anwendungen in Technik und Wirtschaft. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85324-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-85324-4_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85323-7
Online ISBN: 978-3-540-85324-4
eBook Packages: Computer Science and Engineering (German Language)