Bestimmung der Worst-Case-Ausfuehrungszeit in modernen Multi-Core-Steuergeraeten

Methoden fuer statische Programmanalyse, Cache-Interferenz-Modellierung und formale Schedulability-Beweise fuer ISO 26262 ASIL-D.

Arm MPAM und Cache-Partitionierung

Teilen sich Linux-Container und RTOS denselben L3-Cache, verdraengt Infotainment kritische Zustaende. Arm MPAM weist Echtzeit-Partitionen dedizierte Cache-Ways zu.

Drosselung der Speicherbus-Bandbreite

Trotz Cache-Isolation koennen gleichzeitige DRAM-Zugriffe Echtzeit-Kerne blockieren. Hardware-Bandbreitendrosselung pausiert unkritische Kerne bei Warteschlangen-Ueberlastung.

Abstrakte Interpretation zur Modellierung superskalarer Pipelines.
Cache-Partitionierung mittels Arm MPAM (Resource Partitioning and Monitoring).
Bus-Bandbreitenregulierung verhindert das Verhungern sicherheitskritischer Schleifen.
Erstellung auditierbarer Timing-Beweise fuer Funktionssicherheits-Assessoren.

Domain-Portfolio entdecken