Matthias Beckert
 
Room:
Phone:
Telefax:
E-Mail:
 
Institute of Computer and Network Engineering
Hans-Sommer-Street 66
38106 Braunschweig

Research

Wihtin the group of "Embedded Systems Design Automation" I mainly work on

  • Architecture
  • Requirements
  • Virtualization

for real-time operating systems in embedded system. My focus lays on flexible mechanisms to achieve a sufficient isolation between several virtualized systems. This includes also the combination of an event- and/or time-triggered scheduling, as well as the formal analysis and the implementation. Another field of research is the intelligent usage of multi core processors within virtualized embedded real-time systems. In order to synchronize automotive software on multi-core system,  we developed the IDA-LET-Machine during a collaboration with Daimler RD/EIS and relased it as open source software under GPLv3 LE.
In private life I am also a software developer for the UAVP NG open source project.

Student work

No Job vacancies at this time

Publications

The material provided below is copyrighted. Readers are obliged to abide the corresponding copyrights.

Matthias Beckert and Rolf Ernst, "The IDA LET Machine - An efficient and streamlined open source implementation of the Logical Execution Time Paradigm" in International Workshop on New Platforms for Future Cars (NPCar at DATE 2018), March 2018. Show BibTeX code: The IDA LET Machine - An efficient and streamlined open source implementation of the Logical Execution Time ParadigmDownload/open PDF file: beckert2018idalet.pdf Visit Website/URL: https://www.date-conference.com/date18/conference/workshop-w03
Matthias Beckert and Rolf Ernst, "Response Time Analysis for Sporadic Server based Budget Scheduling in Real Time Virtualization Environments", International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), ACM Transactions on Embedded Computing Systems ESWEEK Special Issue, October 2017. Show BibTeX code: Response Time Analysis for Sporadic Server based Budget Scheduling in Real Time Virtualization EnvironmentsDownload/open PDF file: beckert2017response.pdf Visit Website/URL: https://dl.acm.org/citation.cfm?id=3126559
Matthias Beckert, Kai Björn Gemlau, and Rolf Ernst, "Exploiting Sporadic Servers to provide Budget Scheduling for ARINC653 based Real-Time Virtualization Environments" in Proc. of Design Automation and Test in Europe (DATE), (Lausanne, Switzerland), March 2017. Show BibTeX code: Exploiting Sporadic Servers to provide Budget Scheduling for ARINC653 based Real-Time Virtualization EnvironmentsDownload/open PDF file: beckert2017exploiting.pdf Visit Website/URL: https://doi.org/10.23919/DATE.2017.7927109
Matthias Beckert, Mischa Möstl, and Rolf Ernst, "Zero-Time Communication for Automotive Multi-Core Systems under SPP Scheduling" in Proc. of Emerging Technologies and Factory Automation (ETFA), (Berlin, Germany), September 2016. Show BibTeX code: Zero-Time Communication for Automotive Multi-Core Systems under SPP Scheduling  Visit Website/URL: http://dx.doi.org/10.1109/ETFA.2016.7733563
Matthias Beckert and Rolf Ernst, "Designing Time Partitions for Real-Time Hypervisor with Sufficient Temporal Independence" in Proc. of Design Automation Conference (DAC), June 2015. Show BibTeX code: Designing Time Partitions for Real-Time Hypervisor with Sufficient Temporal Independence  Visit Website/URL: http://dl.acm.org/citation.cfm?doid=2744769.2744820
Matthias Beckert, Moritz Neukirchner, Stefan M. Petters, and Rolf Ernst, "Sufficient Temporal Independence and Improved Interrupt Latencies in a Real-time Hypervisor" in Proc. of Design Automation Conference (DAC), June 2014. Show BibTeX code: Sufficient Temporal Independence and Improved Interrupt Latencies in a Real-time Hypervisor  Visit Website/URL: http://dl.acm.org/citation.cfm?doid=2593069.2593222

Other publications

The material provided below is copyrighted. Readers are obliged to abide the corresponding copyrights.

Matthias Beckert, "Scheduling Mechanisms for Efficient and Safe Automotive Systems Integration", Ph.D. dissertation, Inst. f. Datentechnik und Kommunikationsnetze, 2019. Show BibTeX code: Scheduling Mechanisms for Efficient and Safe Automotive Systems IntegrationDownload/open attached files   
Matthias Beckert, Moritz Neukirchner, Tobias Michaels, and Rolf Ernst, "A reconfigurable hypervisor for mixed criticality systems", March 2013. Demonstration at Design Automation and Test in Europe (DATE) 2013. Show BibTeX code: A reconfigurable hypervisor for mixed criticality systems    
Matthias Beckert, "Dynamische Verwaltung und Rekonfiguration von Softwareanwendungen in PikeOS", Diplomarbeit, TUBS, June 2012.
IDA-Signatur: DA 12-02
Show BibTeX code: Dynamische Verwaltung und Rekonfiguration von Softwareanwendungen in PikeOSDownload/open PDF file: beckert2012dynamische.pdf   
Matthias Beckert, "Integration einer MIPS CPU in eine schwach programmierbare Streaming-Architektur", Studienarbeit, TU Braunschweig, 2011.
IDA-Signatur: STA 3370
Show BibTeX code: Integration einer MIPS CPU in eine schwach programmierbare Streaming-Architektur    
Address:
Hans-Sommer-Street 66
38106 Braunschweig

Fon: +49 (0)531 391-3734
Fax: +49 (0)531 391-4587
sekretariat(at)ida.ing.tu-bs.de

Address of Prof. Jukan's workgroup:

Hans-Sommer-Street 66
38106 Braunschweig

Fon: +49 (0)531 391-5286
Fax: +49 (0)531 391-5296