JPL Publication 90-20 ///-_ x.,_ -_p._... f 3/D/55 Spacecraft Health Automated Reasoning Prototype (SHARP) The Fiscal Year 1989 "SHARP Portability Evaluations" Task for NASA Solar System Exploration Division's Voyager Project NASA Ames Research Center Telescience Testbed Program David J. Atkinson Richard J. Doyle Mark L. James Tim Kaufman R. Gaius Martin August15,1990 National Aeronautics and Space Administration Jet Propulsion Laboratory California Institute of Technology Pasadena, California (NA_A-CR-]d7338) SPACECRAFT HEALTH AUTq_ATED REASONING P_UTjTY_E (SHARP): FISCAL YEAR 198q SHARP PORTABILITY EVALUATIONS TASK FOR NASA SQLAR SYSTEM EXPLORATInN OIVISION'S VOYAGER PK_JFCT THF G3132 NO1-IO204 Unclas 0310155