Durch den stetigen Bedarfsanstieg an Rechenleistung in der Automobilindustrie ist es nötig, die verwendete Hardware bestmöglich einzusetzen. Für die optimale Ausnutzung der Leistungsfähigkeit von Mehrkernsteuergeräten muss zur Entwurfszeit die maximale Ausführungszeit von Tasks auf diesen bekannt sein. Einen großen Einfluss auf die Ausführungszeiten haben Speicherzugriffszeiten. Vor allem in Steuergeräten mit geteilten Speichern können diese je nach Ausführung sehr variieren. Diese Arbeit beschäftigt sich mit einem formalen Ansatz, um die maximal Zeit von Speicherzugriffen auf Echtzeit Mehrkernsystemen mit geteilten Speichern zu ermitteln. Als Grundlage wird hierzu Software verwendet, welche das Logical Execution Time (LET)- Paradigma umsetzt. Zunächst werden formale Modelle für Hard- sowie Software vorgestellt, welche die verwendete Hardware sowie die darauf laufende Software abstrakt darstellen können. Danach wird ein Berechnungsmodell präsentiert, mit welchem es unter Einbeziehung des Hard- sowie Softwaremodells möglich ist, eine echte obere Schranke für die Speicherzugriffszeit zu ermitteln. Zudem wird die Anwendbarkeit des Modells in verschiedenen Experimenten getestet. Durch stetige Anpassung und Verfeinerung der Berechnung war es möglich, Ergebnisse für Teile von kompletten Softwareständen zu erzielen.