Runtime Verification and Validation for Multi-Core Based On-Board Computing Hans P. Zima and Mark L. James Jet Propulsion Laboratory, California Institute.