Publications

2021

Work-in-Progress: Determining MPSoC Layout from Thermal Camera Images
M. Sojka, O. Benedikt, and Z. Hanzálek. In 2021 International Conference on Embedded Software Companion (EMSOFT'21 Companion), October 8--15, 2021, Virtual Event, USA, 2021
PDF DOI
Thermal-aware scheduling for mpsoc in the avionics domain: Tooling and initial results
O. Benedikt, M. Sojka, P. Zaykov, D. Hornof, M. Kafka, P. Šůcha, and Z. Hanzálek. In 2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pages 159–168, 2021
PDF DOI

Testing thermal-aware scheduling for avionics applications
M. Sojka, C. Maia. Power Management and Scheduling in the Linux Kernel (OSPM summit) 2020
PDF LWN.net

Multi-Variant Scheduling of Critical Time-Triggered Communication in Incremental Development Process: Application to FlexRay
Jan Dvořák and Zdeněk Hanzálek
IEEE Transactions on Vehicular Technology, 68(1):155–169, Jan 2019
PDF DOI

Combining PREM Compilation and Static Scheduling for High-Performance and Predictable MPSoC Execution
Joel Matějka, Björn Forsberg, Michal Sojka, Přemysl Šůcha, Luca Benini, Andrea Marongiu, and Zdeněk Hanzálek
Parallel Computing, 2018
PDF DOI
Combining PREM compilation and ILP scheduling for high-performance and predictable MPSoC execution
Joel Matějka, Björn Forsberg, Michal Sojka, Zdeněk Hanzálek, Luca Benini, and Andrea Marongiu
In Proceedings of the 9th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM’18, pages 11–20, New York, NY, USA, 2018. ACM
PDF DOI

QEMU CAN Controller Emulation with Connection to a Host System CAN Bus
Pavel Píša, Jin Yang, Michal Sojka
17th Real-Time Linux Workshop, Graz, Austria, October 2015.
PDF Slides

Usable Simulink Embedded Coder Target for Linux
Michal Sojka, Pavel Píša
16th Real-Time Linux Workshop, Düsseldorf, Germany, October 2014.
PDF Slides
Case study on combined validation of safety & security requirements
Michal Sojka, Michal Kreč, Zdeněk Hanzálek
Industrial Embedded Systems (SIES), 2014 9th IEEE International Symposium on, Pisa, Italy, June 2014.
DOI Slides
SW- and HW-in-the-loop testbeds for AUTOSAR eMotor driver
Michal Kreč, Michal Sojka
Technical report, Czech Technical University in Prague, 2014.
PDF
Performance evaluation of Linux CAN-related system calls
Michal Sojka, Pavel Píša, Zdeněk Hanzálek
10th IEEE International Workshop on Factory Communication Systems, Toulouse, France, May 2014
PDF Slides DOI
IEEE 802.11p Linux Kernel Implementation
Rostislav Lisový, Michal Sojka, Zdeněk Hanzálek
Technical report, Czech Technical University in Prague, 2014.
PDF

Porting of Real-Time Publish-Subscribe Middleware to Android
Martin Vajnar, Michal Sojka, Pavel Píša
15th Real-Time Linux Workshop, Lugano-Manno, Switzerland, Oct. 2013
PDF Slides
PCI Express as a Killer of Software-based Real-Time Ethernet
Rostislav Lisový, Michal Sojka, Zdeněk Hanzálek
RTN'2013, The 12th International Workshop on Real-Time Networks, July 9th, 2013, Paris, France; In conjunction with the 25th Euromicro International Conference on Real-Time Systems
PDF Slides
A GPU algorithm design for Resource Constrained Project Scheduling Problem
Libor Bukata, Přemysl Šůcha
21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing PDP 2013
DOI Slides

Safety and Security Features in AUTOSAR
Nagarjuna Rao Kandimala, Michal Sojka
Technical report, Czech Technical University in Prague, 2012
PDF
Operating system noise: Linux vs. microkernel
Stefan Wächtler, Michal Sojka
14th Real-Time Linux Workshop, Chapel Hill, NC, USA, October 2012
PDF Slides

Measurement Automation and Result Processing in Timing Analysis of a Linux-Based CAN-to-CAN Gateway
Michal Sojka, Pavel Píša, Ondřej Špinka, Zdeněk Hanzálek
Intelligent Data Acquisition and Advanced Computing Systems (IDAACS), 2011 IEEE 6th International Conference on
DOI PDF