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

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

Предмет на проучване са проблемите на софтуера, критичен за безопасността в различни приложения. Предложена е следната логическа конструкция: не трябва да се допускат грешки на никой от етапите и нивата на изграждане на софтуера. За целта се привличат създадените от науката подходи, формални методи и средства за програмиране, както и действащите стандарти за критичен софтуер. Но в сложни системи грешки продължава да има. За да се открият и отстранят грешките преди пускането на системата в експлоатация, се прилагат подходи, методи и средства за верификация и off-line тестване. Въпреки това, в експлоатация остават немалко грешки, някои от които водят до ограничаване на функционалността, а други могат да предизвикат опасни инциденти. Неблагоприятното влияние на едните и опасното въздействие на другите може да се ограничат, ако грешките се открият по време на работа (on-line), последствията им се стопират и грешките се отстранят или се толерират, за да не се проявяват.
Прави се изводът, че проблемите на критичния за безопасността софтуер са свързани с нормите за допустим риск, методите за изграждане на безопасен и безгрешен софтуер, методите за изграждане и структурите на безопасни след отказово поведение (fail-safe) и отказоустойчиви (fault-tolerance) kритични по безопасност системи (SCS), оценката за опасността след отказ, възможностите тя да се намали, както и моделите на надеждността и безопасността, оценяващи влиянието на грешките на софтуера.

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

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

[2] Vesely W.E., F.F. Goldberg, N.H. Roberts, D.F. Haasl, Fault Tree Handbook (NUREG-0492), 1981

[3] Threat Effects Analysis: Applying FMEA to Model Computer System. Annual Reliability and Maintainability Symposium - February ISBN: 1-4244-1461-X Library of Congress 78-132873 IEEE 2008 Proc. Ann. Reliability & Maintainability Symp. 2008

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

[5] Mayers G.J. Software Reliability: Principles and Practices, New York, Wiley, 1979 г.

[6] Asad Ch. A., M. Irfan, M. J. Rechman, An approach for software reliability model selection - IEEE Computer Society Press, 2004

[7] Shooman M.L. Operational Testing and Software Reliability Estimation During Program Developments - IEEE Computer Society, 1973

[8] Coutinho J. deS, Software Reliability Growth - IEEE Symposium on Computer Software Reliability, 1973

[9] Musa J. D., Okumoto, K., Software Reliability Models: Concepts, Classification, Comparisons, and Practice - Electronic Systems Effectiveness and Life Cycle Costing, 2000

[10] Avizienis, Jean-Claude Laprie и Brian Randel „Basic Concepts and Taxonomy of Dependable and Secure Computing”, написана от Algirdas IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOL. 1, NO. 1, JANUARY-MARCH 2004

[11] Fujiwara T., M. Kimura, Y. Satoh, S. Yamada, A Method of Calculating Safety Integrity Level for IEC61508, Conformity Software, 17th IEEE Pacific Rim International Symposium on Dependable Computing , 2011