Ada is a state-of-the art programming language used for critical software: fsmall-footprint, real-time embedded systems to large-scale enterprise systems.| AdaCore