Bachelor and Master Theses

Title: Master thesis: Applying Model Checking Techniques on Scania Vehicle Control Systems
Subject: Computer Science
Level: Advanced
Description: Scania is one of the leading manufacturers of heavy trucks, buses, coaches and engines. A lot of effort, time, money and resources are required to test all the vehicle control systems deployed in their products. Scania wants to check if introducing model checking techniques in their systems can improve the quality of current testing process and can it be used as an alternative to testing, which will eventually help them to save a lot of resources which are currently being used for testing all the vehicle control systems.
Company: Scania, kontaktperson: Mattias Nyberg
Prel. end date: 2012-08-31
Presentation date: 2012-09-06
Student: Muhammad Sulyman
Student: Shahid Ali
IDT supervisor: Guillermo Rodriguez-Navas, 021-107322
Examinator: Paul Pettersson
Paul Pettersson, +46-21-151741

Rapport och bilagor


Senaste uppdatering



2012-09-27, 15:24

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2018.05.24