Search results for "AdaCore"

AdaCore announces its participation in embedded world 2025, which will take place from 11-13thMarch 2025 in Nuremberg, Germany. This year, AdaCore will showcase its solutions for safety and security-critical embedded systems, with a special focus on SPARK and Rust technologies.

AdaCore has launched a new edition of its premierGNAT ProAda, C and C++ development toolsuites in support of theWind River Helix VirtualisationPlatform. Offered in separate Ada andC/C++packages, GNAT Pro enhances Helix Platform's ability to consolidate mixed-criticality aerospace, defence and automotive applications onto a scalable, agile and certifiable platform.

AdaCore announced that JTEKT, an international automotive electric power steering system manufacturing company headquartered in Japan, has adopted AdaCore’s SPARK Pro toolsuite and the GNAT Pro Common Code Generator (CCG) to aid in the development of safety-critical power steering system software.

AdaCore has announced that its GNAT Pro product line now supports the development of embedded software written in C++. Projects using C++, either mixed with Ada or standalone, can now benefit from the same high level of quality and support that GNAT Pro Ada customers receive. GNAT Pro C++ handles versions of the language standard up to and including C++17.

The trend towards compute-intensive gateways and edge devices is driving the integration of traditional deterministic control applications with additional embedded processing capabilities needed for smart and secure connected systems. In response, Microchip Technology has announced the Early Access Programme (EAP) for the PolarFire System-on-Chip (SoC) FPGA.

AdaCore and Altran have announced their renewed sponsorship of the annual High Integrity Software (HIS) Conference, taking place in Bristol on November 5th, 2019. Now in its sixth year, the event attracts leaders in industry and academia who share the common focus of producing high integrity software.

AdaCore has announced that Scandinavian Real Heart AB in Sweden is using a suite of AdaCore software solutions to develop reliable embedded software for its revolutionary Total Artificial Heart.

AdaCorehasannounced thatMASC (MHI Aerospace Systems Corporation), a member of the Mitsubishi Heavy Industries Group, has selected the QGen toolset to develop the software for theTQA (Throttle Quadrant Assembly) system.

AdaCore has announced the launch of its 2nd annual 'Make with Ada' programming competition, a contest that aims to help the embedded software community improve the quality of their code by encouraging the use of the Ada and SPARK programming languages. The competition runs from 15 May to 15 September, 2017, and offers over €8000 in total prizes. Participants can register for the competition athere.

The publication and immediate availability of a free booklet, AdaCore Technologies for DO-178C / ED-12C, has been announced by AdaCore, which was written by Quentin Ochem (AdaCore) and certification expert Frédéric Pothon.The booklet addresses the DO-178C / ED-12C standards suite – the ‘core’ DO-178C / ED-12C standard and its technology supplements – and explains many of their more subtle aspects in the conte...