AdaCore
New York, NY 10001 [email protected]
+1 212 620 7300
https://www.adacore.com/
AdaCore celebrates 30 years in business - Press Release
July 15, 2024NEW YORK and PARIS. AdaCore, a provider of software tools for safety-critical, security-critical, and and high-reliability applications, is celebrating 30 years of operation.
Verifying FACE conformance for Ada software - Story
May 16, 2024The Future Airborne Capability Environment (FACE) approach is a government/industry initiative, managed by the FACE Consortium under the auspices of The Open Group. Its goal is to reduce software development/deployment costs through source code portability and reuse and thereby avoid vendor lock-in. A key element of the FACE approach is an official process and test suite for verifying that software conforms to the requirements specified in the FACE Technical Standard. However, this process currently does not easily accommodate Ada, a language with a long history of successful usage in safety-critical airborne systems, both military and commercial. There is a solution to this hurdle, however: a practical approach to FACE conformance verification for Ada code (both Ada 95 and Ada 2012), in particular for software that is not part of the underlying operating system.
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.