Static Code Analysis for Automotive Software

The correct operation of embedded software is essential in automotive ECUs that control powertrain, braking, steering, and automated driver assistance systems.  The development of software for these systems is characterized by demonstrating compliance with safety standards such as ISO 26262. This presentation will explore the use of advancements in formal methods based verification of source code to improve the robustness of C/C++ code. Rather than hunting for defects in wide swaths of code, these new techniques and workflows provide precision in guiding software engineering teams to know which parts of code will not fail and isolate those aspects of code that will fail or are most likely to fail.