Adacore News

Adacore specializes in software development tools for safety-critical systems, offering platforms for Ada and SPARK programming, code verification, and real-time applications. The company supports industries like aerospace, automotive, and defense, focusing on reliability and compliance. Adacore integrates AI-driven code verification tools, IoT-enabled development platforms, and customized software solutions to optimize critical system development.

www.adacore.com

18 JAN '22

Written on {{ "2022-01-18T00:00:00+00:00" | date "longDate" }}

ENYSE Selects AdaCore’s Flagship Software Development Platform to Build Innovative Railway Signaling Systems

AdaCore, a trusted provider of software development and verification tools, today announces that ENYSE, part of the ACS group, has selected its GNAT Pro development environment to develop its new safety-critical railway signaling solutions

Read more…

30 JUN '21

Written on {{ "2021-06-30T00:00:00+00:00" | date "longDate" }}

AdaCore Qualifies C Compiler for Alstom’s Safety-critical Railway Systems

C compiler in GNAT Pro Ada toolchain qualified for class T3 compliance with European safety standard CENELEC EN 50128.

Read more…

13 OCT '20

Written on {{ "2020-10-13T00:00:00+00:00" | date "longDate" }}

HITACHI Rail STS Chooses AdaCore’s GNAT Pro Software Development Environment For New Rail Safety Platform

AdaCore, a trusted provider of software development and verification tools, today announced that HITACHI Rail STS (Signaling and Transportation Systems) has selected AdaCore's GNAT Pro Ada development environment targeting ARM processors for the modernisation of its CSD (Calculator of Available Safety) rail safety platform, to ensure the safe circulation of trains on railway lines and metro networks.

Read more…

ENYSE Selects AdaCore’s Flagship Software Development Platform to Build Innovative Railway Signaling Systems

AdaCore, a trusted provider of software development and verification tools, today announces that ENYSE, part of the ACS group, has selected its GNAT Pro development environment to develop its new safety-critical railway signaling solutions

AdaCore Qualifies C Compiler for Alstom’s Safety-critical Railway Systems

C compiler in GNAT Pro Ada toolchain qualified for class T3 compliance with European safety standard CENELEC EN 50128.

HITACHI Rail STS Chooses AdaCore’s GNAT Pro Software Development Environment For New Rail Safety Platform

International