

Le MES Model Examiner® (MXAM) est un outil d'analyse statique complet conçu pour améliorer la qualité et la sécurité du développement logiciel basé sur des modèles. Il évalue les modèles Simulink®, Stateflow® et TargetLink® par rapport aux directives de modélisation établies et aux normes industrielles, garantissant la conformité et améliorant l'intégrité globale des modèles. Caractéristiques clés et fonctionnalités : - Test statique : Effectue des analyses approfondies des structures et des métriques des modèles pour identifier les problèmes potentiels dès le début du processus de développement. - Assurance de conformité : Garantit le respect des directives de modélisation et des normes de sécurité telles que ISO 26262, ISO 25119, IEC 61508 et DO-178B/C. - Évaluation de la qualité : Évalue les modèles en fonction des principes de conception et des directives pour maintenir des normes de haute qualité. - Réparations automatisées : Offre des améliorations guidées et des corrections automatiques pour aligner les modèles avec les exigences de conformité. - Intégration transparente : S'intègre aux environnements MATLAB®/Simulink®, soutenant les flux de travail de conception basés sur des modèles. - Rapport complet : Génère des rapports détaillés avec des conclusions et des recommandations dans divers formats pour une révision facile. - Évolutivité : Gère efficacement les modèles à grande échelle, adapté aussi bien aux postes de travail individuels qu'aux déploiements à l'échelle de l'entreprise. - Amélioration de la génération de code : Soutient des normes comme AUTOSAR pour améliorer la qualité, la sécurité et la sûreté du code. - Support d'automatisation : Compatible avec les plateformes courantes, tant sur site que basées sur le cloud, facilitant l'intégration dans les chaînes d'outils existantes. Valeur principale et solutions pour les utilisateurs : MXAM répond au besoin critique de détection précoce des erreurs de modélisation, garantissant que les modèles logiciels répondent à des normes de sécurité et de qualité strictes. En automatisant la conformité aux directives et en fournissant des outils pour l'amélioration des modèles, MXAM réduit le temps de développement et les coûts associés aux révisions manuelles et aux reprises. Ses capacités d'intégration permettent une incorporation transparente dans les environnements de développement existants, améliorant la productivité et garantissant une qualité de modèle cohérente à travers les projets.

MES Quality Commander (MQC) est un outil dynamique de surveillance et de gestion de la qualité pour le développement logiciel. - MQC capture toutes les données de prise de décision tout au long de votre cycle de vie logiciel. - MQC évalue les indicateurs clés de performance (par exemple, directives, complexité, tests, couverture et revues) pour tous les artefacts de développement pertinents. - MQC calcule et visualise la qualité et la viabilité de votre produit logiciel. Le tableau de bord interactif de qualité MQC garantit que tout est toujours à portée de vue. Laissez MQC travailler pour vous : - MQC collecte les informations les plus importantes de votre chaîne d'outils de test. - MQC montre les résultats de différents outils de manière comparable, objective et cohérente. - MQC maintient votre tableau de bord à jour et accessible d'un simple clic. Découvrez l'interactivité de MQC : - Sachez toujours ce qui se passe dans votre projet. - Détectez les problèmes et analysez les causes profondes. - Suivez vos progrès et concentrez-vous sur les changements.

Avec l'aide des fonctions "Auto Layout", MES Model & Refactor (MoRe) facilite vos tâches quotidiennes de modélisation dans Simulink. MoRe simplifie et accélère la création et la refactorisation de modèles. Vos avantages MoRe : - Auto Layout : MoRe automatise la disposition des modèles Simulink, permettant une disposition conforme aux directives d'une simple pression sur un bouton, et assurant des modèles uniformes pour l'ensemble de l'entreprise. - Qualité : Créez des modèles de haute qualité, lisibles et compréhensibles qui sont facilement extensibles et maintenables. - Efficacité : Modifiez et développez des modèles rapidement et efficacement et accueillez les exigences changeantes, même tard dans le développement. Des changements de modèle rapides et faciles permettent un développement agile.
We at Model Engineering Solutions (MES) strive for a world of safe technology in mobility. Our tools and expertise ensure the quality and safety of embedded software in a software-driven world to make tomorrow’s mobility safer. Our core values of excellence, knowledge, and trust inspire and drive us forward every day. We advocate quality assurance in the model-based development of embedded software. Our main focus is static model analysis and model improvement, primarily in MATLAB Simulink, the automotive industry's leading development platform. MES provides solutions in various development chains and highly-automated cloud environments for safe controller software. All but a few of the world's top-selling manufacturers and suppliers in the automotive industry rely on MES’ solutions in their development environments. Among them are Bosch, Continental, Hyundai, Magna, Mercedes-Benz, Stellantis, Toyota, Volkswagen, and ZF. Embedded systems are your expertise, safety is ours. Implementing our solutions right from the start ensures that errors are detected and corrected at an early development stage. The MES tools for comprehensive software quality ensure that your software complies with international industry standards like ISO 26262, IEC 61508, and ASPICE. TÜV approved.