Press Release
AdaCore’ss CodePeer static analysis tool has been adopted by Atlantic Inertial Systems Limited for usage on its digital terrain system for military transport aircraft. CodePeer CodePeer will automate parts of the DO 178B verification process of the terrain referenced navigation software.
Share and Enjoy:
  • email
  • LinkedIn
  • Twitter
  • Facebook
  • Digg
  • RSS