Airbus selecciona el traje de desarrollo de software para el sistema de helicópteros no tripulados

Añadir a mis favoritos

Ver traducción automática

#Novedades de la industria

{{{sourceTextContent.title}}}

{{{sourceTextContent.subTitle}}}

{{{sourceTextContent.description}}}

Airbus Helicopters seleccionó el GNAT Pro Ada de AdaCore para el PowerPC VxWorks 6.x/Cert en base a varios criterios, incluyendo la facilidad de integración en la infraestructura de desarrollo existente, la capacidad de desarrollar algoritmos de monitoreo, y la capacidad de ayudar a certificar el software hasta el nivel B de Garantía de Diseño DO-178C.

Matthieu Vatinet, jefe de productos de software integrado, Airbus Helicopters dijo: "Hemos seleccionado AdaCore y el lenguaje Ada porque creemos que esta tecnología y las herramientas relacionadas aumentarán la mantenibilidad y la calidad de nuestro software y facilitarán la aportación de algunas pruebas para ciertos objetivos de certificación de software. La calidad del soporte de AdaCore fue una ventaja importante, y otro beneficio anticipado fue la facilidad de desarrollar código maduro"

Jamie Ayre, director comercial de AdaCore comentó: "Sabiendo que el equipo de Airbus Helicopters necesitaba desarrollar un código altamente fiable y seguro para su proyecto de prototipo de VSR700, nos alegró mucho que seleccionaran a Ada y AdaCore. El conjunto de herramientas GNAT Pro Ada ofrece excepcionales capacidades de verificación que ayudarán a Airbus a detectar problemas en las primeras fases de su proceso de desarrollo, cuando son más fáciles y menos costosos de corregir. Y nuestros servicios de apoyo se ocuparán de cualquier pregunta o problema que pueda surgir"

AdaCore suministra herramientas de desarrollo y verificación de software para sistemas de misión crítica, de seguridad crítica y de seguridad crítica. Cuatro productos insignia destacan las ofertas de la compañía. El entorno de desarrollo GNAT Pro es un completo conjunto de herramientas para diseñar, implementar y gestionar aplicaciones que exigen una alta fiabilidad y capacidad de mantenimiento.

A lo largo de los años, los clientes han utilizado los productos AdaCore para el campo y el mantenimiento de una amplia gama de aplicaciones críticas en ámbitos como la aviónica comercial y militar, la automoción, los ferrocarriles, el espacio, los sistemas de defensa, la gestión/control del tráfico aéreo, los dispositivos médicos y los servicios financieros.