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

Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders

Research output: Contribution to conferencePaper

Abstract

In order to accomplish dependable onboard evolution, we develop a methodology which is called 'guarded software upgrading' (GSU). The core of the methodology is a low-cost error containment and recovery protocol that escorts an upgraded software component through onboard validation and guarded operation, safeguarding mission functions. The message-driven confidence-driven (MDCD) nature of the protocol eliminates the need for costly process coordination or atomic action, yet guarantees that the system will reach a consistent global state upon the completion of the rollback or roll-forward actions carried out by individual processes during error recovery. To validate the ability of the MDCD protocol to enhance system reliability when a software component undergoes onboard upgrading in a realistic, non-ideal environment, we conduct a stochastic activity network model based analysis. The results confirm the effectiveness of the protocol as originally surmised. Moreover, the model-based analysis provides useful insight about the system behavior resulting from the use of the protocol under various conditions in its execution environment, facilitating effective use of the protocol.

Original languageEnglish (US)
Pages59-68
Number of pages10
StatePublished - Jan 1 2000
Externally publishedYes
EventThe 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000) - Chicago, IL, USA
Duration: Mar 27 2000Mar 29 2000

Other

OtherThe 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000)
CityChicago, IL, USA
Period3/27/003/29/00

ASJC Scopus subject areas

  • Computer Science(all)
  • Engineering(all)

Fingerprint Dive into the research topics of 'On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading'. Together they form a unique fingerprint.

  • Cite this

    Tai, A. T., Tso, K. S., Alkalai, L., Chau, S. N., & Sanders, W. H. (2000). On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading. 59-68. Paper presented at The 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000), Chicago, IL, USA, .