US7409539B2 - System Design and Code Update Strategy to Implement a Self-Healing, Self-Verifying System