PowerAda

In computing, PowerAda is a commercial Ada compiler by OC Systems. It is used widely in aerospace and DOD projects.

It includes a unique debugging capability that allows for dynamic instrumentation of program code for testing that it is non-intrusive and requires no changes to the source, facilitating the creation of plug-n-play test components.