Scientific paper ID 1280 : 2016/1
SOFTWARE FOR SAFETY CRITICAL APPLICATIONS – REQUIREMENTS, PROBLEMS AND SOLUTIONS
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
 Elakeili, S. M., Fail-Safe Test Generation of Safety Critical Systems Electronic Theses and Dissertations,Paper 180, 2015
 Vesely W.E., F.F. Goldberg, N.H. Roberts, D.F. Haasl, Fault Tree Handbook (NUREG-0492), 1981
 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
 Sommerville I., Safety Engineering, pp. 1-36, 2013
 Mayers G.J. Software Reliability: Principles and Practices, New York, Wiley, 1979 г.
 Asad Ch. A., M. Irfan, M. J. Rechman, An approach for software reliability model selection - IEEE Computer Society Press, 2004
 Shooman M.L. Operational Testing and Software Reliability Estimation During Program Developments - IEEE Computer Society, 1973
 Coutinho J. deS, Software Reliability Growth - IEEE Symposium on Computer Software Reliability, 1973
 Musa J. D., Okumoto, K., Software Reliability Models: Concepts, Classification, Comparisons, and Practice - Electronic Systems Effectiveness and Life Cycle Costing, 2000
 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
(  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 )
 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