Core-Local Reasoning and Predictable Cross-Core Communication with M³

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

  • Nils Asmussen - , Barkhausen Institut gGmbH (Autor:in)
  • Sebastian Haas - , Barkhausen Institut gGmbH (Autor:in)
  • Adam Lackorzynski - , Professur für Betriebssysteme (Autor:in)
  • Michael Roitzsch - , Barkhausen Institut gGmbH (Autor:in)

Abstract

Modern cyber-physical systems often require security, heterogeneity, and real-Time operation from their hardware platform and operating system. However, highly predictable real-Time operating systems such as FreeRTOS do not employ strong component isolation required for platform security. Microkernels implement such isolation using virtual memory and code running in the privileged CPU mode, complicating real-Time analysis. In this work, we start with a different architectural approach: M3 is an existing hardware/software co-design for heterogeneous systems that features strong isolation between cores. However, the real-Time properties of this platform have not been investigated. We first survey M3's current state for real-Time applicability and study both the communication latencies in comparison to other systems and M3's different approach to task priorities. Furthermore we improve M3's real-Time applicability by adding a network-on-chip traffic regulation and enabling the enforcement of resource limits. With these additions, M3 enables local reasoning about application execution. We perform the evaluation with an FPGA-based hardware prototype and in simulation based on gem5.

Details

OriginalspracheEnglisch
TitelRTAS 2024 - IEEE Real-Time and Embedded Technology and Applications Symposium
Seiten199-211
Seitenumfang13
ISBN (elektronisch)9798350358414
PublikationsstatusVeröffentlicht - Mai 2024
Peer-Review-StatusJa

Externe IDs

Scopus 85197724635

Schlagworte

ASJC Scopus Sachgebiete

Schlagwörter

  • message passing, operating systems, real-Time, system architecture