Shared variables analysis for real-time embedded systems using predefined patterns for C language

Accurate analysis of the shared variables plays a critical role in enhancing the software quality level especially for safety-critical real-time embedded systems. Many methods are currently available to warn programmers for racing conditions. However, most of the methods focus on detection of suspicious shared variable access, leaving room for improvement on the level of accuracy of warnings. In this study, an innovative methodology is presented to provide detailed accurate detection and warnings of racing conditions by matching them to predefined racing patterns for C language. Results of the proposed method are in a high decrease of the false racing condition warnings compared to available methods in the prior art. Experiments and results are provided to show the effectiveness of the proposed method. Finally, future work is addressed.