Reliability and availability analysis for an on board computer in a satellite system using standby redundancy and rejuvenation
- 537 Downloads
- 7 Citations
Abstract
A large number of technologies are used in a satellite because it is hard difficult to repair and replace its components after it has been launched. Furthermore, there are many threats to the satellite such as software aging, environmental problems and network attacks. Because of this nature, it is important that the satellite operates well in spite of the occurrence of hardware and/or software faults. In particular, software aging in the on-board computer (OBC) causes unavailability of a whole satellite system. In this paper, we propose to adopt software rejuvenation for OBC in conjunction with cold, hot and warm standby redundancy in a satellite system. We use stochastic reward nets (SRN) to model OBC with cold, hot and warm standby redundancy and model OBC with that redundancy with software rejuvenation. We compare the models in terms of steady state availability and downtime cost. Sensitivity analysis with respect to some parameters is used to find bottlenecks of the models. Finally, we present a reliability model and analysis with cost consideration.
Keywords
Availability Fault-tolerant On-board computer (OBC) Redundancy Rejuvenation Reliability Satellite Standby redundancy Stochastic reward nets (SRN)Preview
Unable to display preview. Download preview PDF.
References
- [1]V. Lakshminarayana, B. Karthikeyan, V. K. Hariharan, N. D. Ghatpande and T. L. Danabalan, Impact of space weather on spacecraft, Proc. of the 10 th Int. Conf. on Electromagnetic Interference & Compatibility, India (2008) 481–486.Google Scholar
- [2]K. Poulsen, Satellites at risk of hacks, Security Focus, (2002) http://www.securityfocus.com/news/942.
- [3]Y. Huang, C. Kintala, N. Kolettis and N. D. Fulton, Software rejuvenation: Analysis, module and applications, Proc. of the 25 th IEEE Int. Symp. on Fault-Tolerant Computing, USA (1995) 381–390.Google Scholar
- [4]G. Ciardo, J. Muppala and K. S. Trivedi, SPNP: stochastic Petri net package, Proc. of the 3 rd Int. Workshop on Petri Nets and Performance Models, Japan (1989) 142–151.Google Scholar
- [5]C. Constazltinescu and K. Trivedi, A stochastic reward net model for dependability analysis of real-time computing systems, Proc. of the IEEE Workshop on Real-Time Applications, USA (1994) 142–146.Google Scholar
- [6]K. S. Trivedi, SPNP User’s Manual, Duke University, (1999) http://www.ee.duke.edu/~chirel/MANUAL/SPNPv6-manual.ps.
- [7]S. J. Lee, J. H. Ryu, J. Y. Park, S. K. Jeong, H. J. Woo, Y-H Cho and J-H Won, Design of on-board computer for geostationary earth orbit spacecraft, Proc. of 2009 Conf. of The Korean Society for Aeronautical & Space Sciences, Korea (2009) 990–993.Google Scholar
- [8]P. Ramanathan, K. G. Shin and R. W. Butler, Fault-tolerant clock synchronization in distributed systems, Computer, 23(10) (1990) 33–42.CrossRefGoogle Scholar
- [9]G. J. Knafl and J. A. Morgan, Modeling space shuttle software failures at varying criticality levels, Proc. of 1998 IEEE Aerospace Conf., USA (1998) 105–113.Google Scholar
- [10]J. H. Saleh, Flawed metrics: Satellite cost per transponder and cost per day, IEEE Trans. on Aerospace and Electronic Systems, 44(1) (2008) 147–156.CrossRefGoogle Scholar