has announced that MHI Aerospace Systems Corporation (MASC), a member of the Mitsubishi Heavy Industries Group, has selected the QGen toolset to develop the software for the Throttle Quadrant Assembly (TQA) system, the company said.
M2 EQUITYBITES-May 26, 2017-MASC chooses AdaCore
QGen for avionics project
On the ESC demo floor, AdaCore
, a provider of development and verification tools for critical software, highlighted its CodePeer 3.0, a new version of its advanced static-analysis tool for the automated review and validation of Ada source code.
Beaucage made key contributions to Mutualink's "Google Glass can help save lives'' campaign; AdaCore
's "Ada Passion'' campaign; and Healarium's social media campaign.
's GNAT Pro cross-development environment has been selected by the Polytechnic University of Madrid (Universidad Politecnica de Madrid / UPM), for the UPMSat-2 UNION satellite project's real-time on-board and ground control software.
Banham recently spoke at Adacore
's GNAT Industrial Day Conference in Paris, where he detailed the technical security behind Omlis mobile payments.
a Major Sponsor of the Inaugural Edition of the High Integrity Software Conference New conference will focus on reliable, safe and secure software
announced the release of CodePeer 2.3, the latest version of its static analysis tool for the automated review and validation of Ada source code.
today announced the successful usage of its SPARK Pro and GNAT Pro High-Security products by Rockwell Collins in the development of the SecureOneTM Guard, a high assurance cross domain guard for military tactical systems.
, a provider of software solutions for the programming language Ada, said today that it will soon release GNAT Programming Studio (GPS) 5.1, a new version of its graphical Integrated Development Environment (IDE).