Analyse WCET pour ADAS multi-cœurs : éliminer la contention sur le bus partagé

Démontrer qu'un freinage d'urgence s'exécute toujours en moins de 5 ms sur un SoC moderne est un défi majeur de sûreté de fonctionnement à cause des goulets d'étranglement mémoire.

Analyse statique de valeurs et modélisation micro-architecturale

Les outils d'analyse statique reconstruisent les graphes de flot de contrôle (CFG) depuis les binaires ELF pour identifier le pire chemin d'exécution possible.

Quantification des canaux d'interférence sous CAST-32A / ACPA

Les guides CAST-32A et ISO 26262 classent les ressources partagées comme canaux d'interférence. Nos tests prouvent que la régulation de bande passante limite l'impact à moins de 8 %.

Explorer le portefeuille de domaines