Model-Based Engineering of Embedded Systems

Focus:

Development of methods and tools for model-based engineering of embedded systems. Including: models for architectural and behavioral descriptions of system and requirements for systems, techniques for analyzing and transforming models, and runtime architectures for resource efficient, predictable embedded systems.


Here you find some of the achievements of MEES group and code of our implementations.

  • Hierarchical scheduling framework implementation in FreeRTOS operating system can be downloaded from this link.
  • The Multi-Resource server  that provides composable hierarchical scheduling on multi-core platforms. We extend traditional server-resources by associating a memory-bandwidth to each server; thus a multi-resource server has both CPU-bandwidth and memory bandwidth allocated to it. The multi-resource servers are useful to provide partitioning, composability and predictability in both hard and soft real-time systems.
Project TitleStatus
A Digital Twin Framework for Dynamic and Robust Distributed Systems active
Advancing personalized prevention strategies for chronic obstructive pulmonary disease and associated comorbidities that utilize existing IT technologies and novel AI based tools active
CoDig - Continuous Digitalization active
Hipereal - High-performance real-time computing active
MARC: Mälardalen University Automation Research Center active
RELIANT Industrial graduate school: Reliable, Safe and Secure Intelligent Autonomous Systems active
Reshaping data-driven smart healthcare to optimize resources and personalize care for hypertensive patients through AI and digital twin models active
Software Center active
SUNRISE - Strategic Universities Network for Regional Innovative and Sustainable Evolution active
BUMBLE - Blended Modelling for Enhanced Software and Systems Engineering finished
CARTCOM - Monitoring and Probabilistic Analysis of Component-Based Embedded Control Systems finished
CHESS 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 finished
EEMDEF 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
ITS-EASY Post Graduate School for Embedded Software and Systems finished
MOMENTUM: analysis of models towards compilation to predictable embedded real-time and safety-critical applications finished
MultEx finished
Multi-Aspectual Data Management of Embedded Real-Time Systems finished
Performant and Flexible digital Systems through Verifiable AI finished
PPMsched - Performance Preserving Multicore Scheduling finished
RALF3 - Software for Embedded High Performance Architectures finished
Real-time Heterogeneous Systems finished
Serendipity - Secure and dependable platforms for autonomy finished
SMARTCore: Model-driven support for deployment optimization of embedded systems on multicore finished
Strategic Knowledge Enhancement: International Visiting Professor, Alfonso Pierantonio finished
SynthSoft - Synthesizing Predictable Software for Distributed Embedded Systems finished
Timing Predictions of Complex Embedded Systems finished

[Show all publications]

Modeling: The Heart and Soul of Engineering Smart Ecosystems (Oct 2025)
Antonio Bucchiarone , Benoit Combemale , Alfonso Pierantonio , Nelly Bencomo , Mark van den Brand , Jean-Michel Bruel , Antonio Cicchetti, Juri Di Rocco , Leen Lambers , Judith Michael , Bernhard Rumpe , Mikael Sjödin, Gabriele Taentzer , Matthias Tichy , Hans Vangheluwe , Manuel Wimmer , Steffen Zschaler
17th System Analysis and Modelling conference (SAM2025)

RELIANT Overview 2025 (Sep 2025)
Kristina Lundqvist, Mikael Sjödin, Malin Rosqvist, Federico Ciccozzi, Cristina Seceleanu, Baran Çürüklü

Experimental Evaluation of a CAN-to-TSN Gateway Implementation (May 2025)
Aldin Berisa, Saad Mubeen, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, Benjamin Kraljusic , Nejla Zahirovic
28th International Symposium On Real-Time Distributed Computing (ISORC2025)

Learning single and compound-protocol automata and checking behavioral equivalences (Apr 2025)
Stefan Marksteiner, David Schögler , Marjan Sirjani, Mikael Sjödin
International Journal on Software Tools for Technology Transfer (STTT)

Black-box protocol testing using Rebeca and Automata Learning (Mar 2025)
Stefan Marksteiner, Mikael Sjödin
Marjan Festschrift (part of FSEN 2025) (MarjanFest)

DAT (Dec 2024)
Ali Asghar Sharifi, Ali Zoljodi , Masoud Daneshtalab
Sensors (MDPI Sensors)

Mikael Sjödin, Professor,Research Leader

Email: mikael.sjodin@mdu.se
Room: U1-195
Phone: +46 70 288 2829