Title :
Built-in reliability in the Ada programming language
Author_Institution :
Dept. of Comput. Sci., Southern Illinois Univ., Edwardsville, IL, USA
Abstract :
It is pointed out that the Ada language has many built-in reliability mechanisms for supporting sophisticated real-time applications. These include: features provided by the language that can be used to make programming more reliable; predefined features that allow the user to built in reliabilities; and a numerical computing environment that increases accuracy and system reliability. Examples and performance constraints are given and discussed
Keywords :
Ada; real-time systems; software reliability; Ada programming language; accuracy; built-in reliability; embedded programming; military computing; numerical computing environment; performance constraints; real-time applications; Computer bugs; Computer languages; Computer science; Delay; Hardware; Humans; Real time systems; Redundancy; Reliability; Software systems;
Conference_Titel :
Aerospace and Electronics Conference, 1990. NAECON 1990., Proceedings of the IEEE 1990 National
Conference_Location :
Dayton, OH
DOI :
10.1109/NAECON.1990.112833
