LDRA ist bestrebt alle Luftfahrtplattformen bei der Zertifizierung zu unterstützen

Die Validierung des Objektcodes für AVR Studio erlaubt die Zertifizierung von Atmel AVR ATmega128 basierten Zielrechneranwendungen.

Wirral Vereinigtes Königreich, den 30. Mai 2012.  LDRA, der Marktführer im Nachweis von Standards durch Werkzeuge für die automatisierte Softwareverifizierung, Quellcodeanalyse und weiterer Testwerkzeuge hat die Schnittstelle zwischen der LDRA Werkzeugreihe und Atmels AVR Studio automatisiert. Diese Schnittstelle sichert die Zertifizierbarkeit von Luftfahrtanwendungen, die auf der Basis von Atmels AVR ATmega128 entwickelt wurden bis auf die Ebene A von DO-178C. Die Automatisierung dieser Schnittstelle stellt einen effizienten Weg für Entwickler zur Verfügung leichter Elemente der DO-178C Qualifizierung nachzuweisen, die anderweitig einen arbeitsintensiven und aufwendigen Prozess benötigen.

Um den Nachweis für den FAA Standard DO-178C Ebene A zu führen, müssen Zertifizierungsaspiranten nachweisen, dass ihr System und ihre Anwendung nicht nur wie erwartet auf Quellcodeebene arbeitet, sondern auch auf Objektcodeebene. Auftretende Fehler in Anwendungen der Medizintechnik und der Automobilindustrie führen in dieselbe Richtung und werden immer mehr bei der IEC 62304 und ISO 26262 Zertifizierung gefordert. Systeme, die einem solchen strengen Nachweis erfordern, werden von der LDRA Werkzeugreihe dadurch unterstützt, dass sie eine Verfolgung von Anforderungen bis zum darunterliegenden Assemblercode gestattet, so dass nachgewiesen kann, dass keine Fehler induziert werden, wenn die Hochsprachenprogrammanweisungen in den Objektcode überführt werden.

 „Der Ruf von LDRA in der Expertise vom Nachweis von Standards und dazu geeigneter Werkzeuge hat sich in nahezu 40 Jahren aufgebaut, dadurch dass Kunden erfolgreich geholfen wurde  sicherheitskritische Anwendungen zu generieren, die auch die rigorosesten Standards und Zertifizierungen erfüllen“, bemerkte Ian Hennell, LDRA Operations Director. „Seit Gründung der Firma ist LDRA bestrebt Werkzeuge zur Verbesserung und Automatisierung der Entwicklung zuverlässiger Software zu entwickeln. LDRA unterstützt jede Kundenumgebung, bietet den größten Bereich unterstützter Architekturen, Entwicklungswerkzeugen und Echtzeitbetriebssystemen an, die bei der Entwicklung von Anwendungen involviert sind, die kritisch für die Sicherheit und den korrekten Ablauf sind,“ 

Mit dieser Schnittstelle ist es möglich die Testumgebung der LDRA Werkzeugreihe mit den Atmels AVR Studio 4.18 Kommandozeilenfunktionen, dem AVRISP mkII Gerät und einem platineneigenen seriellen Port, zu verwenden und den Austausch von Ausführungshistorien- und Testdaten durchzuführen. Die Verknüpfung der LDRA Werkzeugreihen für Assembler und C mit dem AVR-GCC Compiler  vereinfacht die Schnittstelle für die Entwickler und erlaubt ihnen eine effiziente Verifizierung des vom AVR-GCC Compiler erzeugten Objektcodes. Diese Verifizierung besteht darin zu zeigen, dass der erzeugte Objektcode exakt und vollständig die operationalen Anforderungen, wie sie in der Quellcodesprache C niedergelegt sind, darstellt. Entwickler können die Anwendung vollständig auf dem Zielsystem verifizieren und so die Funktionalität automatisieren, wie sie vom stringenten DO-178C Ebene A Standard  Verlangt wird.

Hennell fügt hinzu, „Dieser Port ist ein weiteres Beispiel dafür wie LDRA jede Kundenumgebung unterstützt und für Firmen, die Unterstützung bei der Zertifizierung suchen, bieten wir umfassende Zertifizierungsdienstleistungen zu einem festen Preis an. Beim gegenwärtigen globalen wirtschaftlichen Klima glauben wir, dass Kunden vollständig darauf vertrauen können, dass ihre Zertifizierungsanstrengungen exakt, vollständig und dem zu erreichenden Standard völlig konform zu einem vorher ausgehandelten Preis sind. LDRA kann dies bewerkstelligen.“

LDRA ist bestrebt Kunden dabei zu helfen Produkte so zu entwickeln, dass rasch zertifizierbar sind unabhängig davon welche Architektur, welches Echtzeitbetriebssystem oder welche integrierte Entwicklungsumgebung verwendet wird. Sowohl die LDRA Werkzeugreihe als auch die Abteilung von LDRA für zertifizierbare Dienstleistungen (LCS) können Expertise für die DO-178/DO-278, DO-254, DO-297, IEC 61508, IEC 62304, ISO 26262, IEEE 1012:2004 und EN 50128 zur Verfügung stellen.  

# # # 

Über LDRA

LDRA ist seit über 35 Jahren Spezialist für Software zur automatischen Codeanalyse und zum Softwaretest für sicherheits-, anwendungs- und geschäftskritische Anwendungen und wirkt aktiv am Marktgeschehen mit. In Zusammenarbeit mit Kunden werden Lösungen entwickelt, mit denen sich Softwarefehler frühzeitig identifizieren und die Einhaltung der zugrunde liegenden Industriestandards nachweisen lassen. Die LDRA-Tools ermöglichen das Tracen von Anforderungen, von der statischen und dynamischen Analyse bis hin zum Unit-Test und der Verifizierung- auf den verschiedensten Software- und Hardware-Plattformen. LDRA mit Hauptfirmensitz in England ist mit Tochtergesellschaften in den USA und Indien sowie einem breitflächigen Distributoren-Netzwerk weltweit vertreten.

Bitte senden Sie Leseranfragen an:

Mark James

Email: Diese E-Mail-Adresse ist gegen Spambots geschützt! JavaScript muss aktiviert werden, damit sie angezeigt werden kann.