High Speed Simulator - A Simulator for All Seasons (2004)
Patel, K., Reinholtz, W., Robinson, W.
This paper will discuss the evolution of the Multimission Ground Systems Office's (MGSO) High Speed Spacecraft Simulator (HSS) development at the Jet Propulsion Laboratory. This paper will examine...
Schneider, F., Easterbrook, S., Callahan, J., Holzmann, G., Reinholtz, W., Ko, A., ...
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here shows that by judiciously abstracting away...