On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading

Keyphrases

• Message-driven 100%
• Model-based Analysis 66%
• Software Components 66%
• Recovery Protocol 33%
• Non-ideality 33%
• Network Model 33%
• Containment 33%
• System Behavior 33%
• System Reliability 33%
• Execution Environment 33%
• Stochastic Activity Networks 33%
• Error Recovery 33%
• Atomic Action 33%
• Rollback 33%
• Process Coordination 33%
• Roll Forward 33%
• Consistent Global State 33%

Computer Science

• Software Component 100%
• System Behavior 50%
• Activity Network 50%
• Atomic Action 50%
• Execution Environments 50%
• Coordination Process 50%
• Mission Function 50%