Top Qs
Timeline
Chat
Perspective

List of Ada software and tools

Ada software and development tools From Wikipedia, the free encyclopedia

Remove ads

This is a list of software and programming tools for the Ada programming language, including IDEs, compilers, libraries, verification and debugging tools, numerical and scientific computing libraries, and related projects.

Compilers

  • GNATGCC Ada compiler and toolchain, maintained by AdaCore[1]
  • AdaCore GNAT Pro — commercial Ada compiler with advanced tooling for high-integrity and real-time systems[2]
  • Green Hills compiler for Ada — Ada compiler for embedded and safety-critical systems[3]
  • ObjectAda — Ada development environment for safety-critical and embedded systems[4]

Integrated development environments (IDEs) and editors

Libraries and frameworks

See also: Ada Libraries on Wikibooks

Real-time and embedded systems

  • Ada tasking — built-in concurrency support with tasks, protected objects, and rendezvous.
  • Ada.Real_Time — real-time clocks, delays, and scheduling.
  • ARINC 653 Ada profiles — for avionics real-time applications[13]
  • OpenMP Ada bindings — parallel programming for multi-core embedded systems[14]
  • Ravenscar profile — subset of Ada tasking for real-time and deterministic execution[15]

Numerical and scientific computing

  • Ada.Numerics — libraries for numerical methods, linear algebra, and mathematical functions.
  • SPARK math libraries — formal-methods-compliant numerical routines[16]

Verification, debugging, and analysis

  • GNATprove — formal verification and static analysis tool for Ada and SPARK[17]
  • GNATstack — runtime stack analysis and checking[18]
  • GNATcoverage — code coverage measurement for Ada projects[19]
  • AdaControl — style checking and metrics for Ada[20]

Testing frameworks

  • AUnit — unit testing framework for Ada[21]
  • GNATtest — automated testing framework for Ada[22]

Documentation and code generation

  • GNATdoc — generates HTML documentation from Ada source code[23]

See also

References

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads