Slide 1

'Sound Static Analyzer' zum Nachweis der Abwesenheit von Laufzeitfehlern

START TRIAL
QA Systems > Tools > ASTRÉE

Nachweis der Abwesenheit von Laufzeitfehlern mit ‚Sound Static Analysis‘

Astrée ist ein ‚Sound Static Analyzer‘, der die Abwesenheit von Laufzeitfehlern und ‚Dataraces‘ nachweist.

Astrée überprüft auf Abwesenheit von Fehlern. Es meldet Fehler, die durch nicht spezifiziertes und undefiniertes Verhalten gemäß den C- und C++-Sprachstandards verursacht werden, sowie Fehler, die durch ungültiges gleichzeitiges Verhalten verursacht werden. Des Weiteren berechnet Astrée Programmeigenschaften, welche für die funktionale Sicherheit relevant sind.

Astrée Datenblatt (EN)
START TRIAL
Astrée DS image
Automatic generation

Keine ‚false-positives‘ & ‚false-negatives‘

Weniger ‚false-negative‘ Ergebnisse bedeuten mehr Sicherheit, dass die Analyse keine Probleme übersehen hat. Weniger ‚false-positive‘ Ergebnisse bedeuten weniger Aufwand für die Bewertung und das Verwerfen einer falsch gemeldeten Regelverletzung (Alarm).

Lower cost

‚Sound‘ Daten- und Kontrollflusskopplung

Astrée berechnet Daten- und Kontrollflussberichte, die eine detaillierte Auflistung der Zugriffe auf globale und statische Variablen enthalten. Diese Auflistung ist sortiert nach Funktionen oder Variablen, sowie den Aufruf-Beziehungen (caller/callee) zwischen den Funktionen

Lower risk

Gemeldete Fehlerklassen

Gleitkommaberechnungen werden von Astrée präzise und sicher behandelt. Es berücksichtigt alle möglichen Rundungsfehler.

WIE ASTRÉE IN IHREN VERIFIKATIONSPROZESS PASST

Die Tools von QA Systems für die statische Analyse und Softwaretest unterstützen die Verifikation im linearen Fluss der Softwareentwicklung. Wir empfehlen die Anwendung eines sequenziellen Ansatzes für die Verifikationsphasen mit den entsprechend ausgerichteten Tools.

 

Flow process Astrée
  • EINHALTEN      > Nutzen Sie QA-MISRA für die schnelle Einhaltung von Programmierstandards direkt bei der Entwicklung.
  • TESTEN            > Nutzen Sie Cantata für die automatisierte dynamsiche Ausführung der standardkonformen Software.
  • ANALYSIEREN > Nutzen Sie Astrée für den Nachweis der Abwesenheit von Laufzeitfehlern in der gesamten Anwendung.
    NB: Astrée verwendet dasselbe Konfigurationsformat wie QA-MISRA, somit ist der Aufwand für eine spätere Anwendung in einem QA-MISRA Projekt gering.
Für Astrée bieten wir ein Qualification-Support-Kit (QSK) an, das eine vollständige Testreihe zur Verifikation der Tool-Qualifikation auf der installierten Tool-Konfiguration automatisch ausführt, und die erforderlichen Berichte für die Tool-Qualifikation erstellt.
Astrée Qualification Support Kit Datenblatt (EN)
START TRIAL

Wieso ist QA Systems Ihr optimaler Partner?

  • Seit über 25 Jahren sind wir ein zuverlässiger Anbieter von Testwerkzeugen
  • Hunderte von Kunden – speziell aus dem sicherheits- und geschäftskritischen Bereich – vertrauen auf uns
  • Unsere Produkte werden ständig verbessert – auch im Dialog mit unseren Kunden
  • Wir sind DIE Spezialisten für zuverlässige automatisierte funktionale Sicherheit
  • Unsere Teams für den technischen Support kennen sich aus
  • Wir beraten umfassend und schulen gezielt für den Einsatz unserer Tools
US-Army
Ultra-Electronics
SAAB
Royal-Air-Force
Rolls-Royce
OSyS
Lockheed-Martin
L3Communications
GE-Aviation
Siemens
Simoco (1)
Sony
Astrium
ATE
BAE-SYSTEMS
EADS
ESA
Galileo-Avionica
Samsung
Marconi
IBM
AT_T
Thales
Siemens
Mermec
Lloyds-Register
Kaba-Gilgen
Indian-Railway
GE-Transportation
Digilab
Cubic-Transportation-Systems
China-Shipbuilding-Industry-Corporation
Bombardier
Alstom
Siemens
Schneider-Electrics
Riken-Keiki
Konica-Minolta
HITACHI
G4S
Delaval
Canon
ABB
Edfenergy
Roche
Continental
Kvaerner
TRW
HamiltonMedical
Volvo
William-Grand-Prix-Engineering
Fiat
BNFL
Aisin
Intecs-Group
Powergen