Dec 4 '20
Consafe Logistics, the leading European supplier of warehouse management solutions, has deployed AdaCore’s GNAT Pro Ada development environment to implement mission-critical firmware within its innovative Warehouse Control Systems (WCS). The selection of GNAT Pro Ada enables Consafe Logistics to meet stringent assurance requirements, helping ensure that its systems operate reliably, safely and securely at its customers’ large and complex warehouse sites. Consafe Logistics solutions keep more than 500 warehouses in 30 countries running, delivering goods to millions of customers.
Nov 24 '20
AdaCore today launched a new edition of its premier GNAT Pro Ada development toolsuite in support of the Wind River® Helix™ Virtualization Platform. GNAT Pro Ada enhances Helix Platform’s ability to consolidate mixed-criticality aerospace, defense and automotive applications onto a scalable, agile and certifiable platform.
Nov 2 '20
Hitachi Rail STS (Signalling and Transportation Systems) France has selected an Ada runtime and a compiler targeting ARM processors from AdaCore for its CSD (Calculator of Available Safety) rail safety platform. Hitachi Rail STS specializes in the design of systems ensuring the safe circulation of trains on railway lines and metro networks.
Sep 7 '20
Airbus Helicopters (France) has selected the GNAT Pro tool suite and the Ada programming language to develop new software components for the VSR700 prototype project. VSR700 is Airbus Helicopters’ tactical unmanned aerial system (UAS) designed to meet the demanding requirements of global navies and armies in the 21st century.
Jul 24 '20
The 5th Annual Make It With Ada competition will run from July 31st, 2020 to January 31st, 2021. There will be $9000 in prizes.
Jun 23 '20
AdaCore today 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.
Mar 3 '20
The winning entries for the 4th annual Make It With Ada contest have been announced. The winner is John Singleton for his SmartBase IoT Adjustable Bed.
Feb 18 '20
AdaCore announced that three of its signature software development/verification tools for Ada, SPARK and C have been qualified under the ISO 26262 and IEC 61508 functional safety standards. The tools are GNAT Pro, SPARK Pro, and CCG.
Jun 26 '19
Code Dx, Inc., provider of an application security management solution, today announced its partnership with AdaCore. Through this partnership, Code Dx Enterprise now supports AdaCore’s CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator.