[Web Feed] Ada proves itself in reliability with a track record of nearly four decades o...

..f usage in embedded, safety, and critical systems. Over this ti



Ada proves itself in reliability with a track record of nearly four decades of usage in embedded, safety, and critical systems. Over this timeframe, Ada was updated three times, each time with a new 
ada-auth.org/standards/rm12_w_tc1/RM-Final.pdf: Reference Manual, a more in-depth 
ada-auth.org/standards/aarm12_w_tc1/AA-Final.pdf: Annotated Reference Manual, and a 
www.ada-europe.org/manuals/Rationale_2012.pdf: Rationale document, describing the reasoning for each feature. Backing each of these changes is the 
www.ada-auth.org/acats.html: Ada Conformity Assessment Test Suite (ACATS), a battery of freely available tests to help Ada compilers or interprets properly interpret the standard. Ada 2012 takes reliability further, by supporting inline usage of an Ada subset called 
learn.adacore.com/courses/intro-to-spark/index.html: SPARK, which provides functional specification and static verification.




Link 1


Overview — Programming with Ada  documentation: https://pyjarrett.github.io/programming-with-ada/000-overview.html