Computational Verification Methods for Automotive Safety Systems
Doktorsavhandling, 2014

This thesis considers computational methods for analysis and verification of the class of automotive safety systems which support the driver by monitoring the vehicle and its surroundings, identifying hazardous situations and actively intervening to prevent or mitigate consequences of accidents. Verification of these systems poses a major challenge, since system decisions are based on remote sensing of the surrounding environment and incorrect decisions are only rarely accepted by the driver. Thus, the system must make correct decisions, in a wide variety of traffic scenarios. There are two main contributions of this thesis. First, theoretical analysis and verification methods are presented which investigate in what scenarios, and for what sensor errors, the absence of incorrect system decisions may be guaranteed. Furthermore, methods are proposed for analyzing the frequency of incorrect decisions, including the sensitivity to sensor errors, using experimental data. The second major contribution is a novel computational framework for determining the errors of mobile computer vision systems, which is one of the most widely used sensor technologies in automotive safety systems. Augmented photo-realistic images, generated by rendering virtual objects onto a real image background, are used as input to the computer vision system to be tested. Since the objects are virtual, ground truth is readily available and varying the image content by adding different virtual objects is straightforward, making the proposed framework flexible and efficient. The framework is used for both performance evaluation and for training object classifiers.

Active Safety



Augmented Reality

Performance Evaluation

Decision Making

Semi-Autonomous Vehicles

room EC, Hörsalsvägen 11
Opponent: Professor Miguel Angel Sotelo, Department of Computer Engineering, University of Alcala


Jonas Nilsson

Chalmers, Signaler och system, System- och reglerteknik

Sensitivity Analysis and Tuning for Active Safety Systems

IEEE Intelligent Transportation Systems Conference,; (2010)p. 161-167

Paper i proceeding

Performance Evaluation Method for Mobile Computer Vision Systems using Augmented Reality

IEEE Virtual Reality 2010, VR 2010; Waltham, MA; United States; 20 March 2010 through 24 March 2010,; (2010)p. 19-22

Paper i proceeding





Robotteknik och automation



Datorseende och robotik (autonoma system)



Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie: 3654

room EC, Hörsalsvägen 11

Opponent: Professor Miguel Angel Sotelo, Department of Computer Engineering, University of Alcala

Mer information