pdbain@wateng.UUCP (Peter Bain) (11/07/84)
%l journal-article
%A A. Spector
%A D. Gilford
%T Case Study: The Space Shuttle Primary Computer System
%J CACM
%V 27
%N 9
%D Sept. 1984
%P 872-900
%X Case studies editors Spector and Gifford interview the people responsible
for error-free on-board software for the space shuttle
%K pass real time multiprocessor reliable fault tolerant testing hal
%l journal-article
%A C.E. Treleaven
%A T.D. Taylor
%A R.G. Hartenstein
%A A.C. Merwarth
%A W.N. Stewart
%T Development and Application of NASA's First Standard Spacecraft Computer
%J CACM
%V 27
%N 9
%D Sept. 1984
%P 902-913
%K realtime real time nssc
%X To provide the autonomy needed by low, earth orbiting satellites,
NASA's first standard on-board processor requires changing only interfacing
hardware from mission to mission
%l journal-article
%A W.A. Madden
%A K.Y. Rone
%T Design, Development, Integration: Space Shuttle Primary Flight
Software System
%P 914-925
%J CACM
%V 27
%N 9
%D Sept. 1984
%K real time realtime systems
%X The development of Space Shuttle software posed unique requirements above
and beyond raw size (30 times larger than Saturn V software),
complexity, and criticality
%l journal-article
%A G.D. Carlow
%T Architecture of the Space Shuttle Primary Avionics Software System
%P 926-936
%J CACM
%V 27
%N 9
%D Sept. 1984
%K pass real time realtime operating system hal
%X PASS, perhaps the most complex flight computer program ever developed,
epitomizes the benefits to be gained by establishing a well-structured
system architecture at the front end of the development process
%l journal-article
%A H. Gomaa
%T A Software Design Method for Real-Time Systems
%P 938-949
%J CACM
%V 27
%N 9
%D Sept. 1984
%K darts software engineering task communication synchronization
%X DARTS - a design method for real-time systems - leads to a
highly structured modular system with well-defined interfaces
and reduced coupling between tasks.
%l journal-article
%A T. Maude
%A D. Maude
%T Hardware Protection Against Software Piracy
%P 950-959
%J CACM
%V 27
%N 9
%D Sept. 1984
%K cryptography discrete logarithm public key cryptosystem software encryption
--
- peter bain
...!{allegra|decvax|clyde|ihnp4 }!watmath!wateng!pdbain
hard mail: CCNG, CPH-2369A, University of Waterloo,
Waterloo, Ont. Canada N2M 5G4
telephone: (519) 885-1211 x2810