I received two Master degrees in 2008 (in Computer Science and Computer Engineering) and a Licentiate degree in 2012 (Computer Engineering). I am finishing my PhD soon (in Dec 2013 or Jan 2014). My research interests include operating system scheduling (Linux, VxWorks, seL4 etc.), verification and execution visualization.
My research includes the implemention of schedulers and synchronization protocols. We have developed a scheduling framework called ExSched which is free and open-source.
Towards Partitioned Hierarchical Real-Time Scheduling on Multi-core Processors (Jun 2014) Mikael Åsberg, Thomas Nolte, Shinpei Kato ACM SIGBED Review. Special Issue on Workshop on Virtualization for Real-Time Embedded Systems (VtRES 2013) (SIGBED Review)
Evaluating the Run-Time Performance of Synthesised Resource-Reservation Schedulers Using TAtoC, UPPAAL and Frama-C (Dec 2013) Mikael Åsberg, Paul Pettersson, Thomas Nolte
An Experimental Evaluation of Synchronization Protocol Mechanisms in the Domain of Hierarchical Fixed-Priority Scheduling (Oct 2013) Mikael Åsberg, Moris Behnam, Thomas Nolte 21st IEEE International Conference on Real-Time Networks and Systems (RTNS13)
Towards a User-Mode Approach to Partitioned Scheduling in the seL4 Microkernel (Oct 2013) Mikael Åsberg, Thomas Nolte ACM SIGBED Review. Special Issue on 5th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2012) (SIGBED Review)
Fast Linux Bootup using Non-Intrusive Methods for Predictable Industrial Embedded Systems (Sep 2013) Mikael Åsberg, Thomas Nolte, Mikael Joki , Jimmy Hogbrink 18th IEEE International Conference on Emerging Technology & Factory Automation
Towards Partitioned Hierarchical Real-Time Scheduling on Multi-core Processors (Aug 2013) Mikael Åsberg, Thomas Nolte, Shinpei Kato 1st International Workshop on Virtualization for Real-Time Embedded Systems (VtRES13)
|HISCORE - Hierarchical Scheduling of Complex Real-Time Embedded Systems||finished|
|MRTV - Mälardalen Real-Time Virtualizer||active|
|Formal analysis and verification of a real-time task-scheduler implementation in the seL4 microkernel||available|
|Implementing Hierarchical Scheduling in the AUTOSAR platform||available|
|Evaluation of real-time performance in virtualized environments||finished|
|GPU-accelerated Model Checking of Periodic Self-Suspending Real-Time Tasks||finished|