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

Tai, A.T.; Tso, K.S.; Alkalai, Leon; Chau, S.N.; Sanders, William H.

doi:10.1016/s0166-5316(00)00054-7

Cited by 10 publications

(7 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As the realistic goal of the MDCD protocol is to significantly reduce the probability of system failure rather than to guarantee the system to be failure-free, the protocol is anticipated to be effective in a nonideal execution environment. In order to validate the effectiveness of the protocol when it is run in an environment where C1, C2, and C3 are not satisfied, we conducted a model-based reliability analysis in [9]. The evaluation results confirm that the MDCD approach is effective with respect to reliability enhancement as originally surmised, even in a nonideal execution environment.…”

Section: T Umentioning

confidence: 70%

“…Due to the dynamic nature of the MDCD protocol, the evaluation requires a model to capture numerous interdependencies among system attributes. Therefore, as we did with the reliability analysis for the MDCD protocol [9], we choose to use stochastic activity networks (SANs) [19] to conduct the performance cost analysis because of their capability of explicitly representing dependencies among system attributes.…”

Section: Analysis Of Performance Costmentioning

confidence: 99%

“…During error recovery, processes are allowed to decide whether to roll back or roll forward based on the locally available knowledge about potential process state contamination, without having to consult a messageexchange based global decision algorithm for state restoration. In [9], we conducted a reliability analysis that demonstrated the effectiveness of the MDCD protocol with respect to enhancing reliability of the embedded system when it undergoes onboard software upgrading. The model-based evaluation presented in this paper shows that dynamic confidence adjustment plays a crucial role in performance overhead reduction.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Low-cost error containment and recovery for onboard guarded software upgrading and beyond

Tai

Tso

Alkalai

et al. 2002

IEEE Trans. Comput.

View full text Add to dashboard Cite

ÐMessage-driven confidence-driven (MDCD) error containment and recovery, a low-cost approach to mitigating the effect of software design faults in distributed embedded systems, is developed for onboard guarded software upgrading for deep-space missions. In this paper, we first describe and verify the MDCD algorithms in which we introduce the notion of ªconfidence-drivenº to complement the ªcommunication-inducedº approach employed by a number of existing checkpointing protocols to achieve error containment and recovery efficiency. We then conduct a model-based analysis to show that the algorithms ensure low performance overhead. Finally, we discuss the advantages of the MDCD approach and its potential utility as a general-purpose, low-cost software fault tolerance technique for distributed embedded computing.

show abstract

Section: T Umentioning

confidence: 70%

Section: Analysis Of Performance Costmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Low-cost error containment and recovery for onboard guarded software upgrading and beyond

Tai

Tso

Alkalai

et al. 2002

IEEE Trans. Comput.

View full text Add to dashboard Cite

show abstract

“…Therefore, safeguard has to be built into this process in the mission operation. A technique called the Guarded Upgrade, which is similar to the Guarded Software Upgrade technique [2], will be employed to provide this safeguard.…”

Section: Architectural Support For In-flight Hardware Reconfigurationmentioning

confidence: 99%

“…Details of this technique can be found in [2] and an example of the guarded upgrade operation will be discussed in the following.…”

Section: Architectural Support For In-flight Hardware Reconfigurationmentioning

confidence: 99%

Mission Operation for Reconfigurable Spacecraft

Imaki¹,

Hoshino²,

Nakao³

2004

Space OPS 2004 Conference

View full text Add to dashboard Cite

Nowadays, flight qualified Field Programmable Gate Array (FPGA) contains millions of gates. This technology enables many new applications in mission operations such as in-flight reconfiguration for fault recovery, in-flight reconfiguration for resource planning in different mission phases, multiple science objectives spacecraft, and technology upgrade during long life missions. On the other hand, the new applications will also create many new challenges for mission operations. These challenges include how to reconfigure the hardware of the spacecraft in flight, how to transmit the large reconfiguration file to the spacecraft, and how to verify the reconfiguration is executed correctly. This paper will examine the issues and solutions to these challenges. First, a brief survey of the current FPGA technology and the process to reconfigure these devices will be provided. Second, the avionics architectural support to facilitate the in-flight reconfiguration will be discussed. Third, the mission operation procedures and uplink/downlink process to reconfigure the spacecraft in-orbit will be described. The main concern of these procedures is the safety of the spacecraft during and after the reconfiguration. Finally, a set of commands and telemetry required to execute the in-fight hardware reconfiguration will be proposed.

show abstract

Performability analysis of guarded-operation duration: a translation approach for reward model solutions

Tai¹,

Sanders²,

Alkalai³

et al. 2004

Performance Evaluation

View full text Add to dashboard Cite

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

Cited by 10 publications

References 12 publications

Low-cost error containment and recovery for onboard guarded software upgrading and beyond

Low-cost error containment and recovery for onboard guarded software upgrading and beyond

Mission Operation for Reconfigurable Spacecraft

Performability analysis of guarded-operation duration: a translation approach for reward model solutions

Contact Info

Product

Resources

About