Proceedings of the Workshop on Large, Distributed, Parallel Architecture, Real-Time Systems Held in Alexandria, Virginia on 15-19 March 1993

摘要

The workshop on Large, Distributed, Parallel Architecture, Real-Time Systems wassponsored by the Ballistic Missile Defense Office (BMDO) and the NASA Ames Research Center and hosted at IDA in March 1993. The purpose of the workshop was to obtain expert opinions on the following questions: (1) What is the best design methodology for this class of systems; (2) What is the proper relationship between design theory and scheduling theory; (3) What is the best method for validating this class of systems; (4) What are the most promising areas where resources might be applied for near-term benefits. Twenty-three experts from academia, government and industry were invited to attend of which seventeen accepted. In total, there were twenty-three participants including sponsors and IDA research staff. The invitees contributed position papers in advance of the workshop and presented talks from transparencies. These position papers and transparencies comprise the contents of the proceedings. The informal discussions that took place at the workshop are summarized in the introductory material by the IDA research staff. The advice, opinions and methods of the participating experts are intended to help BMDO and NASA in the development of their respective software technology planning.