AdaCore’s CodePeer for mission-critical software, safety-critical, and security-critical systems

AdaCore’s CodePeer static analysis tool is streamlining its experiences within industries through mission-critical software, safety-critical, and security-critical systems.

In our connected world where imperfections are not tolerated, this analysis tool is helping improve computational accuracy; verify that code is free of certain categories of run-time errors such as buffer overflows, floating point underflows and overflows, integer overflows and references to uninitialized variables.

Atlantic Inertial Systems Limited, a UTC Aerospace Systems company in the U.K., is implementing the tool for usage on its TERPROM® digital terrain system for military transport aircraft.

Popular posts from this blog

Integrated Email in our mobile-driven world.

The latest trends gaining momentum in the global e-textile market

The introduction of cloud computing has improved password management software capabilities