Astrée
🇩🇪 DE
Analyseur statique fiable pour code C/C++ embarqué critique
Fonctionnalités
Analyse statique et vérification formelle
- Prouve l'absence d'erreurs d'exécution (RTE) et de comportements concurrents invalides dans les bases de code C, C++ et mixtes
- Détecte les conditions de course, les vulnérabilités Spectre et le code mort
- Effectue une analyse avancée de propagation de souillure, de flux de signaux, de flux de données et de flux de contrôle
- Analyse les couplages de contrôle et les interférences entre composants
Vérification des règles et métriques de code
- Vérifie la conformité aux normes MISRA (C/C++), SEI CERT, JSF, CWE, AUTOSAR et ISO/IEC TS 17961
- Prend en charge des ensembles de règles personnalisables
- Calcule et vérifie les seuils pour les métriques de code (ex. densité de commentaires, complexité cyclomatique)
Sécurité, cybersécurité et support de certification
- Identifie les dangers fonctionnels et non fonctionnels selon ISO 26262, DO-178C/DO-330, IEC 61508, EN 50128
- Prend en charge les analyses de cybersécurité définies par l'utilisateur pour DO-356A et ISO 21434
- Propose des kits de support de qualification (QSK) pour la qualification automatisée des outils
Révisions, collaboration et rapports
- Interface graphique avec vues graphiques et textuelles interconnectées pour les résultats, le code source et le flux de contrôle
- Prend en charge les révisions collaboratives et les annotations utilisateur
- Analyse delta pour les révisions de code
- Génération automatique de rapports (ex. XML)
Automatisation et opérations d'entreprise
- Mode ligne de commande/batch pour l'automatisation des builds
- Communication chiffrée TLS
- Authentification via OpenID et OAuth2
Essai et support
- Essai gratuit de 30 jours avec toutes les fonctionnalités commerciales
- Inclut RuleChecker pour Windows, Linux et macOS
- Formation interactive en ligne gratuite via WebEx
- 180 jours de support technique et de mises à jour gratuits pour les licences commerciales
Tarifs
Tarification sur devis personnalisé ; essai gratuit de 30 jours disponible.
Profil de confiance UE
Ce que nous avons vérifié auprès de sources publiques, dernier contrôle le 16/09/2026. Chaque point renvoie à sa preuve.
Nous ne listons que ce que nous avons pu vérifier auprès d'une source publique à la date du contrôle. Un point absent n'a pas été établi — ce n'est pas un constat à charge. Les informations de l'éditeur font foi.
Vous travaillez chez Astrée ?
Ce badge est gratuit pour tout éditeur référencé et n'a aucune incidence sur l'ordre des listes. Il repose sur un siège social européen vérifié (DE) et sur les points de conformité que nous avons vérifiés auprès de sources publiques — la date indiquée est celle de notre dernier contrôle.
Code d'intégration
<a href="https://tech-from-europe.eu/product/astree"><img src="https://tech-from-europe.eu/badge/astree.svg" alt="Astrée — verified European company on tech-from-europe.eu" height="164"></a>HTML simple : un SVG servi depuis notre domaine, sans JavaScript, sans cookies et sans suivi de vos visiteurs. Ajoutez ?style=card pour la variante large, ou remplacez .svg par .png si un CMS refuse le SVG. Mettre le lien en nofollow reste votre choix — nous ne le vérifions pas.
En revendiquant la fiche avec une adresse professionnelle, vous recevez le visuel en PNG, un formulaire de correction et un message à chaque nouvelle vérification.
Revendiquer cette fiche →Une erreur sur cette page ? Écrivez à hello@tech-from-europe.eu avec un lien public et nous revérifierons.
Avis
Thèmes récurrents, synthétisés à partir d'avis publics sur différents portails.
Ce que les utilisateurs apprécient
- Analyse statique mathématiquement fiable sans faux négatifs pour les erreurs d'exécution
- Vérifications automatiques de conformité pour MISRA C/C++, CWE, ISO 26262 et DO-178C
- Exécution rapide des analyses par lots et intégration aux pipelines CI/CD
- Documentation technique solide et kits de support de qualification
- Interface 100 % web intuitive pour une utilisation mobile en atelier
- Suivi en temps réel de l'OEE/TRS et ordres de travail dématérialisés
- Modèle de déploiement modulaire pour une digitalisation progressive de l'usine
- Taux élevé de recommandation client pour le support du fournisseur
Les points à améliorer selon les utilisateurs
- · Courbe d'apprentissage abrupte pour la configuration de la vérification formelle
- · Temps initial élevé pour les annotations et l'investigation des fausses alertes
- · Intégration personnalisée nécessaire pour les machines héritées et la synchronisation approfondie avec l'ERP
Intégrations
Les informations sur les fonctionnalités, les tarifs et les intégrations reposent sur des recherches web (au 16/09/2026), sans garantie, des erreurs sont possibles. Le site du fournisseur fait foi.