Model and quantification of autonomic dependability of mission-critical systems

Ruan Jian Xue Bao/Journal of Software

Volumn 21, Issue 2, 2010, Pages 344-358

  Wang, Hui Qiang ^a   Lü, Hong Wu ^a   Zhao, Qian ^a   Dong, Xi Kun ^a   Feng, Guang Sheng ^a  

^a HARBIN ENGINEERING UNIVERSITY   (China)

Author keywords

Autonomic computing; Dependability; PEPA (performance evaluation process algebra); Self destruction; Self healing; Self tolerance

Indexed keywords

AUTONOMIC COMPUTING; DEPENDABILITY MODELS; DETECTION RATES; FORMAL ANALYSIS; INTRUSION TOLERANCE; MISSION CRITICAL SYSTEMS; PERFORMANCE EVALUATION PROCESS ALGEBRA; SELF MANAGEMENT; SELF-HEALING; SEMI-MARKOV; STEADY STATE PROBABILITIES;

ALGEBRA;

SECURITY OF DATA;

EID: 77951008501     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.3724/SP.J.1001.2010.03784     Document Type: Article

References (27)

1. Kephart JO, Chess DM. The vision of autonomic computing. Computer, 2003, 1(36): 41-45.
2. Sterritt R, Bustard D. Autonomic computing: A means of achieving dependability? In: Proc. of the 10th IEEE Int'l Conf. and Workshop on the Engineering of Computer-Based Systems. Huntsville: IEEE Computer Society Press, 2003. 247-251.
3. Tohma Y. Fault tolerance in autonomic computing environment. In: Proc. of the 2002 Pacific Rim Int'l Symp. on Dependable Computing. Tsukuba: IEEE Computer Society Press, 2002. 2503-2507.
4. Baldini A, Benso A, Prinetto P. A dependable autonomic computing environment for self-testing of complex heterogeneous systems. Electronic Notes in Theoretical Computer Science, 2005, 116(19): 45-57.
5. Dai YS, Marshall T, Guan XH. Autonomic and dependable computing moving towards a model-driven approach. Journal of Computer Science, 2006, 6(2): 496-504.
6. Madan BB, Goševa-Popstojanova P K, Vaidyanathan K, Trivedi KS. Modeling and quantification of security attributes of software systems. In: Proc. of the 2002 Int'l Conf. on Dependable Systems and Networks. Bethesda: IEEE Computer Society Press, 2002. 505-514.
7. Hillston J. Tuning systems: From composition to performance. The Computer Journal, 2005, 48(4): 385-400.
8. Bradley JT. Semi-Markov PEPA: Compositional modeling and analysis with generally distributed actions. In: Proc. of the 20th Annual UK Performance Engineering Workshop. Irfan Awan: University of Bradford, 2004. 266-275.
9. Bradley JT. Semi-Markov PEPA: Modeling with generally distributed actions. Int'l Journal of Simulation, 2005, 6(3): 43-51.
10. Xing XJ, Lin C, Jiang YX. A survey of computer vulnerability assessment. Chinese Journal of Computers, 2004, 27(1): 1-11 (in Chinese with English abstract).
11. Liao BS, Li SJ, Yao Y, Gao J. Conceptual model and realization methods of autonomic computing. Journal of Software, 2008, 19(4): 779-802 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/19/779.htm
12. Candea G, Brown AB, Fox A, Patterson D. Recovery oriented computing: Building multi-tier dependability. Computer, 2004, 11(37): 60-67.
13. Ellison RJ, Fisher DA, Linge RC, Lipson HF, Longstaff T, Mead NR. Survivable network systems: An emerging discipline. Technical Report, CMU/SEI-97-TR-013, Pittsburgh: Carnegie Mellon University, 1999. 1-33.
14. Hillston J. A Compositional Approach to Performance Modeling. Cambridge: Cambridge University Press, 1996. 17-43.
15. Dingle NJ. Parallel computation of response time densities and quantiles in large Markov and semi-Markov models[Ph.D. Thesis]. London: Imperial College, University of London, 2004.
16. Gokhale SS, Wong WE, Horgan JR, Trivedi KS. An analytical approach to architecture-based software performance and reliability prediction. Performance Evaluation, 2004, 58(4): 391-412.
17. Clark A. ipc: Imperial PEPA compiler. 2009. http://www.doc.ic.ac.uk/ipc/
18. Sharma VS, Trivedi KS. Quantifying software performance, reliability and security: An architecture-based approach. The Journal of Systems and Software, 2007, 80(4): 493-509.
19. Yin LH, Fang BX. Security attributes analysis for intrusion tolerant systems. Chinese Journal of Computers, 2006, 29(8): 1505-1512 (in Chinese with English abstract).
20. Bradley JT, Dingle NJ, Harrison PG, Knottenbelt WJ. Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models. Future Generation Computer Systems, 2006, 22(7): 828-837.
21. Murch R. Autonomic Computing. Upper Saddle River: Pearson Education Inc., 2004. 223, 289-292.
22. Dong XD, Hariri S, Xue LZ, Chen HP, Zhang M, Pavuluri S, Rao S. Autonomia: An autonomic computing environment. In: Proc. of the 2003 IEEE Int'l Conf. on Performance, Computing, and Communications. Phoenix: IEEE Computer Society Press, 2003. 61-68.
23. Elnaffar S, Powley W, Benoit D, Martin P. Today's DBMSs: How autonomic are they? In: Proc. of the 14th Int'l Workshop on Database and Expert Systems Applications. Prague: Republic IEEE Computer Society Press, 2003. 651-655.
24. Hinchey M, Dai YS, Rouff CA, Rash JL, Qi MR. Modeling for NASA autonomous nano-technology swarm missions and model-driven autonomic computing. In: Proc. of the 21st Int'l Conf. on Advanced Networking and Applications (AINA 2007). Niagara Falls: IEEE Computer Society Press, 2007. 250-257.
25. Kunii TL. Autonomic and trusted computing for ubiquitous intelligence. In: Proc. of the 4th Int'l Conf. on Autonomic and Trusted Computing (ATC 2007). Berlin, Heidelberg: Springer-Verlag, 2007. 1-12.
26. Dumitras T, Rosu D, Dan A, Narasimhan P. Dynamic change management for minimal impact on dependability and performance in autonomic service-oriented architectures. Technical Report, CMU-CyLab-06-003, Pittsburgh: CyLab, Carnegie Mellon University, 2006. 1-20.
27. Troxel IA, George AD. Adaptable and autonomic mission manager for dependable aerospace computing. In: Proc. of the Symp. on Dependable, Autonomic and Secure Computing. Indianapolis: IEEE Computer Society Press, 2006. 11-18.