Astrée
🇩🇪 DE
Sound statische analyse voor veiligheidskritische embedded C/C++-code
Vervangt
Astrée wordt gezocht als Europees alternatief voor:
Functies
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
Proefperiode en support
- Gratis proefperiode van 30 dagen met alle commerciële functies
- Inclusief RuleChecker voor Windows, Linux en macOS
- Gratis interactieve online training via WebEx
- 180 dagen gratis technische support en updates bij commerciële licenties
Prijzen
Prijs op basis van een offerte op maat; gratis proefperiode van 30 dagen.
EU-trustprofiel
Wat we aan de hand van openbare bronnen hebben gecontroleerd, laatst op 16-09-2026. Elk punt linkt naar het bewijs.
We vermelden alleen wat we op de controledatum met een openbare bron konden aantonen. Een ontbrekend punt is niet vastgesteld, in welke richting dan ook; dat is geen oordeel over de aanbieder. De informatie van de aanbieder is leidend.
Werk je bij Astrée?
Deze badge is gratis voor elke aanbieder die we vermelden en heeft geen invloed op de volgorde van welke lijst dan ook. Hij wordt uitgegeven op basis van een geverifieerd Europees hoofdkantoor (DE) en de compliancepunten die we aan de hand van openbare bronnen hebben gecontroleerd — de datum erop is de datum van onze laatste controle.
Embedcode
<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>Gewone HTML: een SVG vanaf ons domein, zonder JavaScript, zonder cookies en zonder tracking van je bezoekers. Voeg ?style=card toe voor de brede variant, of vervang .svg door .png als een CMS geen SVG accepteert. Of je de link op nofollow zet, bepaal je zelf — wij controleren dat niet.
Claim je het profiel met een zakelijk e-mailadres, dan krijg je de afbeelding als PNG, een formulier om fouten te corrigeren en een bericht zodra we je opnieuw controleren.
Dit profiel claimen →Klopt er iets niet op deze pagina? Mail naar hello@tech-from-europe.eu met een openbare link, dan controleren we het opnieuw.
Reviews
Terugkerende thema's, samengevat uit openbare reviews op verschillende platforms.
Wat gebruikers waarderen
- 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
Waar gebruikers ruimte voor verbetering zien
- · 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
Integraties
Veelgestelde vragen over Astrée
- Met welke tools kun je Astrée koppelen?
- Astrée is onder meer te koppelen aan Visual Studio Code, Eclipse (LSP4E), KEIL μVision / KEIL Studio, dSPACE TargetLink, New Eagle Raptor, Jenkins, GitLab CI/CD en CMake.
Gegevens over functies, prijzen en integraties zijn gebaseerd op webonderzoek (stand 16-09-2026), zonder garantie; fouten zijn mogelijk. De website van de aanbieder is leidend.