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

Fingerprint

Recovery
Costs

ASJC Scopus subject areas

  • Computer Science(all)
  • Engineering(all)

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, .

On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading. / Tai, Ann T.; Tso, Kam S.; Alkalai, Leon; Chau, Savio N.; Sanders, William H.

2000. 59-68 Paper presented at The 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000), Chicago, IL, USA, .

Research output: Contribution to conferencePaper

Tai, AT, Tso, KS, Alkalai, L, Chau, SN & Sanders, WH 2000, 'On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading', Paper presented at The 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000), Chicago, IL, USA, 3/27/00 - 3/29/00 pp. 59-68.
Tai AT, Tso KS, Alkalai L, Chau SN, Sanders WH. On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading. 2000. Paper presented at The 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000), Chicago, IL, USA, .
Tai, Ann T. ; Tso, Kam S. ; Alkalai, Leon ; Chau, Savio N. ; Sanders, William H. / On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading. Paper presented at The 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000), Chicago, IL, USA, .10 p.
@conference{51cbbc5ebae14f8d8f13e2d8b2f4babb,
title = "On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading",
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.",
author = "Tai, {Ann T.} and Tso, {Kam S.} and Leon Alkalai and Chau, {Savio N.} and Sanders, {William H.}",
year = "2000",
month = "1",
day = "1",
language = "English (US)",
pages = "59--68",
note = "The 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000) ; Conference date: 27-03-2000 Through 29-03-2000",

}

TY - CONF

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

AU - Tai, Ann T.

AU - Tso, Kam S.

AU - Alkalai, Leon

AU - Chau, Savio N.

AU - Sanders, William H.

PY - 2000/1/1

Y1 - 2000/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0033903348&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0033903348&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:0033903348

SP - 59

EP - 68

ER -