Déterminer le temps d'exécution pire-cas (WCET) sur calculateurs multi-cœurs

Méthodologies d'analyse statique, d'isolation de cache et preuves formelles d'ordonnançabilité pour la certification ISO 26262 ASIL-D.

Arm MPAM et partitionnement de cache

Lorsque Linux et un RTOS partagent le même cache L3, les flux multimédias écrasent les données de commande. Arm MPAM dédie des portions de cache au temps réel, garantissant le taux de succès.

Régulation de bande passante sur le bus mémoire

Même avec un cache partitionné, la saturation du contrôleur DRAM peut bloquer les cœurs temps réel. La régulation de bande passante suspend les cœurs non critiques en cas de surcharge du bus.

Explorer le portefeuille de domaines