Научен доклад ID 1279 : 2016/1
СОФТУЕР ЗА КРИТИЧНИ ПО БЕЗОПАСНОСТ СИСТЕМИ – ПОНЯТИЯ И ПРИЛОЖЕНИЯ

Мария Христова

Предмет на проучване е софтуерът, критичен за безопасността в различни приложения. Приведени са примери за компютърно базирани системи за управление в реално време от въздушния и железопътния транспорт, космоса, медицината, атомната енергетика и др., в които безопасността на човека зависи от правилното функциониране на системата.
Целта на статията е да се структурира известната информация, свързана с понятийния апарат, използван в критични по безопасност системи и да се направи класификация на системите съобразно характера на управлявания технологичен процес. Представени са видовете откази в зависимост от техните последствия и изискванията към софтуера, произтичащи от стандартите за безопасност на системите.

open/download as PDF
критични по безопасност системи критичен по безопасност софтуер грешки в софтуера отказоустойчивост надеждност надеждност на софтуераsafety critical systems safety critical software errors in software fault tolerance reliability reliability sofМария ХристоваBibliography

[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] Аджиев В., Мифы о безопасном ПО: уроки знаменитых катастроф, Открытые системы, 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] Христов Х., В. Трифонов, Надеждност и сигурност на телекомуникациите, Издателство Нови знания, 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] Христов Хр., М. Христова, Н. Георгиев, Аналитичен подход и модел за анализ и оценка на безопасността на човекомашинни системи за управление на експлоатационния процес в транспорта, Научно списание „Механика, Транспорт, Комуникации”, 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. https://cs.uwaterloo.ca/~dberry/ATRE/Slides/Ahmed.pdf

[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