Search results for "AdaCore"
AdaCore at embedded world 2025 with Spark and Rust technologies
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.
GNAT Pro for the Helix Virtualisation Platform
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.
JTEKT has adopted AdaCore’s SPARK Pro tool suite
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.
Support for standalone C++ and mixed-language embedded 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.
Early access for RISC-V enabled low-power SoC FPGAs
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.
Conference champions high-assurance software development
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 development platform for artificial heart
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.
MASC selects QGen toolset for model-based development
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.
'Make with Ada' programming competition offers €5000 prize
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.
Handbook published on DO-178C/ED-12C guidance
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...