Timing Analysis and Scheduling of the X-38 Space Station Crew Return Vehicle and Other Space Vehicles / 58-59
Albert M. K. Cheng
Abstract     HTML     PDF

Abstract--This project has performed timing analysis and scheduling of the X-38 autonomous spacecraft built by NASA as a prototype of the International Space Station (ISS) Crew Return Vehicle (CRV). The avionics hardware and software design phase for this spacecraft requires tools for representing, analyzing, and verifying the hard real-time timing aspects of the system. To verify the planned performance of the safety-critical system functions, a high-level specification of the X-38 multi-processor system task structure is modeled in Real-Time Logic (RTL) and Presburger Arithmetic representations.