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 msn11013@student.mdh.se
Student: Shahid Ali asd11006@student.mdh.se
IDT supervisor: Guillermo Rodriguez-Navas
guillermo.rodriguez-navas@mdh.se, 021-107322
Examinator: Paul Pettersson
Paul Pettersson
Paul.Pettersson@mdh.se, +46-21-151741

Rapport och bilagor

Size

Senaste uppdatering

TR1354.pdf

3990929

2012-09-27, 15:24


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