Space solar array reliability: A study and recommendations

Brandhorst, Henry W.; Rodiek, Julie A.

doi:10.1016/j.actaastro.2008.05.010

Cited by 36 publications

(18 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In order to illustrate the effectiveness of the proposed FTA approach, the paper presents a formal failure analysis, by taking a FT model, of a solar array that has been used in the DFH-3 Satellite, which was launched by the People's Republic of China on May 12, 1997 [5]. Solar arrays are one of the most vital components of the satellites because the mission success heavily depends upon the continuous reliable source of power [22]. Over the last ten years, 12 out of the 117 satellite's solar array anomalies, documented by the Airclaims Ascend SpaceTrak database, led to the total satellite failure [23,22].…”

Section: Introductionmentioning

confidence: 99%

“…Solar arrays are one of the most vital components of the satellites because the mission success heavily depends upon the continuous reliable source of power [22]. Over the last ten years, 12 out of the 117 satellite's solar array anomalies, documented by the Airclaims Ascend SpaceTrak database, led to the total satellite failure [23,22]. Thus the absolute accuracy of the failure analysis of a solar array is a dire need in satellite missions and, to the best of our knowledge, it is the novelty of the proposed technique to meet this requirement.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Towards Formal Fault Tree Analysis Using Theorem Proving

Ahmed

Hasan

2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Fault Tree Analysis (FTA) is a dependability analysis technique that has been widely used to predict reliability, availability and safety of many complex engineering systems. Traditionally, these FTAbased analyses are done using paper-and-pencil proof methods or computer simulations, which cannot ascertain absolute correctness due to their inherent limitations. As a complementary approach, we propose to use the higher-order-logic theorem prover HOL4 to conduct the FTAbased analysis of safety-critical systems where accuracy of failure analysis is a dire need. In particular, the paper presents a higher-order-logic formalization of generic Fault Tree gates, i.e., AND, OR, NAND, NOR, XOR and NOT and the formal verification of their failure probability expressions. Moreover, we have formally verified the generic probabilistic inclusion-exclusion principle, which is one of the foremost requirements for conducting the FTA-based failure analysis of any given system. For illustration purposes, we conduct the FTA-based failure analysis of a solar array that is used as the main source of power for the Dong Fang Hong-3 (DFH-3) satellite.

show abstract

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Towards Formal Fault Tree Analysis Using Theorem Proving

Ahmed

Hasan

2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…NASA has specified several criteria for the design of large solar arrays (generating 150-300 kW of power): [18][19][20] • Deployed stiffness > 0.1 Hz …”

Section: Design Specificationsmentioning

confidence: 99%

HanaFlex: a large solar array for space applications

et al. 2015

View full text Add to dashboard Cite

HanaFlex is a new method for deployment from a compact folded form to a large array derived from the origami flasher folding pattern. One of the unique features of this model is that the height constraints of the stowed array do not limit the deployed diameter. Additional rings can be added to increase the deployed diameter while only minimally increasing the stowed diameter. Larger solar arrays may enable longer missions in space, manned missions to distant destinations, or clean energy sources for Earth. The novel folding design of the HanaFlex array introduces many new possibilities for space exploration. This paper demonstrates the performance of the HanaFlex array in four areas: deployed stiffness, deployed strength, stowed volume specific power, and mass specific power.

show abstract

“…Over the last ten years, Airclaim's Ascend SpaceTrak database has documented 117 satellites solar array anomalies, in which twelve solar array anomalies directly resulted in total satellite failure. Designers have well-recognized the importance of solar array reliability, but to our best knowledge a detailed reliability analysis is still lacking [16,17]. So it is of great importance to investigate the fault severity of the spacecraft solar array.…”

Section: Introductionmentioning

confidence: 99%

Fault Severity Evaluation and Improvement Design for Mechanical Systems Using the Fault Injection Technique and Gini Concordance Measure

Yan

2014

Mathematical Problems in Engineering

View full text Add to dashboard Cite

A new fault injection and Gini concordance based method has been developed for fault severity analysis for multibody mechanical systems concerning their dynamic properties. The fault tree analysis (FTA) is employed to roughly identify the faults needed to be considered. According to constitution of the mechanical system, the dynamic properties can be achieved by solving the equations that include many types of faults which are injected by using the fault injection technique. Then, the Gini concordance is used to measure the correspondence between the performance with faults and under normal operation thereby providing useful hints of severity ranking in subsystems for reliability design. One numerical example and a series of experiments are provided to illustrate the application of the new method. The results indicate that the proposed method can accurately model the faults and receive the correct information of fault severity. Some strategies are also proposed for reliability improvement of the spacecraft solar array.

show abstract

Space solar array reliability: A study and recommendations

Cited by 36 publications

References 0 publications

Towards Formal Fault Tree Analysis Using Theorem Proving

Towards Formal Fault Tree Analysis Using Theorem Proving

HanaFlex: a large solar array for space applications

Fault Severity Evaluation and Improvement Design for Mechanical Systems Using the Fault Injection Technique and Gini Concordance Measure

Contact Info

Product

Resources

About