Safety-critical embedded software has to satisfy stringent quality requirements. All contemporary safety standards require evidence that no data races and no critical run-time errors occur, such as invalid pointer accesses, buffer overflows, or arithmetic overflows. Such errors can cause software crashes, invalidate separation mechanisms in mixed-criticality software, and are a frequent cause of errors in concurrent and multi-core applications. The static analyzer Astrée has been extended to soundly and automatically analyze concurrent software. This novel extension employs a scalable abstraction which covers all possible thread interleavings, and reports all potential run-time errors, data races, deadlocks, and lock/unlock problems. When the analyzer does not report any alarm, the program is proven free from those classes of errors. Dedicated support for ARINC 653 and OSEK/AUTOSAR enables a fully automatic OS-aware analysis. In this article we give an overview of the key concepts of the concurrency analysis and report on experimental results obtained on concurrent automotive software. The experiments confirm that the novel analysis can be successfully applied to real automotive software projects.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Finding All Potential Run-Time Errors and Data Races in Automotive Software


    Additional title:

    Sae Technical Papers



    Conference:

    WCX™ 17: SAE World Congress Experience ; 2017



    Publication date :

    2017-03-28




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Finding All Potential Run-Time Errors and Data Races in Automotive Software

    Kaestner, Daniel / Miné, Antoine / Schmidt, André et al. | British Library Conference Proceedings | 2017



    ICAS2016_0535: GENERAL MESSAGE RACES IN DATA DISTRIBUTION SERVICE PROGRAMS FOR AIRBORNE SOFTWARE

    Kim, H.-J. / Ha, O.-K. / Jun, Y.-K. | British Library Conference Proceedings | 2016


    Residue races

    Granville, A. / Shiu, D. / Shiu, P. | British Library Online Contents | 2006


    Stage Cincinnati races in record time

    Engineering Index Backfile | 1928