Select Language

Airbus Military Certifies to DO-178B level A Using GNATcheck

NEW YORK, PARIS and NUREMBURG, Germany, March 1, 2011 – Embedded World Conference - AdaCore, provider of tools and expertise for the mission-critical, safety-critical, and security-critical software communities, today announced that Airbus Military has successfully certified the Airbus Military Aerial Refueling Boom System (ARBS) on the A330 Multi Role Tanker Transport (MRTT). The certification was simplified by the use of the qualified GNATcheck tool to verify conformance to the software coding standard required by the ARBS project. Verification of conformance was undertaken as part of the DO-178B level A Software Verification Process.

The A330 MRTT is the new military derivative of the Airbus A330-200 airliner. It is designed as a dual-role, air-to-air refueling and transport aircraft. The ARBS is equipped with an all-electrical, full fly-by-wire flight control system. It is provided with an advanced automatic load alleviation system, and has autonomous disconnect for the receiver and the tanker. For additional assurance, it has been designed under the dual redundant architecture (fail operational, fail safe). For security considerations, secure communication is possible through the boom.

AdaCore has developed an agile infrastructure that supports the development, maintenance and modification of software tools and their associated qualification material so that they may be frozen for current certification projects and cost-effectively modified to apply to new certification efforts. The GNATcheck tool takes advantage of this infrastructure so that both the tool and its associated qualification material may be tailored to the needs of any specific certification context.

"Replacing a costly manual coding verification activity with an automated solution proved a sound choice," said Ismael Lafoz from Airbus. “Having an automated and qualified coding standard verifier greatly helped us complete the Software Verification Process and proceed to delivery in a well-controlled time frame."

AdaCore’s GNATcheck is an extensible rule-based tool with an easy-to-use interface. It allows developers to completely define a coding standard (referred to as a “Software Code Standard” in DO-178B) as a set of rules, for example, to define a subset of permitted language features. It verifies a program’s conformance with the defined rules and thereby facilitates demonstration of a system’s compliance with a DO-178B process. Developed by RTCA and EUROCAE, DO-178B defines the guidelines for development of aviation software in both the US and Europe and is being increasingly adopted by other related sectors, such as air traffic control and military applications.

"Creating accurate qualification material for a tool is always more easily done by the company developing and maintaining the tool, than by the company using the tool," said Cyrille Comar, Managing Director at AdaCore. "We are in an ideal position to optimize the effort necessary to create and maintain qualification material on our tools. This allows our customers to simplify their verification activities by using automated processes that can be trusted in a certification context."

About AdaCore

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro continue to see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services.

AdaCore has North American headquarters in New York and European headquarters in Paris.

Press Contacts
press@adacore.com

Airbus Military obtient la certification DO-178B niveau A de son système ARBS en utilisant l'outil de vérification de code GNATcheck.

NEW YORK, PARIS et NUREMBERG - 1er mars 2011 - Embedded World Conference - AdaCore, fournisseur d’outils et d’expertise pour le développement de logiciels critiques (« mission-critical, safety-critical, security-critical »), annonce qu'Airbus Military vient d'obtenir avec succès la certification du système ARBS (Aerial Refueling Boom System) de l'avion ravitailleur A330 MRTT. La certification a été simplifiée grâce à l'utilisation de l'outil qualifié GNATcheck qui a vérifié la conformité du logiciel avec le standard de codage établi pour le projet ARBS. Cette vérification a été entreprise dans le cadre du processus de vérification logicielle du standard DO-178B, niveau A.

L'A330 MRTT est la version militaire de l'Airbus A330-200. Il a été conçu pour être un avion de transport et de ravitaillement en vol. Le système ARBS est équipé d'un système de contrôle de commandes de vol électriques. Il est doté d'un système d'allégement des charges sur la voilure automatique et peut gérer de manière autonome la déconnexion entre le ravitailleur et l’avion ravitaillé. Pour encore plus de sureté, une architecture à double redondance (fail operational, fail safe) a été utilisée. Pour plus de sécurité, il est possible de passer les communications entre le ravitailleur et l’avion ravitaillé par la perche.

AdaCore a développé une infrastructure agile qui prend en charge le développement, la maintenance et la modification des outils logiciels et leur matériel de qualification associé. Cela permet de figer plus simplement outils et matériel de qualification pour les projets en cours de certification et de modifier ces mêmes outils et documents de qualification à moindre coût pour les utiliser pour de nouvelles certifications. L'outil GNATcheck tire parti de cette infrastructure pour qu'outil et matériel de qualification puissent être adaptés au contexte de certification.

"Remplacer une coûteuse vérification manuelle du code par une solution automatisée s'est révélée être un bon choix", déclare Isamel Lafoz de chez Airbus. "Le fait d'avoir un vérificateur de code automatisé et qualifié nous a grandement aidés à finaliser notre processus de validation logicielle et d'assurer une livraison dans des délais bien maîtrisés".

GNATcheck d'AdaCore est un outil basé sur des règles doté d'une interface conviviale. Il permet aux développeurs de définir entièrement un standard de codage (en référence au "Software Code Standard" du DO-178B) en tant qu'ensemble de règles, par exemple, pour définir dans le langage un sous-ensemble de fonctionnalités autorisées. Il vérifie la conformité d'un programme avec des règles définies et de ce fait facilite la démonstration de la conformité du système avec le standard DO-178B. Développée par RTCA et EUROCAE, la norme DO-178B définit les lignes directrices du développement d'un logiciel avionique aux USA et en Europe.

"La création de matériel de qualification fiable pour un outil est toujours plus facile pour la société qui développe et maintient l'outil plutôt que pour la société qui l'utilise", déclare Cyrille Comar, Directeur d'AdaCore. "Nous sommes dans une position idéale pour optimiser les efforts nécessaires afin de créer et maintenir le matériel de qualification pour nos outils. Nos clients peuvent ainsi simplifier leurs activité de vérification en utilisant des procédés automatisés sur lesquels peuvent s’appuyer dans un contexte de certification".

À propos d'AdaCore

AdaCore, fondé en 1994, est le premier fournisseur de solutions logicielles commerciales pour Ada, un langage de programmation de pointe conçu pour des applications de grande taille et à grande durée de vie. Les technologies fournies par AdaCore sont particulièrement adaptées aux applications pour lesquelles la sûreté, la sécurité et la fiabilité sont des éléments critiques. Le produit phare d'AdaCore est l'environnement de développement GNAT Pro est disponible sur le plus vaste ensemble de plateformes de toutes les technologies Ada. Il est fournit avec un support en ligne dispensé par des experts parmi les plus reconnus dans le domaine. AdaCore dispose d’une large base de clients située dans le monde entier ; voir http://www.adacore.com/customers/ pour de plus amples informations.

L'utilisation d'Ada et de GNAT Pro connaît une croissance continue dans les applications de haute intégrité ou certifiées pour la sûreté, comme les éléments d'avionique pour les appareils commerciaux, les systèmes militaires, le contrôle aérien, les systèmes ferroviaires, les appareils médicaux, et dans des domaines sensibles pour la sécurité comme les services financiers.

Le siège social d’AdaCore est situé à Paris pour la zone Europe, et à New York pour la zone Amérique du Nord.

Contacts Presse
press@adacore.com

Airbus Military zertifiziert ein Auslegersystem zur Luftbetankung auf DO-178B Level A, mit GNATcheck zur Verifikation von Coding Standards

NEW YORK, PARIS and NURNBERG, Deutschland, 1. März 2011, Embedded World Conference – - AdaCore, Anbieter von Werkzeugen und Experten für missionskritische und sicherheitskritische Software, hat heute bekanntgegeben, dass Airbus Military erfolgreich das Airbus Military Auslegersystem zur Luftbetankung (Aerial Refuelling Boom System - ARBS) für das A330 Tankflugzeug (A330 Multi Role Tanker Transport - MRTT) zertifiziert hat. Der Zertifikationsprozess wurde durch die Benutzung des qualifizierten Werkzeugs GNATcheck, das die Konformität mit Coding Standards des ARBS Projekts überprüfen konnte. Diese Konformitätsüberprüfung war Teil des Verifikationsprozesses im Rahmen von DO-178B, Level A.

Das A330 MRTT ist die neue militärische Abwandlung des zivilen Airbus A330-200 Flugzeugs. Es ist sowohl für das Betanken in der Luft als Auch als Transportmissionen ausgelegt. Das ARBS ist mit einem vollelektrischen, fly-by-wire Flugkontrollsystem ausgestattet. Es besitzt ein fortgeschrittenes automatisches Lastausgleichssystem und 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 Werkzeug 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", sagte 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 zu liefern."

AdaCore's 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.

"Präzises Qualifikationsmaterial zu erstellen ist immer einfacher für das Unternehmen, das das zu qualifizierende Werkzeug herstellt und wartet, als für das Unternehmen, das es benutzt" sagte Cyrille Comar, Managing Director von AdaCore. "Wir sind in der idealen Position, um den Aufwand, der nötig ist, um das Qualifikationsmaterial für unsere Werkzeuge zu erstellen und zu warten, zu optimisieren und damit unseren Kunden die Vereinfachung ihrer Verifikationsprozesse zu ermöglichen, durch automatisierte Vorgänge, denen in einem Zertifikationskontext vertraut werden kann."

Über AdaCore

AdaCore, 1994 gegründet, ist der führende Anbieter von kommerziellen Softwarelösungen für Ada, eine Programmiersprache auf dem aktuellen Stand der Technik, die für große, langlebige Anwendungen vorgesehen ist, für die Sicherheit und Zuverlässigkeit kritisch sind. AdaCore's Flaggschiff ist die GNAT Pro Entwicklungsumgebung, die mit Online Support von Experten einher kommt, und auf mehr Architekturen als jede andere Ada Technologie verfügbar ist. AdaCore hat eine umfassende weltweite Kundenbasis, siehe auch http://www.adacore.com/customers/ für weitere Informationen.

Die Verbreitung von Ada und GNAT Pro nimmt nach wie vor zu, insbesondere in High-Integrity und sicherheitszertifizierten Anwendungen, so zum Beispiel in der kommerziellen Luftfahrt, militärischen Systemen, der Flugverkehrskontrolle und dem Flugverkehrsmanagement, Eisenbahnsystemen, medizinischen Produkten und in sicherheitssensiblen Gebieten wie dem Finanzsektor.

Der nordamerikanische Sitz von AdaCore ist in New York und der europäische Sitz ist in Paris.

Pressekontakt:
press@adacore.com