• DocumentCode
    2742442
  • Title

    Packaging fault-tolerant software with Ada

  • Author

    Morris, Derek S.

  • Author_Institution
    Stevens Inst. of Technol., Hoboken, NJ, USA
  • fYear
    1988
  • fDate
    23-25 May 1988
  • Firstpage
    45
  • Lastpage
    52
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Ada Applications and Environments, 1988., Third International IEEE Conference on
  • Conference_Location
    Manchester, NH
  • Print_ISBN
    0-8186-0808-0
  • Type

    conf

  • DOI
    10.1109/ADA.1988.4784
  • Filename
    4784