Dépêches
Airbus Military Certifies Boom System to DO-178B level A Using GNATcheck for Coding Standard Verification
Dépèche transmise le 1 mars 2011 par Business Wire
Airbus Military Certifies Boom System to DO-178B level A Using GNATcheck for Coding Standard Verification
NEW YORK & PARIS & NUREMBURG, Germany--(BUSINESS WIRE)--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.
“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”
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 though 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.
- 17:03 Norse Atlantic Airways s'envole vers Las Vegas
- 16:53 easyJet a réceptionné son 400e Airbus
- 16:44 Icelandair : résultats mars 2024
- 16:31 Air France dévoile une nouvelle campagne publicitaire
- 16:03 Volotea inaugure sa liaison entre Vérone et Bordeaux
- 15:53 Ryanair célèbre ses 25 ans à l'aéroport de Biarritz
- 24/04Ibis Styles London Heathrow : l'hôtel géré par un passionné d'aviation pour les passionnés d'aviation (photos + vidéos)
- 23/04 SkyUp renouvelle son partenariat avec Wizz Air
- 23/04 Play : résultats de mars 2024
- 23/04 Les garde-côtes japonais commande trois Airbus H225 supplémentaires
- 23/04 Vueling et Make-A-Wish France signent un partenariat
- 23/04 TUI annonce ses destinations au départ de Deauville pour l'été 2024.
- 23/04 Twin Jet renforce son programme de vols sur la ligne Toulouse/Rennes
- 23/04 Norse Atlantic Airways : résultats du mois de mars 2024
- 23/04 Volotea renforce son offre entre Lille et le Maroc
- 22/04 Finnair a dévoilé son programme de vol pour les saisons hiver 2024 et été 2025
- 22/04 Qatar Airways annonce le lancement de vols à destination de Kinshasa
- 22/04 Vietnam Airlines et CAE prolongent leur accord
- 22/04 Mermoz Academy de Tours commande des Tecnam P-Mentor
- 22/04 Transavia France reçoit son 2e Airbus A320neo