30 HP - Generating Scenarios from Formal Specification for Automated Vehicle

Introduction
Thesis work is an excellent way to get closer to Scania and build relationships for the future. Many of today's employees began their Scania career with their degree project.

Background
Simulation-based testing plays an important role in the validation and verification of automated vehicles. To generate various scenarios for simulation, State-of-the-art approaches first formulate a scenario space (e.g., all possible cut in scenarios) into a parameter space based on a list of unrealistic assumptions (e.g., the cut-in vehicle drives with a constant speed before cutting in.)  Synthesizing scenarios directly from formal specification can remove the reliance on those unrealistic assumptions. It also provides a more flexible way to describe scenarios.

Objective

In this work, the students will investigate the technical solution to synthesize scenarios for formal specifications and a given map. The students need to choose a proper formalism and solver from literature study.

Job description

• The students need to conduct a literature study to understand the state of the art in this area.
• The students need to choose a solution according to the literature study.
• Case study: The students need to try their solution on a cut-in scenario.
• The students need to summarize their work into a technical report and present the result.

Education/program/focus

Indicate education, program or focus: computer science, software engineering, embedded systems or other relevant programs

Number of students: 2

Start date for the thesis work: January, 2025

Estimated time required:20 weeks

Contact persons and supervisors
Xinhai Zhang  xinhai.zhang@scania.com   

Application:
Your application must include a CV, personal letter and transcript of grades

A background check might be conducted for this position. We are conducting interviews continuously and may close the recruitment earlier than the date specified.