A Formal Approach for the Verification of Control Systems in Autonomous Driving Applications

Control systems in autonomous vehicles can be considered as distributed embedded software systems where independent microprocessor systems communicate together using different communication protocols. Typical autonomous driving functionality is then realised by several microprocessors communicating with each other. Quality assurance and safety standards combined with increasing complexity and reliability demands make the development of such systems challenging. In order to assure the required quality and compliance with safety standards, a formal and methodical approach for testing and verification is required. The paper presents a proposal of such approach for verification and testing of control systems in the automotive applications covering active safety, advanced driver assistance and autonomous driving systems. The main focus of this approach is black-box testing and includes test design, implementation and execution.