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 inclut le logiciel RuleChecker vérifiant de manière formelle la conformité du code à de nombreuses règles de codage et de sécurité:

  • Règles de codage MISRA-C 2004 et 2012  (incluant Amendements 1 et 2)
  • Règles de codage MISRA-C++ 2008 et AUTOSAR C++14
  • Règles de sécurité MITRE Common Weakness Enumeration - CWE 
  • Règles de sécurité SEI CERT Secure C 
  • Standard ISO C99 , C11 et C18
  • Standard ISO/IEC TS 17961:2013 (C Secure coding rules)
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

Descriptif complet :
Intégré au produit Astrée, RuleChecker vérifie efficacement des règles de codage et de cybersécurité, et calcule des métriques à partir de votre code source C-99, C11 et C++

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, et permettent également d'améliorer la cybersécurité en détectant les vulnérabilités.
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 pour les langages C et C++:
  • MISRA-C 2004
  • MISRA-C 2012, incluant les Amendement 1 et 2
  • MISRA-C++ 2008
  • AUTOSAR C++14
  • ISO/IEC TS 17961:2013 (C Secure coding rules)
  • 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.
Enfin, RuleChecker permet également de vérifier le respect de vos règles de nommage et de style, pour une meilleure maintenabilité du code.

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, ARM Keil µVision...
   
  
RuleChecker peut être fourni avec un kit de qualification optionnel pour certifier votre projet au regard de standards industriels de sûreté de fonctionnement, tels 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.

ABSINT - TimeWeaver

Descriptif complet :

Nouveau produit ABSINT!
  
La problématique
La prédiction fiable des temps d'exécution au pire cas (WCET) par analyse statique, telle qu'elle est obtenue avec le produit aiT d'ABSINT, n'est plus techniquement possible avec les nouvelles générations de processeurs, en particulier multi-coeurs.
Les techniques de mesures traditionnelles sont longues, fastidieuses, et ne garantissent pas une bonne couverture du code. Par ailleurs, l'instrumentation du code perturbe ces mesures.
   
La solution
TimeWeaver est un outil d'analyse des temps qui combine le relevé de traces d'exécution non intrusives avec les techniques d'analyse statique et de recherche des chemins d'exécution les plus défavorables.
Les traces sont relevées à l'aide du protocole Nexus IEE-ISTO 5001 Branch History Message (BHM) ou Infineon DAS.
TimeWeaver en déduit les informations suivantes:
  • Estimation des temps d'exécution au pire cas de chaque tâches
  • Variance des temps d'exécution sur l'ensemble des traces
  • Couverture du code exécuté pour l'ensemble des parties tracées
  • Information sur les accès mémoire du chemin critique
  • Pour chaque boucle: nombre d'itérations maximum théorique et nombre d'itérations observé
TimeWeaver est compatible avec les processeurs haut de gamme modernes, tels que les PowerPC QorIQ et Qorivva, ARM Cortex-R5F et A53, TriCore AUDO, et AURIX.
 
Visualisation de la couverture d'exécution
Visualisation du graphe d'appel
   
TimeWeaver utilise la même interface graphique ("A3") que les autres produits ABSINT
   

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