Security is an increasingly critical requirement in software these days. Sometimes this can be addressed simply by verifying user-supplied input data, regardless of the language that the software is written in. But more generally — and especially at the higher levels of security — ensuring the correctness of the security-related functions and the absence of application vulnerabilities requires careful analysis, and the programming language choice makes a difference. Ada offers a number of advantages (such as strong typing, scalar subranges) and has a successful track record in the high-security domain.

This section collects a number of articles on creating secure systems with Ada. Closely related is the creation of high-integrity software; articles on that topic are collected in Ada Helps Build Safe Systems.