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

           FR  EN  ESP

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 développement et la validation de logiciels

Antycip Technologies sélectionne les solutions les plus performantes du marché pour vous faire gagner en productivité et en qualité tout au long de votre cycle de développement de logiciels embarqués.
RECHERCHER
Par marques :
Par mots-clés :
  
Méthodologie de plus en plus répandue, notamment dans les secteurs automobile et aéronautique, la génération de code à partir de modèles doit s'accompagner d'une grande rigueur dans la vérification et le test de ces derniers.
Notre partenaire Model Engineering Solutions GmbH (MES) met son savoir-faire et son expérience à votre service au travers de sa gamme complète d'outils.
Spécialistes depuis 1998 de l'analyse statique et de l'interprétation abstraite, ABSINT GmbH propose une gamme de produits et services pour la validation, la vérification et la certification de logiciels embarqués critiques, en conformité avec les standards de l'industrie: DO178B/C, ISO 26262, IEC 61508, EN 50128...:
Ces produits vous accompagnent tout au long du cycle de développement:
  • Détection des erreurs d'exécution et vérification des règles de codage et de cybersécurité C et C++ avec Astrée
  • Compilation certifiable avec CompCert
  • Analyse de l'usage de la pile avec StackAnalyzer
  • Analyse des temps d'exécution avec aiT, TimingProfiler ou TimeWeaver

Perforce propose une gamme complète d'outils, dans les domaines suivants:

  • Gestion de version de fichiers
  • Outils de revue de code et de collaboration
  • Gestion des exigences, des bugs, des tests
  • Gestion de projet Agile, planification des ressources

Helix Core: Gestion de version centralisée ou distribuée pour tracer toutes les modifications de vos fichiers, quelle que soit leur type, leur taille et leur nombre.

Helix ALM: Gestion complète du cycle de vie de vos projets: Faits techniques, Exigences, Tests...

Helix Swarm: Outil de revue peer to peer pour le travail collaboratif

Helix TeamHub: Hébergement et administration des données au format Git, SVN, Mercurial

Hansoft: Planification Agile, gestion de ressource et de projet
SL-GMS® Graphical Modelling System est une suite d'outils permettant de concevoir des vues à base d'objets graphiques animés et/ou interactifs, et de les déployer dans des applications temps-réel.
Les applications (Supervision, contrôle-commande, simulation...) peuvent être développées sur différentes plateformes (Windows, Linux) et avec différents langages (C++, Java, .Net, HTML5)

PRODUITS
CONTACT

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

Mentions légales - Protection des données personnelles - Crédit photo - Copyright Antycip 2018 - Administration
  OK