Article in Proceedings INPROC-2011-79

BibliographyKeul, 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.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
pp. 45-54, english.
IEEE Computer Society, September 2011.
ISBN: 978-1-4577-0932-6; DOI: 10.1109/SCAM.2011.16.
Article in Proceedings (Conference Paper).
CR-SchemaD.2.4 (Software Engineering Software/Program Verification)
D.4.1 (Process Management)
F.3.2 (Semantics of Programming Languages)
Abstract

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.

Department(s)University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers
Entry dateNovember 15, 2011
   Publ. Institute   Publ. Computer Science