Online Nonstop Software Update Using Replicated Executin Blocks