Astrée vs Green Hills Software

Astrée

Points forts

• +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

Limites

• −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

Green Hills Software

Points forts

• +Performances de pointe pour les systèmes critiques en matière de sécurité
• +Prise en charge solide des architectures multi-cœurs et hétérogènes
• +Fiabilité prouvée dans les applications automobiles et aérospatiales

Limites

• −Coûts de licence élevés pour les déploiements d'entreprise
• −Courbe d'apprentissage abrupte pour les nouveaux utilisateurs
• −Documentation publique limitée pour les cas d'utilisation de niche

Astrée

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

Green Hills Software

Fonctionnalités principales du système d'exploitation en temps réel

Performances temps réel déterministes, Protection et partitionnement de la mémoire, Planification basée sur les priorités, Prise en charge des architectures multi-cœurs

Outils de développement

Environnement de développement intégré (IDE), Compilateurs optimisés pour C/C++, Outils de débogage et de profilage, Cadres de simulation et de test

Sécurité et sûreté

Certification ISO 26262 ASIL D pour l'automobile, Démarrage sécurisé et protection en temps d'exécution, Cryptographie accélérée par matériel, Conformité aux normes de sécurité fonctionnelle