PresseKat - Airbus Military zertifiziert Auslegersystem zur Luftbetankung mit GNATcheck

Airbus Military zertifiziert Auslegersystem zur Luftbetankung mit GNATcheck

ID: 358209

AdaCore auf der Embedded World 2011: Halle 11, Stand F224

Paris, 1. März 2011 - AdaCore, Anbieter von Werkzeugen und Experten für sicherheitskritische Software, hat bekannt gegeben, dass Airbus Military sein Auslegersystem für das A330-Tankflugzeug erfolgreich zertifiziert hat. Der Zertifizierungsprozess erfolgte mit Hilfe des Werkzeugs GNATcheck (1), das die Konformität mit Coding-Standards des ARBS-Projekts überprüft hat. Diese Konformitätsüberprüfung war Teil des Verifikationsprozesses im Rahmen von DO-178B, Level A.

(firmenpresse) - Der A330 MRTT (A330 Multi Role Tanker Transport) ist die neue militärische Version des zivilen Flugzeugs Airbus A330-200. Es ist sowohl für das Betanken in der Luft als auch für Transportmissionen ausgelegt. Das Auslegersystem zur Luftbetankung (Aerial Refuelling Boom System - ARBS) ist mit einem vollelektrischen, Fly-by-wire-Flugkontrollsystem ausgestattet. Es besitzt ein fortgeschrittenes automatisches Lastausgleichssystem; sowohl der Empfänger als auch der Betanker können autonom die Verbindung abbrechen. Für zusätzliche Sicherheit wurde eine redundante Architektur vorgesehen (fail operational, fail safe). Aus Sicherheitsgründen ist auch eine sichere Kommunikation durch den Ausleger vorgesehen.

AdaCore hat eine agile Infrastruktur entwickelt, die die Entwicklung, die Wartung und die Modifizierung von Softwarewerkzeugen und der zugehörigen Qualifikationsmaterialien unterstützt, so dass das Einfrieren für einen laufenden Zertifikationsprozess, aber auch eine kosteneffiziente Modifikation möglich sind. Das GNATcheck-Tool profitiert von dieser Infrastruktur, so dass die Werkzeuge und die dazugehörigen Qualifikationsmaterialien an den spezifischen Kontext der Zertifikation angepasst werden können.

"Einen teuren manuellen Coding-Standard-Verifikationsprozess durch eine automatische Lösung zu ersetzen, stellte sich als gute Entscheidung heraus", sagt Ismael Lafoz von Airbus. "Die automatische und qualifizierte Verifikation von Coding-Standards hat uns sehr geholfen, den Software-Verifikationsprozess abzuschließen und das Produkt rechtzeitig auszuliefern."

AdaCores GNATcheck ist ein erweiterbares, auf Regeln basierendes Werkzeug mit einer leicht verständlichen Oberfläche. Es erlaubt Entwicklern, einen Coding-Standard ("Software Code Standard" in DO-178B) als einen Regelsatz vollständig zu definieren. Es überprüft die Konformität eines Programmes mit diesen Regeln und erleichtert dadurch den Beweis, dass ein System DO-178B-konform ist. Der DO-178B-Standard wurde von RTCA und EUROCAE entwickelt und er definiert Richtlinien für die Entwicklung von Software für die Luftfahrt sowohl in den USA als auch in Europa, und er wird immer mehr von anderen verwandten Bereichen übernommen, so wie die Flugverkehrskontrolle oder militärische Anwendungen.





"Die Erstellung von präzisem Qualifikationsmaterial ist immer einfacher für das Unternehmen, das das Werkzeug herstellt und wartet, als für das Unternehmen, das es benutzt", erklärt Cyrille Comar, Managing Director von AdaCore. "Wir sind in der idealen Position, um den Aufwand für die Erstellung und Wartung des Qualifikationsmaterials für unsere Werkzeuge zu optimieren. Damit ermöglichen wir unseren Kunden die Vereinfachung ihrer Verifikationsprozesse – durch automatisierte Vorgänge, denen in einem Zertifikationskontext vertraut werden kann."


(1) http://www.adacore.com/home/products/gnatpro/toolsuite/gnatcheck


Diese Presseinformation kann unter www.pr-com.de abgerufen werden.




Weitere Infos zu dieser Pressemeldung:
Unternehmensinformation / Kurzprofil:

AdaCore wurde 1994 gegründet und ist der führende Anbieter von kommerziellen Softwarelösungen für Ada, einer modernen Programmiersprache für Mission-Critical-Anwendungen in sicherheitskritischen Umgebungen. Das wichtigste Produkt des Unternehmens ist die Entwicklungsumgebung GNAT Pro, die Online-Support bietet und auf mehr Plattformen als jede andere Ada-Technologie verfügbar ist. Unternehmen aus aller Welt aus sicherheitssensiblen Bereichen wie der Luftfahrt, militärischen Systemen, der Flugverkehrskontrolle, dem Flugverkehrsmanagement, dem Eisenbahnbereich, der medizinischen Produkte oder dem Finanzsektor setzen AdaCore-Lösungen für sicherheitskritische Anwendungen ein. Hauptsitz des Unternehmens ist New York, das europäische Headquarter ist in Paris. Weitere Informationen: www.adacore.com



PresseKontakt / Agentur:

AdaCore
Jamie Ayre
press(at)AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany

PR-COM GmbH
Sandra Hofer
Sandra.hofer(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-800



drucken  als PDF  an Freund senden  Unterwegs kinderleicht online gehen mit Dell NetReady Killer Wireless-N-Adapter von Bigfoot Networks liefern höchste Wi-Fi-Performance für Notebooks
Bereitgestellt von Benutzer: PR-COM
Datum: 01.03.2011 - 14:20 Uhr
Sprache: Deutsch
News-ID 358209
Anzahl Zeichen: 3653

Kontakt-Informationen:
Ansprechpartner: Sandra Hofer
Stadt:

Paris


Telefon: +49-89-59997-800

Kategorie:

Computer & Technik


Meldungsart: Unternehmensinformation
Versandart: Veröffentlichung
Freigabedatum: 01.03.2011

Diese Pressemitteilung wurde bisher 0 mal aufgerufen.


Die Pressemitteilung mit dem Titel:
"Airbus Military zertifiziert Auslegersystem zur Luftbetankung mit GNATcheck"
steht unter der journalistisch-redaktionellen Verantwortung von

AdaCore (Nachricht senden)

Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).

AdaCore startet Programmierwettbewerb "Make with Ada" ...

Paris, 15. Mai 2017 – Bis zu 5.000 Euro können Entwickler mit eingebetteter Software im Programmierwettbewerb "Make with Ada" gewinnen. Mit dem zum zweiten Mal durchgeführten Wettbewerb demonstriert AdaCore die Leistungsfähigkeit und Z ...

Alle Meldungen von AdaCore