Application of Ada on a distributed missile control system

ABSTRACT

A system for distributing a single Ada program to a network of loosely coupled computers is described. The system is applied to the distribution of a missile control system. We have found that implementing the entire Ada semantics for distributed systems is difficult, but that a pragmatic approach can give reasonable semantics. Our approach is based on source code transformation of the single Ada program into multiple Ada programs. These programs are then compiled with a standard compiler. The units of distribution are tasks and task types, subprograms, and variables. Restrictions are implied by the task termination semantics, the exception propagation between nodes, and the synchronization of tasks at activation.

REFERENCES

• 1: A.D. Hutcheon and Aj. Wellings, The York Distributed Ada Project, Prec. of the symposium DistributeA Ada 1989.
• 2: Colin Atkinson , Trevor Moreton , Antonio Natali, Ada for distributed systems, Cambridge University Press, New York, NY, 1988
• 3: S. Arévalo , A. Alvarez, Fault tolerant distributed Ada, Proceedings of the second international workshop on Real-time Ada issues, p.118-122, June 01-03, 1988, Moretonhampstead, Devon, England
• 4: A. D. Hutcheon , A. J. Wellings, Supporting Ada in a distributed environment, Proceedings of the second international workshop on Real-time Ada issues, p.113-117, June 01-03, 1988, Moretonhampstead, Devon, England
• 5: Dennis Cornhill, A survivable distributed computing system for embedded application programs written in Ada, ACM SIGAda Ada Letters, v.III n.3, p.79-87, November/Decmeber 1983 [doi>10.1145/989965.989969]
• 6: M. Kamrad, R. Jha and G. Eisenhauet, Reducing the Complexity of Reconfigurable Systems in Ada. 2nd International Workshop on Real Time Ada Issues, 1988.
• 7: J. C. Knight , M. E. Rouleau, A new approach to fault tolerance in distributed Ada programs, Proceedings of the second international workshop on Real-time Ada issues, p.123-126, June 01-03, 1988, Moretonhampstead, Devon, England
• 8: M. Kamrad, R. Jha and D. Cornhill, Distributed Ada. ACM, 1987.
• 9: D. Cornhill, Four approaches to partitioning of Ada programs for execution of distributed targets. IEEE Computer Society Conference on Ada Applications and Environments, 1984.
• 10: R. Fors, U. Olsson and G. I.arsson, The use of Ada in large stu'pborne weapon control systems. Ada in Industry. Cambridge University Press, 1988.
• 11: James W. Armitage , James V. Chelini, Ada software on distributed targets: a survey of approaches, ACM SIGAda Ada Letters, v.IV n.4, p.32-37, January-February 1985 [doi>10.1145/998416.998418]
• 12: J. C. Knight , J. I. A. Urquhart, On the implementation and use of Ada on fault-tolerant distributed systems, IEEE Transactions on Software Engineering, v.13 n.5, p.553-563, May 1987 [doi>10.1109/TSE.1987.233200]
• 13: R. Clapp , T. Mudge, Ada on a hypercube, ACM SIGAda Ada Letters, v.IX n.2, p.118-128, Mar./Apr. 1989 [doi>10.1145/66031.66040]
• 14: R.A. Volz, P. Krishnan and Rj. Theriault, Distributed Ada- A Case Study, Proc. of the symposium Distributed Ada 1989.
• 15: A.B. Gargaro, S J. Goldsack, R.A. Volz and AJ. Wellings, Supporting Reliable Distributed Systems in AdagX. Proc. of the symposium Distributed Ada 1989.
• 16: T. Mudge, Units of Distribution for Distributed Ada, ACM, 1987.
• 17: D. Cornhill, Distributed Ada ProjecL Honeywell,1982.
• 18: G. Eisenhauer and R. Jha, Honeywell Distributed Ada - Implementation, Proc. of the symposium Distributed Ada 1989.
• 19: R. Jha and G. Eisenhauer, Honeywell DLstributed Ada - Approach, Proc. of the symposium Distributed Ada 1989.
• 20: Reference Mtmual for the Ada Programming Lansuase, (ANSI/MIL-STD-1815A), Ada Joint Program Office, Department of Defence, Washington, D.C. 20301, 1983.
• 21: J. M. Bishop , S. R. Adams , D. J. Pritchard, Distributing concurrent Ada programs by source translation, Software—Practice & Experience, v.17 n.12, p.859-884, Dec. 1987 [doi>10.1002/spe.4380171202]
• 22: I.Ogren, Problems and sugsested solutions for practical handling of distributed systems, programmed in Ada, 2rid International Workshop on Real Time Ada Issues, 1988.
• 23: Susan Flynn , Edith Schonberg , Edmond Schonberg, The efficient termination of Ada tasks in a multi-processor environment, ACM SIGAda Ada Letters, v.VII n.7, p.55-76, November/December 1987 [doi>10.1145/36072.36075]
• 24: G. Eisenhauer , R. Jha , J. M. Kamrad, Targeting a traditional compiler to a distributed environment, ACM SIGAda Ada Letters, v.IX n.2, p.45-51, Mar./Apr. 1989 [doi>10.1145/66031.66032]
• 25: D. Wengelin, M. Carlsson, and L. Asplund, (Special topic), Ada Lexters, Vol 9, Number 1, 1990.
• 26: L. Asplund , M. Carlsson , S. Wengelin , G. Bray, Real time Ada compilers for the 68020, ACM SIGAda Ada Letters, v.IX n.7, p.102-113, Nov./Dec. 1989 [doi>10.1145/71335.71338]