Mikael Sjödin, Professor, Research Leader


NOTE: During 2008 Mikael changed his family name from Nolin to Sjödin.

At Mälardalen Real-Time Research Centre, Mikael is focusing his research on new methods to construct software for embedded control systems in the vehicular and telecom industry.

The current research goal is to find methods that will make software development cheaper, faster and yield software with higher quality. Concurrently, Mikael is also been pursuing research in analysis of real-time systems, where the goal is to find theoretical models for real-time systems that will allow their timing behavior and memory consumption to be calculated. Mikael received his PhD in computer systems 2000 from Uppsala University (Sweden). Since then he has been working in both academia and in industry with embedded systems, real-time systems, and embedded communications. Previous affiliations include Newline Information, Melody Interactive Solutions and CC Systems. In 2006 he joined the MRTC faculty as a full professor with specialty in real-time systems and vehicular software-systems.

PhD students supervised as main supervisor:

Alessio Bucaioni
Anders Möller (former)
Andreas Hjertström (former)
Mehrdad Saadatmand
Rafia Inam
Saad Mubeen (former)
Sara Gestrelius

PhD students supervised as assistant supervisor:

Ewa Hansen (former)
Jiale Zhou
Jonas Neander (former)

MSc theses supervised (or examined):
Thesis TitleStatus
A framework for trade-off analysis of non-functional requirements available
Cache-Partitioning for Multi-core Architecture available
From Hierarchical UML state-machines to C++ available
From the OCL Standard Library to C/C++ available
Methods for Quantification of Non-Functional Requirements available
Model-Based Automation of Tool Integration Based on OSLC Standard available
Multi-resource Server Implementation for Multi-core Architecture available
Generation of CUDA code from Action Language for Foundational UML in progress
Tool integration using OSLC in progress
Performance penalties when emulating OSE in a Linux system. finished
A Data Access tracking approach for Memory analysis and Bad data access pattern detecting finished
Adapting Mode Switches into the Hierarchical scheduling finished
Analysis of Boot Time Reduction Techniques in Linux finished
Automated Code Generation from Action Language Enhanced UML Models finished
Building a tiny OCL interpreter in C++ (2 students) finished
Building a tiny OCL interpreter in Java (2 students) finished
Effective tracing in a massive multicore environment A finished
Effective tracing in a massive multicore environment B finished
Enhancing the Monitoring of Real-Time Performance in Linux finished
Enriching OSE Scheduler for Better Predictability Support finished
Horizontal transformations for models reuse and tool chaining finished
Implement and evaluate Mimer database on INtime finished
Introducing Linux in a complex real time system finished
Model Based Test Design in CPP Verification (for 2 students) finished
Simulation of Telecom application finished
SQLite in a Robot Control System finished
Supporting the automatic test case and oracle generation using system models finished
SysMon – A framework for monitoring and measuring real-time properties finished
Test Derivation and Reuse through Horizontal transformation of System models finished
Traceability in Model Based Testing finished
Utveckling av fondförsäkringssystem finished