Evaluating the dependability of a LEO satellite network for scientific applications

QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems

Volumn 2005, Issue , 2005, Pages 95-104

  Athanasopoulou, Eleftheria ^a   Thakker, Purvesh ^a,b   Sanders, William H ^a  

^a University of Illinois at Urbana Champaign   (United States)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DEPENDABILITY; SATELLITE MODELS; STOCHASTIC ACTIVITY NETWORKS (SAN);

COMPUTER SIMULATION; DATA REDUCTION; MATHEMATICAL MODELS; RADIATION SHIELDING; RANDOM PROCESSES; REDUNDANCY;

SATELLITES;

EID: 33847296750     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2005.11     Document Type: Conference Paper

References (12)

1. S. Flagg, T. Bleier, C. Dunson, J. Doering, L. DeMartini, P. Clarke, L. Franklin, J. Seelback, J. Flagg, M. Klenk, V. Safradin, J. Cutler, A. Lorenz, and E. Tapio, "Using Nanosats as a proof of concept for space science missions: QuakeSat as an operational example," Proc. of 18th Annual AIAA/USU Conference on Small Satellites, SSC04-IX-4, August 2004.
2. F. Rysanek and J. Hartmann, "MicroVacuum arc thruster design for a Cubesat class satellite," Proc. of 16th Annual AIAA/USU Conference on Small Satellites, August 2002.
3. Möbius tool website. [Online], Available: http://www.mobius.uiuc.edu
4. W. H. Sanders and J. F. Meyer, "Stochastic activity networks: Formal definitions and concepts," Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science, pp. 315-343, LNCS no. 2090, Springer, 2001.
5. C. Poivey, "Radiation hardness assurance for space systems," NASA GSFC, USA [Online]. Available: http://nepp.nasa.gov/DocUploads/A6B8B953- E2DD-4D92-AB8A873A04F0B10A/NSREC02_SC_Poivey.pdf
6. M. P. Petkov, "Space environments on electronic components guidelines," NASA New Millenium Program (NMP) [Online]. Available: http://nmp.jpl.nasa.gov/JOIN/NMP_Space_Env_Effects.pdf
7. SPENVIS [Online], Available: http://www.spenvis.oma.be/spenvis
8. C. Barnes and L. Selva, "Radiation effects in MMIC devices," JPL [Online]. Available: http://parts.jpl.nasa.gov/mmic/10.PDF
9. A. C. Tribble, The Space Environment: Implications for Spacecraft Design. Princeton University Press, 1995.
10. H. S. Chang, B. W. Kim, C. G. Lee, Y. Choi, S. L. Min, H. S. Yang, and C. S. Kim, "Topological design and routing for low-Earth orbit satellite networks," Proc. of IEEE Global Telecommunications Conference, vol. 1, pp. 529-535, Nov. 1995.
11. W. H. Sanders and J. F. Meyer. "A unified approach for specifying measures of performance, dependability, and performability." In A. Avizienis, J. Kopetz, and J. Laprie, editors, Dependable Computing for Critical Applications, Dependable Computing and Fault-Tolerant Systems, vol. 4, pp. 215-237. Springer-Verlag, 1991.
12. Möbius User Manual [Online]. Available: http://www.perform.csl.uiuc. edu/mobius/manual-/MobiusManual.pdf