Qualifizierungsunterstützung für aiT

Ihr Einsatz von aiT kann nach ISO 26262, DO-178B/C, IEC-61508 und anderen Sicherheitsstandards qualifiziert werden. Den Quali­fizierungs­prozeß können Sie wesentlich vereinfachen und zu großen Teilen automatisieren, indem Sie unsere Qualification-Support-Kits (QSKs) einsetzen.

Jedes QSK besteht aus den folgenden Teilen:

• Lastenheft der Funktionsanforderungen
• Testfälle und -prozeduren
• Nachverfolgbarkeitsmatrix
• Testpaket
• QSLCD-Bericht

Lastenheft der Funktionsanforderungen (TOR)

Dieser Teil beschreibt die Anforderungen an die Toolfunktionalität im normalen Nutzungskontext. Dieser Kontext wird genau definiert und eventuelle Nutzungseinschränkungen wie z. B. nichtunterstützte Hardwareeinstellungen werden festgelegt. Bei Bedarf können Sie diese Definition auch ganz leicht nach Ihren persönlichen Anforderungen ergänzen – zum Beispiel um die Angabe der Compiler-Switches, die Sie für die Erzeugung der zu analysierenden Executables benutzen.

Testfälle und -prozeduren (TOVVCP)

Dieser Teil beschreibt die Testfälle und Vorgehensweisen, anhand derer die Einhaltung sämtlicher Funktionsanforderungen nachgewiesen werden kann. Jeder Testfall enthält die dazugehörige Testanordnung, den Testaufbau und das zu erwartende Ergebnis.

Nachverfolgbarkeitsmatrix

Alle Funktionsanforderungen und Testfälle erhalten eindeutige Identifikationsnummern, anhand derer sie in der Nachverfolgbarkeitsmatrix einander zugeordnet werden.

Testpaket

Dieser Teil enthält mindestens eine Implementierung eines jeden Testfalls, inklusive Skripte zur Ausführung und Auswertung.

Jeder Test besteht aus einem oder mehreren Toolaufrufen, deren Ausgabe der eigentlichen Toolverifizierung dient. Laufen alle Tests erfolgreich durch, so ist die Einhaltung aller Funktionsanforderungen erwiesen.

Die Aus­wertung kann ausgedruckt und Ihren Zertifi­zierungs­unterlagen zugefügt werden.

QSLCD-Bericht

Zusätzlich im QSK enthalten ist der sogenannte QSLCD-Bericht, der unsere internen Entwicklungsprozesse für aiT dokumentiert, inklusive aller Verifikations- und Qualitäts­sicherungs­maßnahmen. Im einzelnen umfaßt dies die folgenden Dokumente:

• Software Development Plan
• Software Configuration Management Plan
• Software Quality Assurance Plan
• Software Quality Assurance Records
• Software Verification Plan
• Software Verification Results
• Compliance Certificate

Kundenspezifische Testfälle

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

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 aiT heraus starten, sowohl in der Benutzeroberfläche als auch im Batch-Mode. Alle Tests laufen vollautomatisch ab. Der Qualifizierungsbericht wird Ihnen dann angezeigt und/oder in einer von Ihnen angegebenen Datei gespeichert.

Generische und compilerspezifische QSKs

Standardmäßig arbeiten QSKs mit ELF-Beispieldateien, die mit einem „generischen“ C-Compiler erzeugt wurden – beispielsweise mit einer 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 an Dateien nötig werden, 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 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: