Verifiable Active Safety for Automotive Cyber-Physical Systems with Humans in the Loop

A recent trend in the automotive industry is the rapid inclusion of electronics, computers and controls that focus entirely on improved functionality and overall system robustness. This makes the automotive sector one of the richest targets for emerging innovations in Cyber-Physical Systems (CPS) [1]. While this trend has affected all of the vehicle areas, there is a particular interest in active safety that effectively complements passive safety. Passive safety is focused on the structural integrity of the vehicle. Active safety, on the other hand, is primarily used to avoid accidents and at the same time facilitate better vehicle controllability and stability especially in emergency situations, such as what may occur when suddenly encountering slippery parts of the road or when the driver attention level quickly decreases [2].