Airbus Military zertifiziert Auslegersystem zur Luftbetankung mit GNATcheck

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:
PresseKontakt / Agentur:
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 490 mal aufgerufen.

AdaCore stärkt mit RecordFlux die Sicherheit binärer Kommunikationsprotokolle ...
28. März 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, veröffentlicht RecordFlux. Das neue Toolset ermöglicht die Implementierung hochsicherer binärer Kommunikationsprotokolle. RecordFlux (www.adacore.com/re

AdaCore tritt der Rust Foundation bei ...
8. Februar 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, gibt seinen Beitritt zur Rust Foundation als Silver Member bekannt. Die unabhängige und gemeinnützige Organisation fördert die Weiterentwicklung der Progr

AdaCore und Synopsys integrieren statische Analyse von Ada-Code in Coverity ...
Paris, 14. Dezember 2022 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Zusammenarbeit mit der Synopsys Software Integrity Group bekannt, einem führenden Entwickler von Tools für Anwendungssicherheitstests.

Weitere Mitteilungen von AdaCore

EADS CASA wählt AdaCore-Werkzeuge für die nEUROn-Drohne ...
Die GNAT Pro High-Integrity Edition, die aus AdaCores Entwicklungsumgebung und den dazugehörigen Supportdiensten besteht, hilft, Ada-basierende Systeme zu entwickeln, die den höchsten Ansprüchen der Sicherheitszertifikation genügen. EADS CASA hat sich für AdaCore und GNAT Pro entschieden, weil

Live-Optimierung bringt PCs zu Höchstleistungen ...
Darmstadt, 28. Februar 2011 - Ob Profi oder Anfänger, das nervt einfach jeden PC-Nutzer: Sind viele aufwendige Programme geöffnet oder im Hintergrund aktiv, kommt es zu Leistungsengpässen in Windows. Ob nun Spiele, E-Mail-Software oder ein Videoschnittprogramm – die gerade genutzte Anwendung ka

Array Networks stellt hochskalierbaren 60Gbps Application Delivery Controller (ADC) vor ...
Die Traffic-Management-Appliance APV9650 gewährleistet einen höheren Layer-4- und Layer-7-Durchsatz als bisherige ADC-Lösungen. Zudem erhöht die neu integrierte 2048-Bit-SSL-Verschlüsselung spürbar die Performance bei gleichzeitiger Erfüllung der Compliance-Anforderungen. Weitere integrierte

Fast Lane ist offizieller Sponsor der Virtualisierungs-Bootcamps von Cisco, NetApp und VMware ...
Hamburg/Berlin, 01. März 2011 – Der IT-Trainingsexperte Fast Lane (www.flane.de) ist Sponsor der neuen Virtualisierungs-Bootcamp-Reihe von Cisco, NetApp und VMware. Als Trainingspartner der drei Hersteller sponsert Fast Lane die Roadshow, die von Februar bis April in rund 40 Städten in ganz Euro