A software verification tool for developers in both avionics and railway industries.

It is always exciting to talk about Ada and GNAT Pro, a state-of-the-art programming language designed for space-based systems, commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains, such as financial services.

Henceforth CodePeer advanced static analysis tool for the automated review and validation of Ada source code is qualified as a software verification tool for developers in both avionics and railway industries. 

Connectikpeople.co, soon #Retinknow salutes this new momentum and recalls that CodePeer can assess the program before execution to find errors in the development life cycle.

CodePeer has been qualified as a verification tool for DO-178B, the software safety standard for commercial airborne systems.

For railway applications, CodePeer has been used to verify code certified in accordance with CENELEC EN 50128:2011 SIL 4 ; the ‘highest’ safety integrity level.