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 mit Zertifizierungsstandards wie MISRA-C 2004, 2012 und 2023, MISRA-C++ 2023,ICAO ADS-B und ASTERIX vertraut.
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 kommerzielle Tools anhand der folgenden Standards bewertet:
Jetzt erhältlich! | PC-lint Plus, CppCheck Premium, Understand
MISRA C 2004
MISRA C 2012
MISRA C 2023
MISRA C++ 2023
Tools zur Überwachung des Netzwerkverkehrs
Wir haben mehrere firmeneigene Tools nach den folgenden Normen qualifiziert:
Jetzt verfügbar! | Wireshark-LUA-Plugin
Überwachung von ADS-B-Meldungen. Wir unterstützen die ICAO-Downlink-Formate DF-0 bis DF-24.
Verfügbar! | Wireshark
Überwachung von ASTERIX-Meldungen. Wir unterstützen die ASTERIX-Meldungen der ICAO-Kategorien 001 bis 247.
Aktuelle Projekte
SnmpB-Tool, ein SNMP-MIB-Explorer mit grafischer Benutzeroberfläche.
