In 1986 the airlines selected Ada as the high-order development language for avionics. ARINC 613 describes the Ada domain most suited for avionics software development. The standard provides valuable guidance to Ada compiler developers and Ada programmers.