Programming replicated systems in Ada 95

Computer Journal

Volumn 39, Issue 5, 1996, Pages

  Wellings, A J ^a   Burns, A ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); ALGORITHMS; COMMUNICATION SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS;

ACTIVE REPLICATION; CATEGORIZATION PRAGMA; COMPLEX DISTRIBUTED CONSENSUS ALGORITHM;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0030395533     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/39.5.361     Document Type: Article

References (16)

1. US Department of Defense (1983) Reference manual for the Ada programming language, ANSI/MIL-STD 1815 A. US Department of Defense.
2. Intermetrics (1995) Ada 95 Reference Manual, ANSI/ISO/IEC-8652:1995. Intermetrics.
3. Gargaro, A. B., Goldsack, S. J., Holzbacher-Valero, A. A., Volz, R., Waldrop, R. and Wellings, A. J. (1994) Supporting distribution and dynamic reconfiguration in AdaPT. Dist. Sys. Engng J., 1, 145-161.
4. Barren, P. A. and Speirs, N. A. (1990) Using passive replication in Delta-4 to provide dependable distributed computing. In Digest of Papers, The Ninetenth Annual International Symposium on Fault-Tolerant Computing, pp. 184-190, Chicago, IL.
5. Schneider, F. B. (1990) Implementing fault-tolerant services using the state machine approach: a tutorial. Computing Surveys, 22, 299-319.
6. Schneider, F. B. (1984) Byzantine generals in action: Implementing fail-stop processors. Trans. Comput. Sys., 2, 145-154.
7. Lamport, L., Shostak, R. and Pease, M. (1982) The Byzantine generals problem. Trans. Progr. Lang. Sys., 4, 382-401.
8. Cristian, F., Aghili, H., Strong, R. and Dolev, D. (1995) Atomic broadcast: from simple message diffusion to Byzantine agreement. Info. Comput., 118, 158-79.
9. Cmelik, R. F. Gehani, N. H. and Roome, W. D. (1988) Fault Tolerant Concurrent C: A tool for writing fault tolerant distributed programs. In The Eighteenth Annual International Symposium on Fault-Tolerant Computing Digest of Papers, Tokyo, Japan, pp 56-61.
10. Schlichting, R. D. and Thomas, V. T. (1995) Programming language support for writing fault-tolerant distributed software. IEEE Trans. Comput., 44, 203-12.
11. Birman, K. P. (1993) The process group approach to reliable distributed computing. Commun. ACM, 36, 36-53.
12. Burns, A. and Wellings, A. J. (1995) Concurrency in Ada. Cambridge University Press, Cambridge.
13. Powell, D. (ed.) (1991) Delta-4: A Generic Architecture for Dependable Distributed Computing. Research Reports ESPRIT, Springer-Verlag, Berlin.
14. Barrett, P. A., Burns, A. and Wellings, A. J. (1995) Models of replication for safety critical hard real-time systems. In Proceedings of 20th IFAC/IFIP Workshop on Real-Time Programming (WRTP'95), Fort Lauderdale, FL.
15. Hadzilacos, V. and Toueg, S. (1993) Fault-tolerant broadcasts and related problems. In Mullender, S. (ed.), Distributed Systems, 2nd edn. pp. 97-146, Addison Wesley, Wokingham, UK.
16. Verissimo, P. (1993) Real-time communication. In Mullender, S. (ed.), Distributed Systems, 2nd edn. pp. 447-490. Addison Wesley, Wokingham, UK.