Bachelor and Master Theses

Title: Component-based modeling and analysis of embedded systems
Subject: Computer Science
Level: Advanced
Description: In this thesis project the student will study and apply model-based techniques for development of embedded systems. An application from the vehicular industry will be studied. A formal model described in a component-based modeling language should be produced by the student. The model should also be formally analyzed using recently developed symbolic simulation and model-checking techniques.

This project is tightly coupled with current research performed at the department and in collaboration with three other Swedish universities within the national project SAVE++. It is also closely coupled to several other master thesis project that will be part of a larger demonstrator project within SAVE++.
Company: IDE, MdH, kontaktperson: Paul Pettersson
Prel. end date: 2008-09-01
Presentation date: 2008-06-19
Student: Davor Slutej
IDT supervisor: Paul Pettersson, +46-21-151741

Rapport och bilagor


Senaste uppdatering



2008-09-19, 17:31

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