ANTYCIP une offre Leader d'équipements pour la fabrication et le test de produits microélectroniques et électroniques

           FR  EN  ESP
Produits

Outils pour le développement et la validation de logiciels

X Fermer
Nos experts techniques restent à votre disposition pour répondre à vos questions par téléphone

+33 1 70 26 08 25

Accueil / Outils pour le développement et la validation de logiciels / Outils pour le model based design

Outils pour le model based design

RECHERCHER
Par marques :
Par mots-clés :
  
Notre sélection :

Outils pour le model based design

Présentation de la gamme :

MES Model Examiner®

MES M XRAY

®

MES Test Manager®

MES Model Quality Commander®

PRODUITS DANS Outils pour le model based design

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!

Model Engineering Solutions - M-XRAY®

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

Tel que le prescrit le standard ISO 26262 ( Chapitre 6 - Table 1), il est "hautement recommandé" de s'assurer que la complexité de vos modèles n'est pas excessive et d'en garder le contrôle, quel que soit le niveau de criticité du système concerné (de ASIL A à ASIL D)
Cette maîtrise de la complexité aura plusieurs effets bénéfiques sur vos développements:
  • 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 :

Le tableau de bord de vos projets logiciels

MES Quality Commander® vous permet de maîtriser la qualité de vos développements logiciels grâce à ses fonctionnalités de capture et de visualisation des indicateurs clés.
MES Quality Commander® structure votre processus de contrôle qualité et vous en garantit la mise en oeuvre pendant tout le cycle de développement de vos applications:
  • 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®
  • Adapté au développement classique ou Model Based Design
  • Configurable et évolutif suivant vos besoins
  • Automatisation du processus qualité
  • Prises de décision sur des critères objectifs pour éviter les dérives
Contactez-nous pour une présentation ou une évaluation!

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!

PRODUITS
CONTACT

Renseignement, Devis, Etude de cahier des charges, n'hésitez pas à nous contacter

Mentions légales - Crédit photo - Copyright Antycip 2015 - Administration
  OK