zur Hauptnavigation springenzum Inhaltsbereich springen

BayWISS-Kolleg Mobilität & Verkehr www.baywiss.de

Projekte im Kolleg Mobilität und Verkehr

© chuttersnap / unsplash.com

Memory Profiling for Model Based Developed Software

On-chip cache allows fast data access and increases the program execution speed when executing from the cache. Caching the most recently accessed memory entries is the most common strategy implemented in the modern general-purpose processors. The founding observation behind is that the programs tend to reuse the data from the same memory region (i.e., spatial locality) over a short period of time (i.e., temporal locality). While this approach is likely to decrease the average execution time of the program, the worst-case can remain unaffected or even increase [?]. In the safety-critical airborne software, the worst-case execution time information has critical importance among the safety standard DO-178B objectives. The indeterministic bounds on the program execution time led in the past decades to the drastic measures in the software development practice such as disabling the processor cache. Fortunately, the static cache analysis for real-time systems has been recently an active research area and many cache-aware verification tools (e.g., AbsInt, Ottawa) have been developed. In this thesis, we address the next step in the full integration of the cache-based architecture in the software development cycle of the safety-critical systems. Typically, the complex airborne software systems are developed using model-based design tools (e.g., Simulink). Our first investigations showed that the code generation in these tools is cache-oblivious and can consequently lead to inefficient cache use. Especially, the look-up tables with the precalculated data that replace runtime computation may provoke cachethrashing during large data sets iterations. Our proposed solution for optimizing memory access includes program profiling through careful code instrumentation (e.g., Valgrind, PIP) and use of hardware cache management (e.g., cache lockdown, invalidation, prefetching, bypassing) for a predictable control of the cached content.

MITGLIED IM KOLLEG

seit

Betreuer Technische Universität München:

Prof. Dr.-Ing. Florian Holzapfel

Forschungsschwerpunkte:

  • Flugsimulation und Flugdynamik
  • Flugregelung und Flugführung
  • Flugsteuerungsavionik und Flugsicherheit

Betreute Projekte:

Betreuer Technische Hochschule Ingolstadt:

Prof. em. Dr. Peter Hartlmüller

Ehemals Airbus Stiftungsprofessur „Systemtechnik in sicherheitsgerichteten Anwendungen“

an der Technische Hochschule Ingolstadt

 

Forschungsschwerpunkte:

  • Kommunikation in Echtzeitsystemen
  • Architektur eingebetteter Rechnersysteme
  • HW-nahe SW-Entwicklung

Betreute Projekte:

Micheal Saleab

Micheal Saleab

Technische Universität München

Koordination des Verbundkollegs Mobilität und Verkehr

Treten Sie mit uns in Kontakt. Wir freuen uns auf Ihre Fragen und Anregungen zum Verbundkolleg Mobilität und Verkehr.

Judith Demharter

Judith Demharter

Technische Hochschule Ingolstadt
Esplanade 10
85049 Ingolstadt

Telefon: +49 841 93483789
mobilitaet-verkehr.vk@baywiss.de