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 / Model Engineering Solutions - M-XRAY®

Model Engineering Solutions - M-XRAY®

RECHERCHER
Par marques :
Par mots-clés :
  

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!

AUTRES PRODUITS DANS Outils pour le développement et la validation de logiciels

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