[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

SpectorGifford84

  1. Alfred Spector & David Gifford
  2. The Space Shuttle Primary Computer System
  3. Commun ACM V27n9(Sep 1984)pp874-900
  4. =EXPERIENCE Shuttle SQA INSPECTIONS REDUNDANCY NONSEQUENTIAL MODULES DESIGN DOCUMENTATION
      Interviews with A J (Tony) Macina, J (Jack) F Clemons, BJ Thomas, L(Lynn) C Killingbeck, W(Bill) H Spotz, and Barry Eiland.

      p881: We expect a steady stream of requirement changes that originate from the flight crews...

      p884: Apply rigorous inspections form the start - easier for people and more cost effective

      Simulator for testing.

      p898-900: Are there things that you would like to do differently?

    1. interprocess variables costed personel-years of analysis
    2. attempted lock/unlock - expensive
    3. instead diasble block - diables interupts to low priority process while accessing element of block
    4. expensive, not enough RAM
    5. Hence provide alibies as to why not needed - thousands of them
    6. Each design change is checked versus each alibi
    7. in a database
    8. Require very experienced people

      p900: Spotz "We would make every effort to minimize the number of shared variables"



Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]