Artikel in Tagungsband INPROC-2011-79

Bibliograph.
Daten
Keul, Steffen: Tuning Static Data Race Analysis for Automotive Control Software.
In: Proceedings of the 11th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 25-26 September, Williamsburg, VA, USA.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik.
S. 45-54, englisch.
IEEE Computer Society, September 2011.
ISBN: 978-1-4577-0932-6; DOI: 10.1109/SCAM.2011.16.
Artikel in Tagungsband (Konferenz-Beitrag).
CR-Klassif.D.2.4 (Software Engineering Software/Program Verification)
D.4.1 (Process Management)
F.3.2 (Semantics of Programming Languages)
Kurzfassung

Implementation of concurrent software systems is difficult and error-prone. Race conditions can cause intermittent failures, which are rarely found during testing. In safety-critical applications, the absence of race conditions should be demonstrated before deployment of the system. Several static analysis techniques to show the absence of data races are known today. In this paper, we report on our experiences with a static data race detector. We define a basic analysis based on classical lockset analysis and present three enhancements to that algorithm. We evaluate and compare the effectiveness of the basic and enhanced analysis algorithms empirically for an automotive embedded system. We find that the number of warnings could be reduced by more than 40% and that the ratio of true positives per total number of warnings could be doubled.

Abteilung(en)Universität Stuttgart, Institut für Softwaretechnologie, Programmiersprachen und Übersetzerbau
Eingabedatum15. November 2011
   Publ. Institut   Publ. Informatik