Title :
Packaging fault-tolerant software with Ada
Author :
Morris, Derek S.
Author_Institution :
Stevens Inst. of Technol., Hoboken, NJ, USA
Abstract :
The ability of the Ada programming language to support a software-engineering approach to building fault-tolerant applications systems by distributed redundant abstract data types (ADTs) is discussed. It is shown that the package, the separation of the specification from the implementation parts, the typing and exception handling mechanisms, and the nondeterministic rendezvous of the Ada language contribute to the fault-tolerance of systems constructed in this fashion
Keywords :
Ada; data structures; fault tolerant computing; software engineering; Ada; distributed redundant abstract data types; exception handling; fault-tolerant applications systems; fault-tolerant software; nondeterministic rendezvous; software-engineering; Application software; Circuit faults; Computer languages; Distributed computing; Fault tolerance; Fault tolerant systems; Packaging; Software design; Software engineering; Software packages;
Conference_Titel :
Ada Applications and Environments, 1988., Third International IEEE Conference on
Conference_Location :
Manchester, NH
Print_ISBN :
0-8186-0808-0
DOI :
10.1109/ADA.1988.4784
