AdaCore
New York, NY 10001 [email protected]
+1 212 620 7300
https://www.adacore.com/

Avionics
Collins Aerospace Selects AdaCore’s QGen Code Generator to Streamline Model-Based Development - Press Release
July 21, 2021Bristol, UK, July 20, 2021 – AdaCore, a trusted provider of software development and verification tools, announces that Collins Aerospace has selected AdaCore’s QGen code generator for Simulink/Stateflow models, and the new TQL-1 Enterprise Qualification Package, to advance the development of their FAA-certifiable Perigon computer, which is designed to support the future flight control and vehicle management needs of commercial and military rotary/fixed wing platforms.
Making software FACE-conformant and fully portable: Coding guidance for Ada - Story
March 15, 2021The FACE [Future Airborne Capability Environment] approach to reducing life cycle costs for the military is based on reusing software components across different platforms and airborne systems. The FACE Technical Standard addresses this issue through a reference architecture and data model, well-defined interfaces, and widely used underlying industry standards (IDL, Posix, ARINC-653).
Adacore acquires Componolit in move to broaden cybersecurity range - News
February 17, 2021NEW YORK. Software development and verification-tool maker AdaCore announced that it acquired Componolit (Dresden, Germany), effective February 1, 2021.
Virtual FACE/SOSA TIM event March 23 - News
February 17, 2021SOLOMONS, Maryland. Officials from the Future Airborne Capability Environment (FACE) and the Sensor Open Systems Architecture (SOSA) Consortia will be leading the Open Group FACE and SOSA Consortia Expo & Technical Interchange Meeting (TIM) virtual event next month on March 23, 2021 from 11 am to 4 pm Est.
WEBCAST: Enabling the intelligent edge for avionics software Tuesday, Dec. 1 at 11 am Est - News
November 30, 2020SCOTTSDALE, Arizona. Modernization efforts that require consolidating multiple proven software systems onto a single intelligent edge platform are difficult. Fortunately, there are strategies that allow you to maintain your software integrity and partitioning while taking advantage of cutting edge software development technology in modern avionics systems. In this webcast on December 1, 2020 at 11 am Est., subject matter experts from Wind River and AdaCore will demonstrate how you can map your existing architecture to guest operating systems on hypervisors, by using Wind River’s Helix Virtualization Platforms and software development tools from the compiler experts at AdaCore.
WEBCAST: Boeing, Army discuss FACE alignment for Army avionics on December 10 at 2 pm est - News
November 24, 2020SCOTTSDALE, Arizona. Boeing, in partnership with the U.S. Army, AdaCore, CoreAVI, Presagis, and Real-Time Innovations (RTI), will demonstrate an integrated Future airborne Capability Environment (FACE) commercial-off-the-shelf (COTS) solution stack covering cockpit displays, graphics systems and data transport connectivity. This stack enables high mission capability using the world’s latest and most advanced avionics technologies designed to accelerate RTCA DO-178C DAL A safety certification and FACE conformance. The webcast, "Accelerating Avionics Design & Testing through FACE Conformance: An Integrated Model by Boeing, U.S. Army & Aerospace Leaders," will cover the stack and take place December 10, 2020, at 2 pm est. The presenters are Marc Moody, Technical Fellow, Boeing; Christopher Edwards, Systems Engineering Lead, U.S. Army Combat Capabilities Development Command (DEVCOM); Chip Downing, Senior Market Development Director, Aerospace & Defense, RTI; Dr. Benjamin Brosgol, Senior Technical Staff, AdaCore; Michael Pyne, Director, Strategic Accounts & Solutions Architect, CoreAVI; and Matt Jackson, Technical Product Manager, PRESAGIS.
Securing military embedded systems is a giant challenge - Story
October 08, 2020Updating and patching security vulnerabilities to limit the attack surface for the military’s embedded systems – especially legacy ones – can be a daunting task.