Prüfstand für Avionik
Die Verifizierung von Avioniksoftware ist einer der anspruchsvollsten und zeitaufwändigsten Prozesse, insbesondere für Systeme wie Flugdisplays, Navigation und Triebwerksüberwachung, die für die Sicherheit des Fluges äußerst kritisch sind und unter die Klassifizierung Design Assurance Level (DAL) - A fallen. Die Verifizierung solcher Systeme umfasst zahlreiche Analysen und regressive Testzyklen, die, wenn sie nicht automatisiert sind, die Gesamtkosten des Projekts in die Höhe treiben.
eInfochips hat ein integriertes Test-Framework für Avioniksysteme entwickelt, um den Verifizierungsprozess zu beschleunigen. eInfochips Testbed For Avionics (eITFA) automatisiert die zeitaufwändigsten Verifizierungsaktivitäten, wie z. B. die strukturelle Abdeckungsanalyse (SCA), häufige Datenladevorgänge, die Entwicklung von Verifizierungstestverfahren für Plattformsoftware und C/C++-basierte Anwendungen sowie die automatisierte Ausführung von Testverfahren auf mehreren LRUs.
Merkmale und Eigenschaften
- ARINC-615-Datenlader
- ARINC-665 Mediaset Creator
- Proprietäres DO-330-zertifizierbares Structural Coverage Tool für SCA
- Unterstützung der Anweisungs- und Verzweigungsabdeckung kompatibel mit DO 178C DAL-C Abdeckungsanalyse
- Gleichzeitiger Upload und Download von mehreren LRUs
- Dynamische Ausführung von Testverfahren
- Einfache Konfiguration und Verbindung
- Automatisierte periodische Testdurchführung
- Automatisierte Erstellung von Strukturabdeckungsberichten
- SCA, Dataload, kontinuierliche Integration und Test Framework in einem Tool integriert
- Intuitive, anpassbare und skalierbare grafische Oberfläche
Rahmen für die Software-Überprüfung
- Verifizierung der Softwarekomponenten der Plattform und Erweiterung der Unterstützung für die Verifizierung von C/C++-basierten Anwendungen und Bibliotheken
- Reduziert die Zeit für die Entwicklung und das Debugging von Testverfahren
- 75% plattformunabhängige Framework-Komponenten für unterschiedliche Hardware (PPC/Intel/NXP) oder Software-Plattformen (VxWorks, Linux, Lynx OS)
- Einfache Test Harness API-Schnittstellen
- Testverfahren Übertragbarkeit von einer Plattform auf eine andere Plattform mit NULL Änderung. *unter der Voraussetzung, dass die Anforderungen für beide Plattformen gleich sind
- SCA-Schnittstelle eingebettet
- CLI/GUI/CI-Schnittstellen
Merkmale und Attribute
- ARINC-615-Datenlader
- ARINC-665 Mediaset Creator
- Proprietäres DO-330-zertifizierbares Structural Coverage Tool für SCA
- Unterstützung der Anweisungs- und Verzweigungsabdeckung kompatibel mit DO 178C DAL-C Abdeckungsanalyse
- Gleichzeitiger Upload und Download von mehreren LRUs
- Dynamische Ausführung von Testverfahren
- Einfache Konfiguration und Verbindung
- Automatisierte periodische Testdurchführung
- Automatisierte Erstellung von Strukturabdeckungsberichten
- SCA, Dataload, kontinuierliche Integration und Test Framework in einem Tool integriert
- Intuitive, anpassbare und skalierbare grafische Oberfläche
- Rahmen für die Software-Überprüfung
- Verifizierung der Softwarekomponenten der Plattform und Erweiterung der Unterstützung für die Verifizierung von C/C++-basierten Anwendungen und Bibliotheken
- Reduziert die Zeit für die Entwicklung und das Debugging von Testverfahren
- 75% plattformunabhängige Framework-Komponenten für unterschiedliche Hardware (PPC/Intel/NXP) oder Software-Plattformen (VxWorks, Linux, Lynx OS)
- Einfache Test Harness API-Schnittstellen
- Testverfahren Übertragbarkeit von einer Plattform auf eine andere Plattform mit NULL Änderung. *unter der Voraussetzung, dass die Anforderungen für beide Plattformen gleich sind
- SCA-Schnittstelle eingebettet
- CLI/GUI/CI-Schnittstellen
