AMSTERDAM, NEW YORK and PARIS, March 24, 2010 – Avionics Europe 2010 – AdaCore today announced that global display company Barco has developed an advanced business jet avionics display system using the AdaCore GNAT Pro Ada development environment. Barco selected the GNAT Pro High Integrity Edition, along with the Traceability Kit, running on Wind River’s VxWorks 653 RTOS in order to meet the highest levels of safety standard DO-178B.
The display unit runs up to seven flight- and mission-critical applications, including pfd, mfd, maps, video, maintenance and charts. It is based on Barco’s open, modular MOSArt infrastructure with each application meeting different criticality levels within the DO-178B standard. AdaCore was selected due to its close relationship with Wind River and its ability to provide traceability evidence between source and object code, ensuring faster standards compliance.
Barco’s MOSArt system is based on VxWorks 653, an ARINC 653 compliant kernel that allows integration of several applications into the same unit. The VxWorks 653 operating system guarantees segregation of other Barco (or customer) avionics software applications. MOSArt’s open, modular approach reduces weight and power consumption and improves mean time between failures by allowing the integration of several applications into the same hardware platform. With MOSArt, every partition can have a different criticality level (up to DO-178B level A) for minimal certification cost.
Global technology company Barco designs and develops visualization products for a variety of selected professional markets. Every day, nearly 100 of the world’s leading aircraft and helicopter types take off with Barco’s advanced avionics display technologies on board.
“To enable the delivery of advanced avionics display solutions, we require extreme high-integrity development software,” said Brecht Baert, R&D Manager Open Systems, Barco Avionics Division. “AdaCore’s traceability kit, tools that help simplify and automate certain DO-178B processes, and close partnership with Wind River were the natural choices for this project because they exactly met our needs.”
GNAT Pro High-Integrity Edition for DO-178B is an enhanced version of the GNAT Pro Ada development environment, designed for building safe and secure software. Its many features help to reduce the cost of developing and certifying systems that have to meet safety standards, such as RTCA DO-178B / EUROCAE ED-12B and other high-integrity standards. The product was specifically tailored to provide the features needed in the development of avionics systems, while removing unneeded features to simplify certification to DO-178B Level A. Barco is also using the GNAT Pro Traceability Kit. This is designed to help developers to meet the stringent DO-178B safety critical avionics standard by enabling full traceability between the source and object code.
“Barco is a long standing AdaCore customer and the regular and close contacts that AdaCore establishes with his customers brought significant benefits in the context of the MOSArt platform developed by Barco,” said Michaël Friess, Sales & Business Development Manager, AdaCore. “In the MOSArt platform, the Ada language has been chosen for its particular adaptation to the stringent development processes required by Level A of the DO-178B standard. To complement this choice, AdaCore has used its expertise to provide a Traceability Kit that replaces the long and costly traditional source to object code traceability analysis while still increasing the language subset allowed.”
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 see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railway systems, and medical devices, and in security-sensitive domains such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.
AdaCore has North American headquarters in New York and European headquarters in Paris.
Barco, a global technology company, designs and develops visualization products for a variety of selected professional markets. Barco has its own facilities for Sales & Marketing, Customer Support, R&D and Manufacturing in Europe, North America and Asia Pacific. Barco (NYSE Euronext Brussels: BAR) is active in more than 90 countries with about 3100 employees worldwide. Barco posted sales of 638 million euro in 2009