Press Release
Feb 24 '15
AdaCore has released QGen, a qualifiable and customizable code generator and model verifier for Simulink and Stateflow models. This tool can generate MISRA C and SPARK source code.
Press Release
Feb 24 '15
AdaCore has released GNAT Pro 7.3, the latest version of the company’s flagship Ada Development Environment. GNAT Pro 7.3 incorporates performance improvements, new functionality, and many other enhancements.
Press Release
Jan 13 '15
The Muen Kernel enforces a strict and robust isolation of components to shield security-critical functions from vulnerable software running on the same physical system. To achieve the necessary level of trustworthiness, the Muen team used the SPARK language and toolset to formally prove the absence of run-time errors. The most recent version of the Kernel upgrades the software to use the SPARK 2014 language, which allows the team to use more of the Ada language and provide the annotations in a more readable form.
Press Release
Dec 3 '14
SIGAda has made a new set of “Powered by Ada” posters available, featuring the Rosetta and VTC Cubesat spacecrafts. All are available as high-quality PDFs.
Press Release
Oct 23 '14
AdaCore’s GNAT Pro cross-development environment has been selected by the Polytechnic University of Madrid (Universidad Politécnica de Madrid / UPM), for the UPMSat-2 UNION satellite project’s real-time on-board and ground control software. The 50kg micro-satellite, scheduled to be launched in Q4 2015, will provide a technology demonstration platform for the university from a sun-synchronous orbit nearly 600 km above Earth.
Press Release
Oct 23 '14
AdaCore’s CodePeer advanced static analysis tool for the automated review and validation of Ada source code has been qualified as a software verification tool for developers in both avionics and railway industries.
