Astrée vs Green Hills Software

Astrée

Sterke punten

• +Wiskundig sound statische analyse zonder gemiste runtimefouten (geen false negatives)
• +Geautomatiseerde compliancecontroles voor MISRA C/C++, CWE, ISO 26262 en DO-178C
• +Snelle batchanalyse en koppeling met CI/CD-pipelines
• +Goede technische documentatie en kits voor toolkwalificatie
• +Intuïtieve interface die volledig in de browser draait, voor mobiel gebruik op de werkvloer
• +OEE/TRS in realtime volgen en papierloze werkorders
• +Modulaire uitrol om een fabriek stap voor stap te digitaliseren
• +Veel klanten bevelen de support van de leverancier aan

Beperkingen

• −Steile leercurve bij het configureren van de formele verificatie
• −Veel tijd nodig bij de start voor annotaties en het onderzoeken van vals alarm
• −Oudere machines en diepe synchronisatie met ERP vragen om een eigen koppeling

Green Hills Software

Sterke punten

• +Prestaties die in de sector vooroplopen bij veiligheidskritische systemen
• +Sterke ondersteuning voor multicore- en heterogene architecturen
• +Bewezen betrouwbaarheid in automotive- en luchtvaarttoepassingen

Beperkingen

• −Hoge licentiekosten bij enterprise-implementaties
• −Steile leercurve voor nieuwe gebruikers
• −Weinig openbare documentatie voor nichetoepassingen

Astrée

Statische analyse en sound verificatie

Bewijst de afwezigheid van runtimefouten (RTE) en ongeldig gelijktijdig gedrag in C, C++ en gemengde codebases, Detecteert data races, Spectre-kwetsbaarheden en dode code, Voert geavanceerde taint-analyse uit, plus analyse van signaal-, data- en besturingsstromen, Analyseert control coupling en interferentie tussen componenten

Regelcontrole en codemetrieken

Controleert naleving van MISRA (C/C++), SEI CERT, JSF, CWE, AUTOSAR en ISO/IEC TS 17961, Ondersteunt aanpasbare regelsets, Berekent codemetrieken en bewaakt drempelwaarden (bijv. commentaardichtheid, cyclomatische complexiteit)

Ondersteuning voor veiligheid, cybersecurity en certificering

Brengt functionele en niet-functionele risico's in kaart volgens ISO 26262, DO-178C/DO-330, IEC 61508 en EN 50128, Ondersteunt eigen cybersecurity-analyses voor DO-356A en ISO 21434, Biedt Qualification Support Kits (QSK) voor geautomatiseerde toolkwalificatie

Review, samenwerking en rapportage

Grafische interface met gekoppelde grafische en tekstuele weergaven van resultaten, broncode en besturingsstroom, Ondersteunt gezamenlijke reviews en annotaties van gebruikers, Delta-analyse voor coderevisies, Automatisch rapporten genereren (bijv. XML)

Automatisering en bedrijfsvoering

Opdrachtregel- en batchmodus voor buildautomatisering, Communicatie versleuteld met TLS, Authenticatie via OpenID en OAuth2

Green Hills Software

Kernfuncties van de RTOS

Deterministische realtime prestaties, Geheugenbescherming en partitionering, Scheduling op basis van prioriteit, Ondersteuning voor multicore-architecturen

Ontwikkeltools

Geïntegreerde ontwikkelomgeving (IDE), Optimaliserende compilers voor C/C++, Tools voor debugging en profiling, Frameworks voor simulatie en testen

Veiligheid en beveiliging

ISO 26262 ASIL D-certificering voor de automotive, Secure boot en bescherming tijdens runtime, Hardwarematig versnelde cryptografie, Naleving van normen voor functionele veiligheid