Scientific paper ID 1280 : 2016/1

Mariya Hristova

The paper is dedicated to a study on the problems of safety critical software in various applications. The following logical structure is proposed: there must be no mistakes made in any of the stages and levels of software development. For that purpose, some approaches, formal methods and tools of programming created by science as well as operating standards for critical software are used. However, in complex systems errors continue to exist. To detect and remove errors before putting the system into operation, approaches, methods and tools for verification as well as off-line testing are applied. Nevertheless, a number of mistakes still remain in operation, some of which result in limiting functionality while others can cause dangerous incidents. The unfavourable effect of the former and the dangerous effects of the latter can be limited if errors are found during operation (on-line), the consequences are stopped and they are removed or tolerated not to appear. It is concluded that the problems of safety critical software are connected with the standards of admissible risk, methods for building safe and fault-free software, methods for building structures of fail-safe and fault-tolerance SCS, the assessment of post-failure danger, the possibility to reduce danger as well as models of reliability and safety evaluating the impact of software errors.

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


[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 i Brian Randel „Basic Concepts and Taxonomy of Dependable and Secure Computing”, napisana ot Algirdas IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOL. 1, NO. 1, JANUARY-MARCH 2004
( [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




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

Accept all cookies
Cookies Policy