Werkzeugqualifizierungssuite gemäß DO-330, ISO-26262
Anwendbar auf
DO-178B, DO-178C / ED-12B, ED-12C / DO-278A / ED-109A
Was ist die Qualifikation von Software-Verifikationswerkzeugen?
Wir bieten die Möglichkeit, unsere eigenen oder kommerzielle Verifikationswerkzeuge zu qualifizieren. Wir unterziehen das Tool einer Vielzahl von Testfällen und erstellen einen detaillierten Bericht mit den Ergebnissen und deren Analyse. Zusätzlich zu den Testfällen bieten wir die Möglichkeit, Testfälle nach den Bedürfnissen des Kunden hinzuzufügen, anzupassen oder zu entfernen. Zusammen mit der Testsuite wird eine Qualifizierungsdokumentation geliefert.
Wir stehen in engem Kontakt mit unseren Kunden und begleiten sie durch den Qualifizierungsprozess. Von besonderer Bedeutung ist unsere Unterstützung bei der Durchführung von Testfällen.
Was wir anbieten
Erstellung von maßgeschneiderten Testfällen
Wir untersuchen die Funktionalität des Tools, an dem der Kunde interessiert ist, und entwerfen die entsprechenden Testfälle.
Wir bieten ein flexibles Tool an, in das neue , kundenspezifische Testfälle einfach integriert werden können.
Wir liefern Qualifikationsunterlagen
Sie umfasst zwei Hauptdokumente:
- Tool Operational Requirements (TOR), die die Anforderungen beschreiben, die das Tool erfüllen muss.
- Tool Operational Verification & Validation Cases and Procedures (TOVVCP), das eine detaillierte Beschreibung der Testfälle enthält
Zertifizierung nach verschiedenen Standards und Programmiersprachen
Wir sind vertraut mit Zertifizierungsstandards wie MISRA-C 2004, 2012 und 2023, MISRA-C++ 2023 oder ICAO ADS-B.
Wir haben mit Tools gearbeitet, die auf C, C++ und LUA basieren.
Unterstützung und Beratung
Wir bieten Unterstützung bei der Implementierung und Nutzung unseres Tools. Darüber hinaus beraten wir Sie bei der korrekten Entwicklung des Tools, um dessen Übereinstimmung mit der Norm zu gewährleisten .
Wartung während der Entwicklung
Wir begleiten unsere Kunden bei der Entwicklung ihres eigenen Tools, indem wir aufeinanderfolgende Versionen der Qualifizierungssuite bereitstellen, um jederzeit auf ihre Bedürfnisse eingehen zu können.
Wie wir das machen
Liefergegenstände
Werkzeug-Qualifizierungsplan (TQP)
Qualifizierungsplan für Werkzeuge
Operative Anforderungen für das Werkzeug (TOR)
Spezifikation der betrieblichen Anforderungen
Fälle und Verfahren für die operative Verifizierung und Validierung von Werkzeugen (TOVVCP)
- Spezifikation von Testfällen
- Konfigurationsdateien, die die Testfälle enthalten: ermöglichen das Hinzufügen neuer Testfälle.
Die Qualifikationssuite
Python-Skript-basiertes Tool, das die Testfälle ausführt und verschiedene detaillierte Berichte über die Ergebnisse erstellt.
- Python-Code
- Konfigurationsdateien
Index der Werkzeugkonfiguration
Identifizierung und Konfiguration von Werkzeugen
Zusammenfassung der Tool-Ergebnisse
Unterschiede zwischen dem Qualifizierungsplan und der durchgeführten Qualifizierung
Kommerzielle Werkzeuge zur statischen Quellcodeanalyse
Wir haben verschiedene Business-Tools nach den folgenden Standards qualifiziert:
Verfügbar!
MISRA C 2004 MISRA C 2012 MISRA C 2023
In Entwicklung...
Geplant für Juni 2025...
MISRA C++ 2023
Eigene Tools
Wir haben mehrere firmeneigene Tools nach den folgenden Normen qualifiziert:
Verfügbar!
Zur Überwachung von ADS-B-Meldungen. Wir unterstützen ICAO-Downlink-Meldungen im Format DF-0 bis DF-24 (Anhang 10, Band 4).
In Entwicklung...
Überwachung von ADS-B Asterix-Meldungen. Unterstützung der folgenden Kategorien:
- CAT 001 (Version 1.4)
- CAT 002 (Version 1.1)
- CAT 004 (Version 1.13)
- CAT 008 (Version 1.3)
- CAT 010 (Version 1.1, 4)
- CAT 017 (Version 1.3)
- CAT 018 (Version 1.8)
- CAT 021 (Version 0.23, 1.8, 2.2, 2.3, 2.4, 2.6)
- CAT 022 (Version 0.10)
- CAT 023 (Version 1.2, 1.3)
- CAT 025 (Version 1.5)
- CAT 034 (Version 1.29)
- CAT 048 (Version 1.31)
- CAT 063 (Version 1.6)
- CAT 065 (Version 1.6)
- CAT 240 (Version 1.3)
- CAT 247 (Version 1.3)
