Master Thesis - Logical correctness of Autonomous Driving software systems
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 (email@example.com)