ADA is an object-oriented programming language known for its ability to produce software that can be audited for reliability, and is often found in safety-critical applications.it is hard to imagine that this software is as reliable as it needs to be when it has not gone through rigorous certification standards, Dewar says of some UAV control systems.