Qualifizierungsunterstützung für StackAnalyzer

Ihr Einsatz von StackAnalyzer kann nach ISO 26262, DO-178B/C, IEC-61508 und anderen Sicher­heits­standards quali­fiziert werden. Den Quali­fizierungs­prozeß können Sie wesentlich vereinfachen und zu großen Teilen automa­tisieren, indem Sie unsere Qualification-Support-Kits einsetzen.

Auswahl der QSKs
Ergebnisse der Toolqualifizierung

Die beiden wichtigsten Teile eines QSKs sind das Berichtpaket und das Testpaket, die genau aufeinander abgestimmt sind. Darüberhinaus enthält jedes QSK auch einen QSLCD-Bericht.

Das QSK-Berichtpaket

Dieses Paket enthält:

  1. den Operational-Requirements-Bericht, der alle funktionalen Anforderungen an StackAnalyzer aufführt, und
  2. den Verifikations­testplan, der für jede Anforderung mindestens einen Testfall beschreibt, der das korrekte Verhalten des Tools belegt.

Die Berichte werden im HTML-Format erzeugt, um Ihren Zerti­fi­zierungs­unterlagen ganz einfach beigefügt werden zu können.

Bei den Berichten handelt es sich um Vorlagen, die Sie nach Ihren persönlichen Anforderungen ergänzen können bzw. müssen. Zum Beispiel müssen Sie die Compiler-Switches angeben, die für die Erzeugung der zu analysierenden Executables benutzt wurden.

Das QSK-Testpaket

Hierin enthalten sind:

  1. alle Testfälle, die im Verifikationstestplan aufgeführt sind, sowie
  2. Skripte zur Ausführung und Auswertung dieser Tests.

Die Aus­wertung wird für Ihre Zertifi­zierungs­unterlagen ausgedruckt.

Qualification-Software-Life-Cycle-Data-Bericht

Zusätzlich im QSK enthalten ist der sogenannte QSLCD-Bericht, der unsere internen Entwicklungs­prozesse für StackAnalyzer dokumentiert, inklusive aller Verifikations- und Qualitäts­sicherungs­maßnahmen.

Einfache Bedienung

Jedes QSK wird als eine einzige ZIP-Datei geliefert, die nicht entpackt werden muß. Sie können eines oder mehrere QSKs direkt aus StackAnalyzer heraus starten, sowohl in der Benutzer­oberfläche als auch im Batch-Mode. Alle Tests laufen voll­automatisch ab. Der Qualifizierungs­bericht wird Ihnen dann angezeigt und/oder in einer von Ihnen angegebenen Datei gespeichert.

Kundenspezifische Testfälle

Sie können die QSKs jederzeit um Ihre eigenen Tests erweitern, z. B. um Ihre spezifische Ausführungsumgebung abzudecken.

Generische und compilerspezifische QSKs

Standardmäßig arbeiten QSKs mit ELF-Beispieldateien, die mit einem „generischen“ C-Compiler erzeugt wurden – beispielsweise mit einer weit­verbreiteten GCC-Version. In der Regel sind solche generischen QSKs für eine Zertifizierung ausreichend.

Je nach Art Ihrer Anwendung, Lastenheft oder Zertifizierungs­behörde können jedoch auch zusätzliche Tests nötig werden, an Dateien, die mit genau demselben Compiler erzeugt wurden, den Sie auch zum Kompilieren Ihrer Anwendung einsetzen. Dazu bieten wir eine Reihe compiler­spezifischer Zusatz-QSKs an.

Verfügbarkeit

Die folgenden QSKs sind sofort verfügbar:

Basis-QSK (generisch) Zusatz-QSKs (compilerspezifisch)
ARM TI 4.9.1
GCC 4.7.4
GCC 4.9.3
GCC 4.9.4
Keil 5.02.0.28
C16x Tasking VX 2.4r1
Tasking VX 3.1r2
dsPIC
M68020 GCC 4.2.1
PowerPC CodeWarrior 4.3
DiabData 4.4
Diab​Data 5.6.1.0
Diab​Data 5.8.0.0p4
Diab​Data 5.9.4.8
GCC 3.3.2
GCC 3.4.4
GCC 4.1.2
GCC 4.3.3
GCC 4.9.3
TriCore Tasking VX 6.3r1p2
V850 GHS 5.1.7d
x86 GCC 4.4.5
GCC 4.9.2
GCC 4.9.4

QSKs für andere Prozessoren und Compiler können auf Anfrage gebaut werden. Dies dauert in der Regel einige Wochen, je nach unserer akuten Auslastung und der Verfügbarkeit des gewünschten Compilers. Bei allen Fragen dazu wenden Sie sich bitte an support@absint.com.