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.

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 durch. 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

QSKs werden in der Regel auf Anfrage entwickelt. Die Entwicklungszeit hängt von der Komplexität des Prozessors, der Verfügbarkeit der gewünschten Compiler­version und von unserer akuten Auslastung ab. Bei allen Fragen dazu wenden Sie sich bitte an support@absint.com.

Die folgenden QSKs wurden bereits entwickelt und sind jederzeit sofort verfügbar: