AdaCore’s CodePeer Selected for Digital Terrain System Requiring DO-178B Certification
NEW YORK and PARIS, January 27, 2016 – AdaCore today announced that its CodePeer static analysis tool has been adopted by Atlantic Inertial Systems Limited, a UTC Aerospace Systems company in the U.K., for usage on its TERPROM® digital terrain system for military transport aircraft. CodePeer automates the review and validation of Ada source code and helps detect potential errors early in development. As a qualified tool that automates several verification activities, CodePeer will facilitate UTC Aerospace Systems’ DO-178B certification of the TERPROM terrain referenced navigation software–the software that allows the TERPROM … Read More → "AdaCore’s CodePeer Selected for Digital Terrain System Requiring DO-178B Certification"

