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 / Validation, vérification et certification de logiciels embarqués critiques

Validation, vérification et certification de logiciels embarqués critiques

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

Validation, vérification et certification de logiciels embarqués critiques

Présentation de la gamme :
Descriptif complet de la gamme

PRODUITS DANS Validation, vérification et certification de logiciels embarqués critiques

ABSINT - StackAnalyzer

Descriptif complet :

StackAnalyzer détermine automatiquement la taille maximale de la pile utilisée par les tâches dans votre appli­cation. Il peut ainsi prouver formellement l’absence de débordement de pile de ces tâches.

La technique d'analyse statique basée sur l'Interprétation Abstraite permet à StackAnalyzer de fournir une estimation précise et sûre de la taille de la pile
StackAnalyzer fonctionne à partir du code binaire exécutable:

  • Sans modification ou instrumentation du code
  • En tenant compte de l'optimisation éventuelle du compilateur
  • En tenant compte des instructions Inline, de la récursivité, des pointeurs de fonctions
Copie d'écran de StackAnalyzer

Principaux avantages de StackAnalyzer:
  • Analyse automatique, rapide et exhaustive
  • Fournit une surestimation de la consommation de pile, ce qui permet de dimensionner au plus juste ce paramètre sans risque de débordement
  • Interface ergonomique permettant de visualiser jusqu'au niveau le plus détaillé les parties de code les plus consommatrices
  • Génération de rapports imprimables (PDF), interactifs (HTML) ou exploitables par d'autres programmes (XML)
  • Kits de qualification disponibles pour la certification de vos projets suivant les standards de l'industrie: DO178, ISO 26262, etc...

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

ABSINT - aiT WCET

Descriptif complet :

aiT WCET (Worst Case Execution Time) détermine automatiquement et en toute sécurité les temps d'exécution au pire cas des taches de votre application embarquée, vous garantissant les temps de réaction de vos systèmes critiques.

Basé sur des techniques d'analyse statique  et d'interprétation abstraite ayant fait l'objet de nombreuses publications académiques, le logiciel aiT vous affranchit du recours aux méthodes classiques de mesure de temps, fastidieuses, consommatrices de ressources matérielles et humaines précieuses en phase de développement, et finalement non fiables car vous ne pourrez jamais prouver que vous avez exécuté la partie du code la plus critique.




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

ABSINT - ASTRée

Descriptif complet :

Astrée détecte toutes les erreurs d'exécution dans les codes embarqués écrits en langage C et peut prouver l'absence de telles erreurs.

Exemples d'erreurs détectées à coup sûr (pas de "faux négatifs"): 
  • Division par zéro sur des entiers ou des flottants 
  • Débordement d'index de tableau 
  • Manipulation et déréférencement de pointeur nul ou invalide 
  • Overflow arithmétiques sur des entiers ou des flottants 
  • Accès à des variables non initialisées 
  • Détection de code mort 

Astrée vérifie la conformité du code à différents standards: 

  • Règles de codage MISRA-C 2004 et 2012 
  • Règles de sécurité CWE 
  • Règles de sécurité SEI CERT C 
  • Standard ISO C99 
  • Standard ISO/IEC 
Astrée détecte les conflits d'accès aux données en environnement multi-thread:
  • Data race (accès concurrents invalides en lecture/écriture) 
  • Incohérence de protection (lock/unlock) 
 Le logiciel Astrée est développé et commercialisé par ABSINT sous licence de l'ENS Cachan.

ABSINT - TIMINGPROFILER

Descriptif complet :

Evaluez facilement et automatiquement les temps d'exécution de votre code embarqué en phase de développement
Le logiciel TimingProfiler exploite l'expertise d'ABSINT en matière d'analyse statique et vous donne le moyen de maîtriser les performances de vos applications bien en amont de vos phases de test.
TimingProfiler identifie les chemins critiques du point de vue des temps d'exécution, par une simple analyse statique du code compilé.
Cette méthode non intrusive et facilement automatisable donne des résultats facile à interpréter grâce à la lisibilité des rapports générés par l'outil.
Principales caractéristiques de TimingProfiler:
  • Visualisation intuitive des performances temporelles du code, grâce à ses différents graphique
  • Exploration de tous les chemins exécutables pour un résultat exhaustif
  • Aucune instrumentation du code n'est requise
  • Analyse de l'exécutable, tenant donc compte des instructions de compilation conditionnelles, du code pré compilé...
  • Gamme de processeurs supportés en constante extension
  • Utilisable en développement traditionnel ou bien en Model Based Design grâce à ses interfaces avec les outils de modélisation et génération de code du marché
 
Une interface utilisateur intuitive

Avantages de TimingProfiler
  • Même interface graphique (a3) que les produits StackAnalyzer et aiT WCET: ergonomie, apprentissage facile, paramétrage mutualisé...
  • Validation du design dès que le code est compilable
  • Raccourci les temps de développement grâce à ses possibilités d'identification des goulots d'étranglement
  • Rapports complets et détaillés sur les temps, l'utilisation des variables
Demandez nous une version d'évaluation gratuite!

ABSINT - RuleChecker - vérification de règles de codage

Descriptif complet :
RuleChecker est un nouveau produit proposé par ABSINT.

Dérivé du produit Astrée, RuleChecker vérifie efficacement des règles de codage et calcule des métriques à partir de votre code source C-99

Pourquoi utiliser RuleChecker?
Le respect de règles de codage, telles que les règles MISRA-C 2012, et la maîtrise de la complexité de votre code embarqué grâce à la mesure de métriques reconnues par l'industrie font partie des bonnes pratiques en vigueur pour l'amélioration de la qualité et de la fiabilité du code.
RuleChecker est un outil dérivé de la technologie d'analyse statique du logiciel Astrée commercialisé par ABSINT

RuleChecker vous propose une sélection très complète de règles de codage sur étagère, provenant des standards de l'industrie:
  • MISRA-C 2004
  • MISRA-C 2012, inclus Amendement 1
  • ISO/IEC TS 17961:2013
  • SEI CERT Secure C
  • MITRE Common Weakness Enumeration (CWE)
Par ailleurs, RuleChecker mesure la complexité de votre code grâce au support des métriques les plus utilisées dans l'industrie, notamment les "HIS metrics": complexité cyclomatique, densité des commentaires, nombre d'appels de fonctions, etc.

Sélection des règles à vérifier
    
L'interface graphique de RuleChecker est basée sur celle d'Astrée, et permet de  configurer l'analyse et d'en visualiser les résultats avec une grande productivité
RuleChecker peut être également exploité en mode batch, sans supplément.
  
  
RuleChecker s'intègre dans de nombreux environnements de développement tels que TargetLink, Jenkins, Eclipse...
  
RuleChecker peut être qualifié vis à vis des normes industrielles de sûreté de fonctionnement, telles que ISO-26262, DO-178B/C, IEC-61508, EN-50128
Nous sommes à votre disposition pour toute information complémentaire ou pour mettre à votre disposition 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