Scientific paper ID 1401 : 2016/3
BASIC CONCEPTION AND TAXONOMY OF THE PROBLEMS AND CONCEPTS IN SAFETY CRITICAL SYSTEMS

Mariya Hristova, Hristo Hristov, Plamen Atanasov

The article s studies in the scientific literature, corporate materials and real working systems that allow for a summarization and classification of the notions and problems in critical systems by relevancy of safety. Issues and concepts in critical safety systems are established, derived, summarized and categorized, and the hierarchical relations between them are defined. The approach of taxonomy as a science of classification and systematization of complex systems has been used. The systematic place and the relationship between errors and faults, resulting failures and their consequences for the safety systems, has been found. The means to detect failures and stopping their dangerous effects (fail-safe) and the means of tolerance (fault tolerance) of refusals by which increases fault tolerance of the system have been systematized. The hierarchy of the different types of tests, the homogeneous and diversity reserve as a means to achieve greater reliability and better identification of failures is shown in the proposed classification scheme.


надеждност сигурност таксономия критични по безопасност системи критичен по безопасност софтуер отказоустойчивост.reliability security taxonomy safety critical systems safety critical software fault toleranceMariya Hristova Hristo Hristov Plamen Atanasov

BIBLIOGRAPHY

[1] Avizienis A., J.C. Laprie, B. Randell, Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE Transactions on Dependable and Secure Computing, vol.1, 2004

[2] Knight J. C., Safety critical systems: challenges and directions, Proceedings ICSE ”02, pp. 547-550, ACM, NY, USA ©2002

[3] Ben Swarup Medikonda and Seetha Ramaiah Panchumarthy. An Approach to Modeling Software Safety in Safety-Critical System, Journal of Computer Science 5 (4), Science Publication 2009

[4] A.Castañeda, I. Romera, F. Bernard, P. Dahlen, B.Todd, D. Willeman, M. Zerlauth, The use of Software in Safety Critical Interlock Systems of the LHC, Proceedings of EPAC08, Genoa, Italy, 2008

[5] Hristova, M. Softuer za kritichni po bezopasnost sistemi. Izd. VTU „T. Kableshkov”, 2016
( [5] Христова, М. Софтуер за критични по безопасност системи. Изд. ВТУ „Т. Каблешков”, 2016 )

[6] Bailey, S. Do you need a taxonomy strategy?, 2002, http://www.ikmagazine.com/xq/asp/sid.0 /articleid.E4F31EEC-FB65-413A-A24B-13AA6AC DD12D/qx/display.htm

[7] Shatalkin A.I., Taksonomiya. Osnovaniya, printsipy i pravila. Izd. Tovarishtestvo nauchnyh izdaniy KMK, 2012 g. http://ashipunov.info/shipunov/school/books...
( [7] Шаталкин А.И., Таксономия. Основания, принципы и правила. Изд. Товарищество научных изданий КМК, 2012 г. http://ashipunov.info/shipunov/school/books... )

[8] Popov G., Failures Detection Methodology In Non Recovery Computer Systems Based On Diversity Modeling, International Journal of Computing, 2014, www.computingonline.net

[9] Popov G., Modelling Diversity as a Method of Detecting Failures in non Recovery Computer Systems, Information Technologies and Control, 2005, 2,pp15-19/

[10] Hristova M., Obnaruzhenie oshibok programmnogo obespecheniya posredstvom metoda reversnogo povtoreniya, Proceedings of the IInd International Scientific and Practical Conference “Methodology of Modern Research”, UAE, “World science”, ISSN 2413-1032, 4(8), vol. 4, 2016.
( [10] Христова М., Обнаружение ошибок программного обеспечения посредством метода реверсного повторения, Proceedings of the IInd International Scientific and Practical Conference “Methodology of Modern Research”, UAE, “World science”, ISSN 2413-1032, 4(8), vol. 4, 2016. )

 

 

 

This site uses cookies as they are important to its work.

Accept all cookies
Cookies Policy