Space Station integration and verification concepts

The TAVERNS concept for the integration, verification, and maintenance of the Space Station avionics and payload systems is described. The functional requirements which TAVERNS integrates are discussed, showing the mode of integration and the flight systems integration. The top and bottom TAVERNS sections are described, and the use of TAVERNS to develop software required for flight applications and testing is discussed.