Model Engineering Solutions - Model Examiner®

Descriptif complet :

MES Model Examiner® (MXAM Drive) vérifie automatiquement la conformité  de vos modèles Simulink®, Stateflow®, TargetLink®, Enterprise Architect®, Excel®, ASCET® aux règles et bonnes pratiques de l'industrie ou bien à vos propres règles de modélisation.

Rapide, ergonomique, automatisable (mode ligne de commande pour l'intégration continue), MES Model Examiner® est l'outil idéal pour garantir la qualité de vos modèles et du code généré à partir de ces derniers, et en détecter le plus en amont possible les problèmes potentiels.

Les principales fonctionnalités de MES Model Examiner® sont:

• Vérification et correction (si applicable) automatiques
• Fonctionnement multi-rôle:
• Concepteur et/ou Gestionnaire des guides et des règles
• Utilisateur
• Manager ou auditeur
• Des centaines de règles fournies sur étagère
• Un environnement de développement pour l'ajout de nouvelles règles
• Génération de rapports au format PDF, XML, HTML, Word
• Gestion et traçabilité des dérogations
• Mode interactif ou ligne de commande

Une grande variété de rapports

MES propose deux variantes de son produit:

MXAM MISRA® Compliance Solution

Cette version est principalement axée sur la qualité et sur la vérification des règles MISRA® Autocode applicables au niveau des modèles

MXAM Functional Safety Solution (FSS Edition)

Cette version propose l'ensemble des règles de la version MISRA® Compliance, auxquelles s'ajoutent des règles de contrôle pour la sûreté de fonctionnement, notamment l'analyse Dataflow et Control Flow.

Le logiciel MES M-XRAY® est également intégré dans cette version, qui est particulièrement conseillée pour les projets critiques devant respecter la norme ISO 26262

Les différentes versions du produit

Contactez nous pour une présentation ou une version d'évaluation!

L'organisme TÜV SÜD vient de certifier MES Model Examiner® pour son utilisation dans le développement de logiciels critiques jusqu'au niveau ASIL D, en conformité avec les normes ISO 26262, IEC 61508 et ISO 25119.

Le certificat du TÃœV SÃœD est visible en cliquant sur le logo ci-dessous:

En parallèle, un kit de qualification du produit pour la norme ISO 26262 est maintenant disponible au catalogue de Model Engineering Solutions. Cet ensemble de documents vous permettra de gagner un temps précieux dans une démarche de certification. Il contient les éléments conforme au chapitre ISO 26262-8 "Confidence in the use of software tools":

• Modèles de documentation
• Rapports de tests
• Guide utilisateur détaillé

Model Engineering Solutions - M-XRAY®

Descriptif complet :
Premier outil du marché pour la maîtrise de la complexité de vos modèles!

• Meilleure lisibilité des modèles, échanges facilités entre les intervenants du projet, tout au long du cycle de développement
• Diminution de l'effort de test
• Diminution des coûts de maintenance
• Amélioration de la qualité, d'une façon générale

Contrairement à ce qui existe en méthode de codage manuel, il n'y avait pas jusqu'à présent, pour le processus de développement basé sur les modèles, de formules de calcul de métriques de complexité, de définition des seuils acceptables pour les métriques obtenues, ni d'outils pour automatiser ces analyses et ces évaluations.

Ces lacunes sont maintenant comblées grâce au logiciel MES M-XRAY® et à ses fonctionnalités sans équivalent sur le marché:

• Calcul de complexité locale et globale grâce à une adaptation de la formule de Halstead au Model Based Design
• Critères d'étalonnage des résultats, provenant du retour  d'expérience de MES dans la conduite et l'accompagnement de nombreux Projets
• Ces seuils sont paramétrables pour les adapter à votre contexte, si besoin
• Analyse de la structure des modèles
• Support des formats Simulink®, Stateflow®, TargetLink®
• Détection des sous-ensembles clonés pouvant être factorisés
• Génération de rapports au format HTML ou XLS
• Usage interactif ou en mode batch

Détection des clones

Des rapports très complets

Contactez-nous pour une présentation ou une version d'évaluation!

Model Engineering Solutions - QUALITY COMMANDER®

Descriptif complet :

• Définition d'un modèle qualité homogène et standardisé pour une évaluation:
• Du niveau de qualité atteint à chaque étape
• De la tendance: progrès, régressions...
• Des priorités d'actions correctives

MQC structure votre démarche de qualité logicielle

• Capture et centralisation automatique des KPI (Key Performance Indicators), par exemple:
• Taux de couverture des exigences
• Taux de conformité aux règles de modélisation/codage
• Taux de couverture des tests
• Niveau de complexité
• Bugs et faits techniques
• Mise à disposition et partage dynamique des informations:
• Tableaux de bords graphiques ergonomiques, personnalisables
• Génération de rapports Powerpoint

Exemple de tableau de bord

Avantages de MES Quality Commander®

Model Engineering Solutions - TEST MANAGER®

Descriptif complet :
MES Test Manager® (MTest) vous fournit un cadre de travail structurant et d'une grande productivité pour la gestion de vos tests de Modèles.

Principales caractéristiques de MES Test Manager®

• Traçabilité totale depuis l'importation des exigences jusqu'à la génération de rapports de test.
• Génération et exécution des tests unitaires de modèles au format Simulink®, Embedded Coder®, TargetLink®
• Mode MiL, SiL, PiL, back to back et tests de non régression
• Adapté et recommandé dans une démarche de conformité au standard ISO 26262
• Haut niveau d'automatisation, en particulier grâce au langage MTCD pour la spécification des cas de test, et aux fonctionnalités d'évaluation automatique des résultats
• Mode interactif ou mode batch (ligne de commande)
• Compatible avec toutes les versions de Matlab (depuis R2007b)
• Génération de rapports de couverture de test sur le Modèle ou le code

Séquencement des tests avec MTest

Avantages du logiciel MES Test Manager®

• Une aide précieuse  pour la conformité ISO 26262 
• Interface ergonomique favorisant la productivité pour la génération des cas de test et l'évaluation de leur résultats
• De nombreux types de rapports paramétrables
• Traçabilité des résultats
• Automatisation maximale
• Compatible Embedded Coder®, TargetLink®

Contactez nous pour une présentation ou une version d'évaluation!

MES Model and REFACTOR® (MoRe)

Descriptif complet :

MES Model and Refactor® est un outil améliorant la productivité des utilisateurs de MATLAB Simulink®. Il est parfaitement intégré à la barre de menu contextuelle de MATLAB Simulink®, version R2010a et ultérieures.

MES Model and Refactor® allège la charge de travail des modeleurs en automatisant les fonctions d'édition répétitives, fastidieuses et sources potentielles d'erreurs.

Avec MES Model and Refactor®, la conception initiale et encore plus la reprise de modèles existant sera plus rapide et plus sûre.

Exemples de fonctionnalités de MES Model and Refactor®

Création ou suppression de signaux traversant

Rajouter ou supprimer un signal utilisé sur plusieurs niveaux hiérarchiques est une opération fastidieuse et risquée, que MES Model and Refactor® vous permet d'effectuer en deux clics: il suffit désélectionner la source et la destination du signal.

Optimisation de la décomposition en sous-systèmes

Vous pouvez facilement fusionner deux sous-systèmes, éclater un sous-système en deux, ou enfin déplacer un groupe de blocs dans un niveau hiérarchique supérieur ou inférieur à son niveau d'origine en quelques clics, et MES Model and Refactor® s'occupe de la mise à jour des ports, des signaux, au travers de la hiérarchie.

Réarrangement de l'interface des sous-systèmes

MES Model and Refactor® réorganise et met à jour vos interfaces, comme par exemple changer l'ordre des ports, renommer les ports ou les signaux.

Création et décomposition des bus

Avec MES Model and Refactor® , vous pouvez facilement et rapidement créer des bus à partir d'une série de signaux déjà connectés, etr ainsi gagner un temps précieux. En une seule action, MES Model and Refactor® crée automatiquement les éléments du bus et les signaux requis. De même, il est facile de rajouter des signaux à un bus existant et de fusionner ou éclater le sélecteur de bus.

Model Engineering Solutions - Model Examiner®

Descriptif complet :

MES Model Examiner® (MXAM Drive) vérifie automatiquement la conformité  de vos modèles Simulink®, Stateflow®, TargetLink®, Enterprise Architect®, Excel®, ASCET® aux règles et bonnes pratiques de l'industrie ou bien à vos propres règles de modélisation.

Rapide, ergonomique, automatisable (mode ligne de commande pour l'intégration continue), MES Model Examiner® est l'outil idéal pour garantir la qualité de vos modèles et du code généré à partir de ces derniers, et en détecter le plus en amont possible les problèmes potentiels.

Les principales fonctionnalités de MES Model Examiner® sont:

• Vérification et correction (si applicable) automatiques
• Fonctionnement multi-rôle:
• Concepteur et/ou Gestionnaire des guides et des règles
• Utilisateur
• Manager ou auditeur
• Des centaines de règles fournies sur étagère
• Un environnement de développement pour l'ajout de nouvelles règles
• Génération de rapports au format PDF, XML, HTML, Word
• Gestion et traçabilité des dérogations
• Mode interactif ou ligne de commande

Une grande variété de rapports

MES propose deux variantes de son produit:

MXAM MISRA® Compliance Solution

Cette version est principalement axée sur la qualité et sur la vérification des règles MISRA® Autocode applicables au niveau des modèles

MXAM Functional Safety Solution (FSS Edition)

Cette version propose l'ensemble des règles de la version MISRA® Compliance, auxquelles s'ajoutent des règles de contrôle pour la sûreté de fonctionnement, notamment l'analyse Dataflow et Control Flow.

Le logiciel MES M-XRAY® est également intégré dans cette version, qui est particulièrement conseillée pour les projets critiques devant respecter la norme ISO 26262

Les différentes versions du produit

Contactez nous pour une présentation ou une version d'évaluation!

L'organisme TÜV SÜD vient de certifier MES Model Examiner® pour son utilisation dans le développement de logiciels critiques jusqu'au niveau ASIL D, en conformité avec les normes ISO 26262, IEC 61508 et ISO 25119.

Le certificat du TÃœV SÃœD est visible en cliquant sur le logo ci-dessous:

En parallèle, un kit de qualification du produit pour la norme ISO 26262 est maintenant disponible au catalogue de Model Engineering Solutions. Cet ensemble de documents vous permettra de gagner un temps précieux dans une démarche de certification. Il contient les éléments conforme au chapitre ISO 26262-8 "Confidence in the use of software tools":

• Modèles de documentation
• Rapports de tests
• Guide utilisateur détaillé

Model Engineering Solutions - M-XRAY®

Descriptif complet :
Premier outil du marché pour la maîtrise de la complexité de vos modèles!

• Meilleure lisibilité des modèles, échanges facilités entre les intervenants du projet, tout au long du cycle de développement
• Diminution de l'effort de test
• Diminution des coûts de maintenance
• Amélioration de la qualité, d'une façon générale

Contrairement à ce qui existe en méthode de codage manuel, il n'y avait pas jusqu'à présent, pour le processus de développement basé sur les modèles, de formules de calcul de métriques de complexité, de définition des seuils acceptables pour les métriques obtenues, ni d'outils pour automatiser ces analyses et ces évaluations.

Ces lacunes sont maintenant comblées grâce au logiciel MES M-XRAY® et à ses fonctionnalités sans équivalent sur le marché:

• Calcul de complexité locale et globale grâce à une adaptation de la formule de Halstead au Model Based Design
• Critères d'étalonnage des résultats, provenant du retour  d'expérience de MES dans la conduite et l'accompagnement de nombreux Projets
• Ces seuils sont paramétrables pour les adapter à votre contexte, si besoin
• Analyse de la structure des modèles
• Support des formats Simulink®, Stateflow®, TargetLink®
• Détection des sous-ensembles clonés pouvant être factorisés
• Génération de rapports au format HTML ou XLS
• Usage interactif ou en mode batch

Détection des clones

Des rapports très complets

Contactez-nous pour une présentation ou une version d'évaluation!

Model Engineering Solutions - QUALITY COMMANDER®

Descriptif complet :

• Définition d'un modèle qualité homogène et standardisé pour une évaluation:
• Du niveau de qualité atteint à chaque étape
• De la tendance: progrès, régressions...
• Des priorités d'actions correctives

MQC structure votre démarche de qualité logicielle

• Capture et centralisation automatique des KPI (Key Performance Indicators), par exemple:
• Taux de couverture des exigences
• Taux de conformité aux règles de modélisation/codage
• Taux de couverture des tests
• Niveau de complexité
• Bugs et faits techniques
• Mise à disposition et partage dynamique des informations:
• Tableaux de bords graphiques ergonomiques, personnalisables
• Génération de rapports Powerpoint

Exemple de tableau de bord

Avantages de MES Quality Commander®

Model Engineering Solutions - TEST MANAGER®

Descriptif complet :
MES Test Manager® (MTest) vous fournit un cadre de travail structurant et d'une grande productivité pour la gestion de vos tests de Modèles.

Principales caractéristiques de MES Test Manager®

• Traçabilité totale depuis l'importation des exigences jusqu'à la génération de rapports de test.
• Génération et exécution des tests unitaires de modèles au format Simulink®, Embedded Coder®, TargetLink®
• Mode MiL, SiL, PiL, back to back et tests de non régression
• Adapté et recommandé dans une démarche de conformité au standard ISO 26262
• Haut niveau d'automatisation, en particulier grâce au langage MTCD pour la spécification des cas de test, et aux fonctionnalités d'évaluation automatique des résultats
• Mode interactif ou mode batch (ligne de commande)
• Compatible avec toutes les versions de Matlab (depuis R2007b)
• Génération de rapports de couverture de test sur le Modèle ou le code

Séquencement des tests avec MTest

Avantages du logiciel MES Test Manager®

• Une aide précieuse  pour la conformité ISO 26262 
• Interface ergonomique favorisant la productivité pour la génération des cas de test et l'évaluation de leur résultats
• De nombreux types de rapports paramétrables
• Traçabilité des résultats
• Automatisation maximale
• Compatible Embedded Coder®, TargetLink®

Contactez nous pour une présentation ou une version d'évaluation!

MES Model and REFACTOR® (MoRe)

Descriptif complet :

MES Model and Refactor® est un outil améliorant la productivité des utilisateurs de MATLAB Simulink®. Il est parfaitement intégré à la barre de menu contextuelle de MATLAB Simulink®, version R2010a et ultérieures.

MES Model and Refactor® allège la charge de travail des modeleurs en automatisant les fonctions d'édition répétitives, fastidieuses et sources potentielles d'erreurs.

Avec MES Model and Refactor®, la conception initiale et encore plus la reprise de modèles existant sera plus rapide et plus sûre.

Exemples de fonctionnalités de MES Model and Refactor®

Création ou suppression de signaux traversant

Rajouter ou supprimer un signal utilisé sur plusieurs niveaux hiérarchiques est une opération fastidieuse et risquée, que MES Model and Refactor® vous permet d'effectuer en deux clics: il suffit désélectionner la source et la destination du signal.

Optimisation de la décomposition en sous-systèmes

Vous pouvez facilement fusionner deux sous-systèmes, éclater un sous-système en deux, ou enfin déplacer un groupe de blocs dans un niveau hiérarchique supérieur ou inférieur à son niveau d'origine en quelques clics, et MES Model and Refactor® s'occupe de la mise à jour des ports, des signaux, au travers de la hiérarchie.

Réarrangement de l'interface des sous-systèmes

MES Model and Refactor® réorganise et met à jour vos interfaces, comme par exemple changer l'ordre des ports, renommer les ports ou les signaux.

Création et décomposition des bus

Avec MES Model and Refactor® , vous pouvez facilement et rapidement créer des bus à partir d'une série de signaux déjà connectés, etr ainsi gagner un temps précieux. En une seule action, MES Model and Refactor® crée automatiquement les éléments du bus et les signaux requis. De même, il est facile de rajouter des signaux à un bus existant et de fusionner ou éclater le sélecteur de bus.