Mikael Sjödin, Professor, Research Leader


At Mälardalen University, 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 MDU faculty as a full professor with specialty in real-time systems and vehicular software-systems.

[Show all publications]

[Google Scholar author page]

Latest publications:

Bridging the Gap: An Interface Architecture for Integrating CAN and TSN Networks (Dec 2024)
Aldin Berisa, Saad Mubeen, Masoud Daneshtalab, Mohammad Ashjaei, Mikael Sjödin, Benjamin Kraljusic , Nejla Zahirovic
MRTC Report, Mälardalen Real-Time Research Centre (MRTC 2024)

Enhancing Cybersecurity through Comprehensive Investigation of Data Flow-Based Attack Scenarios (Oct 2024)
Sara Abbaspour, Shamoona Imtiaz, Alireza Dehlaghi Ghadim, Mikael Sjödin, Marjan Sirjani
Journal of Cybersecurity and Privacy (JCP)

Model-based development and formal verification of a ROS2 multi-robot system using Timed Rebeca (Sep 2024)
Hiep Hong Trinh, Marjan Sirjani, Mikael Sjödin, Federico Ciccozzi
40th Anniversary of the IEEE Conference on Robotics and Automation (ICRA@40)

Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents (Jul 2024)
Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin
The 19th International Conference on Availability, Reliability and Security (ARES 2024) (ARES 2024)

From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling (Dec 2023)
Stefan Marksteiner, Christoph Schmittner , Korbinian Christl , Dejan Nickovic , Mikael Sjödin, Marjan Sirjani
7th ACM Computer Science in Cars Symposium (CSCS'23)

Using Automata Learning for Compliance Evaluation of Communcation Protocols on an NFC Handshake Example (Oct 2023)
Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin
8th International Conference on Engineering of Computer-based Systems (ECBS2023)

Project TitleStatus
PROVIDENT: Predictable Software Development in Connected Vehicles Utilising Blended TSN-5G Networks active
AutoFL: Cross-Layer Trusted Systems for Heterogeneous Federated Learning at Scale active
CARTCOM - Monitoring and Probabilistic Analysis of Component-Based Embedded Control Systems finished
CHESS finished
CoDig - Continuous Digitalization active
COMET - COMponent-based Embedded real-Time database system finished
CONCERTO - Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems finished
DeepMaker: Deep Learning Accelerator on Commercial Programmable Devices finished
DESTINE: Developing Predictable Vehicle Software Utilizing Time Sensitive Networking finished
DPAC - Dependable Platforms for Autonomous systems and Control active
EAST/EEA finished
EEMDEF finished
Embedded Systems - Adjungerad lektor Johan Åkerberg finished
FAST-ARTS: Fast and Sustainable Analysis Techniques for Advanced Real-Time Systems finished
Femmva - Functional- and execution-models in modern electronic vehicle architectures finished
HEAVE finished
HERO: Heterogeneous systems - software-hardware integration finished
Hipereal - High-performance real-time computing active
INTERCONNECT: Integrated Time Sensitive Networking and Legacy Communications in Predictable Vehicle-platforms active
ITS-EASY Post Graduate School for Embedded Software and Systems finished
MultEx finished
PG-Pla-INC – Information Centric development of component-based embedded real-time systems finished
PG-Pla-OSC – Optimization, Synthesis and Configuration finished
PG-Pla-SSI – SubSystem Integration finished
PPMsched - Performance Preserving Multicore Scheduling finished
PROGRESS finished
Real-time Heterogeneous Systems finished
RELIANT Industrial graduate school: Reliable, Safe and Secure Intelligent Autonomous Systems active
SAVE finished
SAVE++ finished
Serendipity - Secure and dependable platforms for autonomy active
Strategic Knowledge Enhancement: International Visiting Professor, Alfonso Pierantonio finished
SynthSoft - Synthesizing Predictable Software for Distributed Embedded Systems finished
The Volvo chair of vehicular electronics and software architecture finished
Timing Predictions of Complex Embedded Systems finished
MSc theses supervised (or examined):
Thesis TitleStatus
A framework for trade-off analysis of non-functional requirements available
FpsCalc3 available
Master Thesis: A mapping study on MDE adoption effects in industry (2 students) 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
An Evaluation of Timing Improvements of SLAM Algorithm Using Heterogeneous System Architecture Compliant Platform in progress
Object search in 2d space using an intelligent vision system for robot arms 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
A Method for Optimised Allocation of System Architectures with Real-time Constraints 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
Cache-Partitioning for COTS Multi-core Architecture finished
Dynamic Load Generator: Synthesising dynamic hardware load characteristics 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
Real-Time Challenges of Vehicular Embedded Systems on Multi-Core - A Mapping Study finished
Requirements traceability in the SCRUM software development process 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
Time predictability of GPU kernel on an HSA compliant platform finished
Traceability in Model Based Testing finished
Utveckling av fondförsäkringssystem finished
Generation of CUDA code from Action Language for Foundational UML on-hold
Tool integration using OSLC on-hold