Improving Availability of Multicore Real-Time Systems Suffering Both Permanent and Transient Faults | Synapse