Mikael Åsberg (not working at IDT anymore)

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.

[Show all publications]

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)