SIMPLIFIED MODEL OF THE SPACE SHUTTLE ON-ORBIT FLIGHT CONTROL SYSTEM

1. Documentation
2. Models

This webpage gathers the electronic version of a July 1982 research report by P. Hattis, C. Kirchwey, H. Malchow, D. Sargent, and S. Tavan at Draper Lab, Cambridge, Massachusetts. It specifies the attitude and orbital of the NASA Space Shuttle.

We revisited the specification, scanned it and implemented it as a Simulink model. The motivation is to illustrate the applicability of formal methods. We identified requirements and formalized them as Lustre CoCoSpec contracts.

Everything is freely available.

1 Documentation

1.1 Space Shuttle Attitude and Orbital Control System

P. Hattis, C. Kirchwey, H. Malchow, D. Sargent, and S. Tavan, “Simplified Mode! of the Space Shuttle Orbitsr On-Orbit Flight Control System," Report No. CSDL-R-1562, Charles Stark Draper Laboratory, Cambridge, Massachusetts, Jul. 1982
Initial report PDF
Report with selected requirements HTML
Requirements HTML

1.2 Publications

Attitude Control of the Space Shuttle: A Retrospective Example on Model-Based Design and Verification Processes
PDF submitted

1.3 Other space-shuttle related publications

National Research Council. 1993. An Assessment of Space Shuttle Flight Software Development Processes. Washington, DC: The National Academies Press. https://doi.org/10.17226/2222.
Doug Zimpfer, Philip Hattis, John Ruppert, and Don Gavert. "Space Shuttle GN&C Development History and Evolution", AIAA SPACE 2011 Conference & Exposition, AIAA SPACE Forum, https://doi.org/10.2514/6.2011-7244
Nilesh Kulkarni and Kalmanje Krishnakumar. "Spacecraft Guidance, Navigation, and Control Requirements for an Intelligent Plug-n-Play Avionics (PAPA) Architecture", Infotech@Aerospace, Infotech@Aerospace Conferences, https://doi.org/10.2514/6.2005-7123

2 Models

Simulink models (Matlab/Simulink version: R2017b):
- spaceShuttleCoCoSim.slx: The main file describing SDAP, it has referenced models to its components.
- AttitudeProcessingANDStateEstimator.slx: contains the Attitude Processor Module.
- AutoManualManeuver.slx: contains Auto/Manual Maneuver Module.
- CallJetSelect.slx: contains Jet Selection Module.
- CallPhasePlane.slx: contains Phase Plane Modu1e.
- UserInputs.slx: Defines all SDAP inputs given by the user such as
  - RHC STATE
  - DEADBAND
  - MANEUVER RATE
  - COMMANDED ATTITUDE
  - PRIMARY VERNIER SWITCH
  - CLOSED LOOP
  - RATE LIMIT
  - NO PLUS Z JETS
  - PITCH HI LOW SWITCH, PITCH TAIL NOSE SWITCH, YAW HI LOW SW, YAW TAIL NOSE SW

All files available at github.com/coco-team/spaceshuttle