Environment

The digitization of modern, highly connected automobiles requires protection against attacks on vehicle electronics. The car communication security department is responsible for exploring and designing novel test methods that can increase the overall test coverage of Electronic Control Units (ECUs), Functions or of the entire vehicle. Your task for this thesis is to automatically generate test inputs from the requirements. The test case generation also takes into account, structurization of requirements when needed. 

Possible roles of the role

• Research on the topic of classification and structurization of requirements in a machine readable mode (some examples already exists)

• Identify potential preconditions of the requirements and add into structure of the requirements

• Generate individual test cases from the requirements and integrate them to a test framework

• Optimize the test cases to avoid flooding the testing framework with unwanted test cases

Qualification requirements

• Students in the fields of computer science, cybersecurity, mathematics, engineering or comparable courses of study

• Good knowledge of cybersecurity of embedded systems or machine learning methods with background knowledge of (secure) software testing (especially fuzzing) and programming skills in Python

• Good to very good academic performance

• Previous experience in developing secure software, secure embedded systems, or testing secure software is an advantage

• English level B2

The following documents must be submitted with the application

• Curriculum vitae

• Current certificate of enrolment

• Current transcript of records In the case of a compulsory internship,

• An additional certificate from the university

• Work permit for non-EU citizens