Model-Based Engineering of Embedded Systems


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.
  • Rafia is the author/developer of 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
DPAC - Dependable Platforms for Autonomous systems and Control active
Hipereal - High-performance real-time computing active
Performant and Flexible digital Systems through Verifiable AI active
RELIANT Industrial graduate school: Reliable, Safe and Secure Intelligent Autonomous Systems active
Serendipity - Secure and dependable platforms for autonomy 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
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
PPMsched - Performance Preserving Multicore Scheduling finished
RALF3 - Software for Embedded High Performance Architectures finished
Real-time Heterogeneous Systems 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

Mikael Sjödin, Professor,Research Leader

Room: U1-195
Phone: +46 70 288 2829