FAILURES DETECTION METHODOLOGY IN NON RECOVERY COMPUTER SYSTEMS BASED ON DIVERSITY MODELING

Authors

  • George Popov

DOI:

https://doi.org/10.47839/ijc.6.3.450

Keywords:

Diversity, dependability, computer system, embedded system, fail-safe, fault-tolerance

Abstract

Diversity is a known approach for increasing reliability of computer systems. The goal of this work is to present quantitative criteria for measure of diversity in non recovery computer systems. For this purpose, the model of diversity-based system with two failure types: detectable and undetectable is presented and a formula to calculate it is proposed.

References

Hristov H., The Problem about Reliability of Electronic Safety Systems, D.Sc. Dissertation, Technical University-Sofia, Bulgaria, 1988 (in Bulgarian)

Strunk Е. Survivability in Embedded Systems, Ph.D. Dissertation, Sept. 12, 2003

Knight, J. C., E. A. Strunk and K. J. Sullivan. Towards a Rigorous Definition of Information System Survivability,DISCEX 2003, Washington, DC, April 2003.

Butler, R. W., and G. B. Finelli.The Infeasibility of Experimental Quantification of Life-Critical Software Reliability. ACM SIGSOFT '91 Conference on Software for Critical Systems, New Orleans, LA, December 1991.

Karakehayov Z., K.S.Kristensen, O.Winther, Embedded Systems, Technical University of Denmark, Department of Applied Electronics, 1995.

Isaksen U., J. P. Bowen, N. Nissanke. System and Software Safety in Critical Systems, The University of Reading, Department of Computer Science Whiteknights, PO Box 225, Reading, Berks RG6 6AY, UK, December 1996

Hristov H.A., V.Trifonov, Safety and Reliability of Communications, Book, Novi Znania, Sofia, 2005 (in Bulgarian)

Martin Torngren and Jan Torin. Conceptual Design of Dependable Embedded Control Systems. 7.Oct 1998.

Burns A., Wellings A.J. HRT-HOOD: A Structured Design Method for Hard Real-Time Systems, J. of Real-Time Systems, Vol. 6, No. 1, January 1994.

Rivera J.G., Danylyszyn A., Winstock C.B., Sha L., Gagliardi M.J. An architectural description of the Simplex Architecture. Technical report CMU/SEI-96-TR-006 ESC-TR-96-006. Carnegie Mellon University, Software Engineering Institute, 1996.

Torngren and Wikander (1996). A Decentralization Methodology for Real-Time Control Applications:Control Engineering Practice, Vol. 4, No. 2, pp. 219-228, February 1996.

Avizienis, A. The N-version approach to fault tolerant software:IEEE Transactions on Software Engineering 11(12):1491-1501, December 1985.

Avizienis, A., J. Laprie, and B. Randell. Fundamental Concepts of Computer System Dependability., IARP/IEEE-RAS Workshop on Robot Dependability: Technological Challenge of Dependable Robots in Human Environments, Seoul, Korea, May 2001.

Robyn R. Lutz, Software Engineering for Safety: A Roadmap, The Future of Software Engineering, ACM Press 2000

Isaksen U., J. P. Bowen, N. Nissanke, System and Software Safety in Critical Systems, The University of Reading, Department of Computer Science Whiteknights, PO Box 225, Reading, Berks RG6 6AY, UK, December 1996

Leveson N. G., Software safety: Why, what, and how. Computing Surveys, 18(2):125{163, June 1986.

Sandoval М., “Smart” Sensors for Civil Infrastructure Systems, A Dissertation Submitted to the Graduate School of the University of Notre Dame, May, 2004

Wilikens M., Masera M., Vallero D. Integration of Safety Requirements in the Initial Phases of the Porject Lifecycle of Hardware/Software Systems. Proc.of SAFECOMP97, Springer-Verlag, ISBN 3-540-76191-8, (1997)

Redell O. Modelling of Distributed Real-Time Control Systems: An approach for design and early analysis. Licentiate thesis, Department of Machine Design, Royal Inst. of Technology, Stockholm, (1998).

Horning J. J., H. C. Lauer, P. M. Melliar-Smith, and B. Randell. A program structure for error detection and recovery. Symposium on Operating Systems 1974: 171-187.

Sha, L. Using Simplicity to Control Complexity: IEEE Software 18(4):20-28.

Popov G. Modeling Diversity as a Method of Detecting Failures in non Recovery Computer Systems :Information Technologies and Control, 2005, N#2.

Downloads

Published

2014-08-01

How to Cite

Popov, G. (2014). FAILURES DETECTION METHODOLOGY IN NON RECOVERY COMPUTER SYSTEMS BASED ON DIVERSITY MODELING. International Journal of Computing, 6(3), 46-51. https://doi.org/10.47839/ijc.6.3.450

Issue

2007, Volume 6, Issue 3

Section

Articles

License

International Journal of Computing is an open access journal. Authors who publish with this journal agree to the following terms:
•    Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
•    Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
•    Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work.