facebook tracking

Master Thesis - Logical correctness of Autonomous Driving software systems


Problem description


With the recent developments in Autonomous Driving, the automotive industry has become increasingly dependent on computer and software systems. Autonomous features and control functions are distributed over several units and are responsible for numerous safety critical actions. An unintended software behavior / control action in such complex software can threaten the safety of all road users. One of the biggest challenges in making autonomous driving scalable is to develop a reliable software that fulfills safety requirements in all kinds of complex driving scenarios. A significant step in that direction is to provide formal models, techniques and tools that can guarantee correct functioning of complex software. The work in this project is focused on developing a mathematical model of specific safety critical software components used in autonomous driving to be able to formally verify correctness.  


Purpose and goals

Based on existing safety standards, the purpose of the thesis work is to develop a mathematical model for the use of formal techniques in autonomous driving software systems and use the model to verify safety requirements. The thesis requires you to accomplish the following goals

• A literature study on the existing state of the art methods for formal modelling and model checking for autonomous driving software systems.

• Define an appropriate practical framework. 

• Develop a formal model of specific software components, (e.g. decision logic) used in autonomous driving.

• Formally verify the correctness of the developed model to fulfill safety requirements. 

• Develop a method to automatically extract the verification results for use in the existing simulation environment.

• Document and present the results for future research. 

What we are looking for

• Two highly motivated students with background in control engineering and/or computer science.  

• Good analytical and programming skills with interest in mathematics, system modelling and logical reasoning.

• The ideal candidate has interest in both theoretical and applied aspects of the problem.

• Effective communication skills in English, both verbal and written.

What you will gain 

• Competences on o Automotive safety standards o System modelling and model checking for autonomous driving software o Firsthand experience in research and development of safety critical systems

• Industrial experience from autonomous systems aimed for the automotive market


Further information and contacts

Final application date: November 30th 2018. Please send in individual applications. If you wish to partner with someone, simply note that in your application.

Planned start: Beginning of 2019, with some flexibility.

Duration: 30 ECTS

For questions regarding the project, please contact Yuvaraj Selvaraj (yuvaraj.selvaraj@zenuity.com)


Or, know someone who would be a perfect fit? Let them know!

Gothenburg, Sweden

Lindholmspiren 2
417 56 Göteborg Directions

Making safe and intelligent mobility real.

At Zenuity, we lead the global movement of crafting tomorrow's mobility with the software platform of choice. Our mission is to “Make safe and intelligent mobility real, for everyone, everywhere”. This statement marks our conviction and dedication to bring autonomous driving out on the streets for real and is at the center of everything we do.

We could not dream of achieving this without our great teams of very talented people. We are on this journey together and our agile way of working is reflected throughout our entire organization; it is part of our culture and how we work, develop and grow together.


Applicant tracking system by Teamtailor