MXAM (Model Examiner) est un outil de vérification et de correction automatisée de modèles TargetLink®, StateFlow® et Simulink®
Parfaitement intégré à votre chaîne de modélisation et de génération automatique de code, MXAM vous permet détecter le plus en amont possible, avant même la génération de code,  les problèmes de performances, de fiabilité, de maintenabilité de votre application embarquée.

Caractéristiques principales:
Mise en oeuvre des standards de l'Industrie: Règles MAAB, dSPACE, MISRA AC...

Base de règles extensible, grâce à un environnement de développement de nouvelles règles
Possibilité de corrections automatiques des modèles (débrayable)
Ergonomie: IHM conviale et mode ligne de commande
Génération de rapports d'analyse pour la traçabilité
Set de règles spécifiques (option) pour les applications les plus exigeantes en matière de sûreté de fonctionnement et la certification (par exemple ISO 26262)

Outil de référence des grands constructeurs et équipementiers automobiles, MXAM, développé et constamment amélioré par son éditeur Model Engineering Solutions GmbH, est un outil complet , indispensable pour la maîtrise d'un processus de développement basé sur les modèles