Ada (programming language)

Ada (programming language). Ada is a high-level, statically typed, imperative, and object-oriented programming language, designed from the ground up for developing large-scale, long-lived, and highly reliable software systems where safety and security are paramount. It was originally commissioned by the United States Department of Defense in the late 1970s to consolidate the hundreds of specialized languages then in use for embedded systems and mission-critical applications. The language is named after Ada Lovelace, often regarded as the world's first computer programmer, and is internationally standardized by the ISO and the IEC.

History and development

The genesis of Ada can be traced to a 1975 study by the DoD which identified significant cost overruns and reliability issues stemming from the proliferation of programming languages across its projects. This led to the establishment of the High Order Language Working Group (HOLWG), chaired by William A. Whitaker, which issued a series of Strawman, Woodenman, Tinman, Ironman, and finally Steelman requirements documents to define a new, unified language. After an extensive evaluation process, a design by a team led by Jean Ichbiah of CII Honeywell Bull in France was selected in 1979. The language was initially standardized as MIL-STD-1815, a reference to Ada Lovelace's birth year, and its first validated compiler was completed in 1983. The Ada Joint Program Office (AJPO) was established to manage the language's evolution and adoption.

Language features

Ada incorporates a rich set of features designed to promote software engineering best practices and detect errors at compile time. Its strong static typing system includes support for modularity through packages, generics for reusable code templates, and extensive facilities for exception handling. A hallmark of Ada is its built-in support for concurrent programming via the tasking model and protected objects for synchronization. The language provides precise control over data representation and memory management, with features like representation clauses and explicit storage pools. Other notable constructs include derived types, private types for information hiding, and comprehensive support for numerical computation.

Design goals and principles

The primary design goals for Ada, as outlined in the Steelman requirements, were reliability, maintainability, and efficiency. The language was engineered to enforce readability and reduce the likelihood of programmer error through its English-like syntax and restrictive semantics. Key principles include the early detection of errors through rigorous compile-time checking, the separation of interface from implementation to manage complexity, and direct support for structured and modular design. A fundamental tenet is that the language should not favor any particular programming paradigm or implementation technique, but rather provide a cohesive set of tools for building robust, long-lived systems, particularly in domains like avionics, air traffic control, and spacecraft.

Standardization and revisions

Ada has undergone several major revisions, each standardized by the ISO and the IEC. The initial standard, Ada 83 (ISO/IEC 8652:1987), established the core language. Ada 95 (ISO/IEC 8652:1995) was a significant enhancement, introducing full support for object-oriented programming, protected types for safer concurrency, and a standardized hierarchical library system. Ada 2005 (ISO/IEC 8652:2007) added further improvements, including interfaces, more flexible synchronization, and a comprehensive standard library known as the Ada Semantic Interface Specification (ASIS). The latest major revision, Ada 2012 (ISO/IEC 8652:2012), emphasized contract-based programming with pre- and postconditions, and subtype predicates, while Ada 2022 introduced further refinements to concurrency and pattern matching.

Usage and applications

Ada is predominantly used in high-integrity and safety-critical domains where failure is not an option. It is a mandated or strongly preferred language in many international standards, including DO-178C for avionics software, EN 50128 for railway control systems, and IEC 61508 for industrial systems. Major applications include the Boeing 777 and 787 flight control software, the Eurofighter Typhoon and F-22 Raptor fly-by-wire systems, and the European Space Agency's Ariane rocket series. Beyond aerospace and defense, Ada finds use in air traffic control systems like the UK's iFACTS, financial trading platforms, and medical device software, supported by commercial vendors and the open-source GNAT compiler, part of the GNU Compiler Collection.

Category:Programming languages Category:Ada (programming language)