Matthias Beckert
 
Raum:
Telefon:
Telefax:
E-Mail:
 
Institut für Datentechnik und Kommunikationsnetze
Hans-Sommer-Straße 66
38106 Braunschweig

Forschung

In der Arbeitsgruppe "Rechnergestützter Entwurf eingebetteter Systeme" befasse ich mich mit

  • Architektur
  • Anforderungen
  • Virtualisierung

von Betriebssystemen in eingebetteten Systemen. Besonders widme ich mich hierbei flexiblen Mechanismen die eine hinreichende Isolation von Virtualisierten Systemen bieten. Dies beinhaltet ebenfalls die Kombination eines Event- wie auch Zeitgesteuerten Schedulingverfahrens, so wie dessen Analyse und Implementierung. Ein weiterer Schwerpunkt ist die Entwicklung eines effektiven Verfahrens, welches die Nutzung von Multi-Core Prozessoren in virtualisierten Echtzeit Systemen ermöglicht. Für die Synchronisation von Software auf Multi-Core Systemen in der Automobil Industrie wurde während einer Kooperation mit Daimler RD/EIS die IDA-LET-Machine entworfen und unter GPLv3 LE veröffentlicht.
Privat bin ich des Weiteren als Entwickler im Open Source Projekt UAVP NG tätig.

Studentische Arbeiten

Zur Zeit keine offenen Angebote

Veröffentlichungen

Das aufgeführte Material ist urheberrechtlich geschützt. Das entsprechende Urheberrecht ist zu beachten.

Matthias Beckert und 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), März 2018. BibTeX Code anzeigen: The IDA LET Machine - An efficient and streamlined open source implementation of the Logical Execution Time ParadigmPDF-Datei herunterladen/anzeigen: beckert2018idalet.pdf Webseite/URL aufrufen: https://www.date-conference.com/date18/conference/workshop-w03
Matthias Beckert und 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, Oktober 2017. BibTeX Code anzeigen: Response Time Analysis for Sporadic Server based Budget Scheduling in Real Time Virtualization EnvironmentsPDF-Datei herunterladen/anzeigen: beckert2017response.pdf Webseite/URL aufrufen: https://dl.acm.org/citation.cfm?id=3126559
Matthias Beckert, Kai Björn Gemlau und 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), März 2017. BibTeX Code anzeigen: Exploiting Sporadic Servers to provide Budget Scheduling for ARINC653 based Real-Time Virtualization EnvironmentsPDF-Datei herunterladen/anzeigen: beckert2017exploiting.pdf Webseite/URL aufrufen: https://doi.org/10.23919/DATE.2017.7927109
Matthias Beckert, Mischa Möstl und 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. BibTeX Code anzeigen: Zero-Time Communication for Automotive Multi-Core Systems under SPP Scheduling  Webseite/URL aufrufen: http://dx.doi.org/10.1109/ETFA.2016.7733563
Matthias Beckert und Rolf Ernst, "Designing Time Partitions for Real-Time Hypervisor with Sufficient Temporal Independence" in Proc. of Design Automation Conference (DAC), Juni 2015. BibTeX Code anzeigen: Designing Time Partitions for Real-Time Hypervisor with Sufficient Temporal Independence  Webseite/URL aufrufen: http://dl.acm.org/citation.cfm?doid=2744769.2744820
Matthias Beckert, Moritz Neukirchner, Stefan M. Petters und Rolf Ernst, "Sufficient Temporal Independence and Improved Interrupt Latencies in a Real-time Hypervisor" in Proc. of Design Automation Conference (DAC), Juni 2014. BibTeX Code anzeigen: Sufficient Temporal Independence and Improved Interrupt Latencies in a Real-time Hypervisor  Webseite/URL aufrufen: http://dl.acm.org/citation.cfm?doid=2593069.2593222

Sonstige Veröffentlichungen

Das aufgeführte Material ist urheberrechtlich geschützt. Das entsprechende Urheberrecht ist zu beachten.

Matthias Beckert, "Scheduling Mechanisms for Efficient and Safe Automotive Systems Integration", Ph.D. dissertation, Inst. f. Datentechnik und Kommunikationsnetze, 2019. BibTeX Code anzeigen: Scheduling Mechanisms for Efficient and Safe Automotive Systems IntegrationAngehängte Dateien herunterladen/anzeigen   
Matthias Beckert, Moritz Neukirchner, Tobias Michaels und Rolf Ernst, "A reconfigurable hypervisor for mixed criticality systems", März 2013. Demonstration at Design Automation and Test in Europe (DATE) 2013. BibTeX Code anzeigen: A reconfigurable hypervisor for mixed criticality systems    
Matthias Beckert, "Dynamische Verwaltung und Rekonfiguration von Softwareanwendungen in PikeOS", Diplomarbeit, TUBS, Juni 2012.
IDA-Signatur: DA 12-02
BibTeX Code anzeigen: Dynamische Verwaltung und Rekonfiguration von Softwareanwendungen in PikeOSPDF-Datei herunterladen/anzeigen: beckert2012dynamische.pdf   
Matthias Beckert, "Integration einer MIPS CPU in eine schwach programmierbare Streaming-Architektur", Studienarbeit, TU Braunschweig, 2011.
IDA-Signatur: STA 3370
BibTeX Code anzeigen: Integration einer MIPS CPU in eine schwach programmierbare Streaming-Architektur    
Instituts-Anschrift:
Hans-Sommer-Straße 66
38106 Braunschweig

Fon: (0531) 391-3734
Fax: (0531) 391-4587
sekretariat(at)ida.ing.tu-bs.de

Anschrift AG Prof. Jukan:

Hans-Sommer-Straße 66
38106 Braunschweig

Fon: (0531) 391-5286
Fax: (0531) 391-5296