Scientific paper ID 1279 : 2016/1

Mariya Hristova

The paper is dedicated to a study on the problems of safety critical software in various applications. The examples of computer-based systems for real-time management have been taken from air and rail transport, space, medicine, nuclear power engineering, etc. where human safety depends on proper functioning of the system.

The aim is to structure the existing known information related to the conceptual apparatus used in safety critical systems, classification of systems accordance with the nature of the controlled process, the types of failures according to their consequences and A software ments specification arising from the safety standards of the systems.

критични по безопасност системи критичен по безопасност софтуер грешки в софтуера отказоустойчивост надеждност надеждност на софтуераsafety critical systems safety critical software errors in software fault tolerance reliability reliability sofMariya Hristova


[1] Sommerville I., Safety Engineering, pp. 1-36, 2013

[2] Lyu M. R., Handbook of Software Reliability Engineering, McGraw-Hill, 1996

[3] Caia H., Ch. Zhanga, W. Wub, T. Hoa, Z. Zhangb, Modelling High Integrity Transport Systems by Formal Methods, International Conference on Traffic & Transportation Studies (ICTTS’2014) 729 - 737, 2014

[4] Bérard B. et al., Systems and Software Verification - Model-Checking Techniques and Tools, Springer Verlag, 2001

[5] Shooman M. L., Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design, A Wiley-Interscience Publication, John Wiley Sons, inc., ISBN: 978-0-471-29342-2, 2002

[6] Jezequel J.M., B. Meyer, Put it in the Contract: The Lessons of Ariane, Computer, Vol. 30, No. 2, 1997, pp.129-130

[7] Adzhiev V., Mify o bezopasnom PO: uroki znamenityh katastrof, Otkrytyye sistemy, 06, 1998
( [7] Аджиев В., Мифы о безопасном ПО: уроки знаменитых катастроф, Открытые системы, 06, 1998 )

[8] Butler, R.W., G.B. Finelli, The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software, IEEE Transactions on Software Engineering, 19(1), pp. 3-12, 2001

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

[10] Norris, A. C. (2002). Essentials of Telemedicine and Telecare. West Sussex, England, New York: John Wiley & Sons, Ltd. ISBN 0-471-53151-0.

[11] Hristov H., V. Trifonov, Nadezhdnost i sigurnost na telekomunikatsiite, Izdatelstvo Novi znaniya, 2007
( [11] Христов Х., В. Трифонов, Надеждност и сигурност на телекомуникациите, Издателство Нови знания, 2007 )

[12] M. Franeková, P. Lüley, ModelLing of failure effects within safety- related communications with safety code for railway applications. Journal Mechanic, Transport, Communication, ISSN 1312-3823, art. ID 1213, VII 27 –VII 34, 2015

[13] Hristov H., W. Bo, Safety Critical Computer Systems: failure independence and software diversity effects on reliability of dual channel structures, Information Technologies and Control, № 2, pp. 9-18, 2014

[14] Hristov Hr., M. Hristova, N. Georgiev, Analitichen podhod i model za analiz i otsenka na bezopasnostta na chovekomashinni sistemi za upravlenie na eksploatatsionniya protses v transporta, Nauchno spisanie „Mehanika, Transport, Komunikatsii”, ISSN 1312-3823, statiya 0480, BG–3.17 –BG-3.28, br. 2, 2010 g. 15] Ahmed F., Analysis of ments and communication in safety-critical software systems.
( [14] Христов Хр., М. Христова, Н. Георгиев, Аналитичен подход и модел за анализ и оценка на безопасността на човекомашинни системи за управление на експлоатационния процес в транспорта, Научно списание „Механика, Транспорт, Комуникации”, ISSN 1312-3823, статия 0480, BG–3.17 –BG-3.28, бр. 2, 2010 г. 15] Аhmed F., Analysis of ments and communication in safety-critical software systems. )

[16] Elakeili, S. M., Fail-Safe Test Generation of Safety Critical Systems Electronic Theses and Dissertations,Paper 180, 2015

[17] Popov G., Ianchev G., Krasteva A., Temedicine - possibilities and development in Bulgaria, International Scientific Conference “CompSystTech 2004”, Sofia, dec., 2004, pp.245-247




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

Accept all cookies
Cookies Policy