sustainНадежностьDependability1729-26462500-3909RAMS Journal Limited liability company10.21683/1729-2646-2015-0-4-87-96sustain-107Research ArticleСООБЩЕНИЯREPORTSПРОБЛЕМЫ ОЦЕНКИ НАДЕЖНОСТИ И КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В АВТОМАТИЗИРОВАННЫХ СИСТЕМАХ УПРАВЛЕНИЯ ТЕХНОЛОГИЧЕСКИМИ ПРОЦЕССАМИPROBLEMS OF EVALUATION OF SOFTWARE DEPENDABILITY AND QUALITY IN INDUSTRIAL AUTOMATION AND CONTROL SYSTEMSАнтоновА. В.AntonovA. V.

кандидат технических наук, старший научный сотрудник

PhD Engineering, Senior Research Assistant

av@ipu.ruЖаркоЕ. Ф.ZharkoE. F.

кандидат технический наук, старший научный сотрудник

PhD Engineering, Senior Research Assistant

elena_hot@inbox.ruПромысловВ. Г.PromyslovV. G.

кандидат физико-математических наук, ведущий научный сотрудник

Candidate of physical-mathematical sciences, Senior Research Assistant

v1925@mail.ruИнститут проблем управления им. В.А.Трапезникова РАНРоссияV.A.Trapeznikov Institute of Control Sciences, RASRussian FederationИнститут проблем управления им. В.А.Трапезникова РАНРоссияV.A. Trapeznikov Institute of Control Sciences, RASRussian Federation201506072016048796Copyright © Антонов А.В., Жарко Е.Ф., Промыслов В.Г., 20162016Антонов А.В., Жарко Е.Ф., Промыслов В.Г.Antonov A.V., Zharko E.F., Promyslov V.G.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.dependability.ru/jour/article/view/107

В статье рассматриваются аспекты оценки качества, надежности программного обеспечения в части теоретических основ, методов, основных тенденций и проблем в этой области.

The article describes aspects of evaluation of quality, reliability of software regarding theoretical basis, methods, main tendencies and problems in this area.

надежностьобеспечение качествапрограммное обеспечениеАСУ ТПdependabilityquality assurancesoftwareIACSReferencesБывайков М.Е., Жарко Е.Ф., Менгазетдинов Н.Э., Полетыкин А.Г., Прангишвили И.В., Промыслов В.Г. Опыт проектирования и внедрения системы верхнего блочного уровня АСУ ТП АЭС // Автоматика и телемеханика. 2006. № 5. С. 65-79.Byvaikov M. E., Zharko E.F., Mengazetdinov N.E., Poletykin A.G., Prangishvili I.V., Promyslov V.G. Experience of designing and implementation of system of upper unit level of NPP IACS//Automation and telemechanics. 2006. No. 5. p. 65-79.Smith D., DeLong T., Johnson B.W. A Safety Assessment Methodology for Complex Safety-Critical Hardware/Software Systems // International Topical Meeting on Nuclear Plant Instrumentation, Controls, and Human-Machine Interface Technologies. Washington, DC, November, 2000Smith D., DeLong T., Johnson B.W. A Safety Assessment Methodology for Complex Safety-Critical Hardware/ Software Systems//International Topical Meeting on Nuclear Plant Instrumentation, Controls, and Human-Machine Interface Technologies. Washington, DC, November, 2000Липаев В.В. Надежность программных средств. М.: СИНТЕГ, 1998.Lipaev V.V. Dependability of software. M: SINTEG, 1998.Aldernir T., Miller D.W., Stovsky M.P., Kirschenbaurr J., Bucci P., Fentiman A.W., Mangan L.T. Current State of Reliability Modeling Methodologies for Digital Systems and Their Acceptance Criteria for Nuclear Power Plant Assessments (NUREG/CR-6901).Aldernir T., Miller D.W., Stovsky M.P., Kirschenbaurr J., Bucci P., Fentiman A.W., Mangan L.T. Current State of Reliability Modeling Methodologies for Digital Systems and Their Acceptance Criteria for Nuclear Power Plant Assessments (NUREG/CR-6901).Halstead M.H. Elements of Software Science. New York: Elsevier, 1977.Halstead M.H. Elements of Software Science. New York: Elsevier, 1977.Devooght J., Smidts C. Probabilistic Reactor Dynamics l: The theory of continuous event trees // Nuclear Science and Engineering. 1992. Vol. 111. No. 3. P. 229-240.Devooght J., Smidts C. Probabilistic Reactor Dynamics l: The theory of continuous event trees // Nuclear Science and Engineering. 1992. Vol. 111. No. 3. P. 229-240.Acosta C., Siu N. Dynamic event trees in accident sequence analysis: Application to steam generator tube rupture // Reliab. Engng & System Safety. 1993. Vol. 41, No. 2. P. 135-154.Acosta C., Siu N. Dynamic event trees in accident sequence analysis: Application to steam generator tube rupture // Reliab. Engng & System Safety. 1993. Vol. 41, No. 2. P. 135-154.Goddard P.L. A Combined Analysis Approach to Assessing Requirements for Safety Critical Real- Time Control Systems // Reliability and Maintainability Symposium, 1996 Proceedings. International Symposium on Product Quality and Integrity., Annual. P. 110-115.Goddard P.L. A Combined Analysis Approach to Assessing Requirements for Safety Critical Real-Time Control Systems // Reliability and Maintainability Symposium, 1996 Proceedings. International Symposium on Product Quality and Integrity., Annual. P. 110-115.Stamataletos M. et.al. Probabilistic Risk Assessment Procedures Guide for NASA Managers and Practitioners, Version 1.1, August, 2002.Stamataletos M. et.al. Probabilistic Risk Assessment Procedures Guide for NASA Managers and Practitioners, Version 1.1, August, 2002.Andrews J.D., Dugan J.B. Dependency modeling using fault-tree analysis // Proceedings of the 17 International System Safety Conference, The System Safety Society, Unionville, Virginia, 1999. P. 67-76.Andrews J.D., Dugan J.B. Dependency modeling using failure-tree analysis // Proceedings of the 17 International System Safety Conference, The System Safety Society, Unionville, Virginia, 1999. P. 67-76.Matsuoka T., Kobayashi M. An analysis of a dynamic system by the GOFLOW methodology // Proc. ESREL’96/PSAM III, Crete, 1996. P. 1547-1552.Matsuoka T., Kobayashi M. An analysis of a dynamic system by the GOFLOW methodology // Proc. ESREL’96/PSAM III, Crete, 1996. P. 1547-1552.Smidts C., Li M. Validation of a Methodology for Assessing Software Quality. Report UMDRE 2002-07. February, 2002.Smidts C., Li M. Validation of a Methodology for Assessing Software Quality. Report UMDRE 2002-07. February, 2002.NEA/CSNI Recommendations on assessing digital system reliability in probabilistic risk assessment of nuclear power plants. 2009. 157 p.NEA/CSNI Recommendations on assessing digital system reliability in probabilistic risk assessment of nuclear power plants. 2009. 157 p.Fitzpatrick R. Software Quality: Definitions and Strategic Issues. Staffordshire University, School of Computing Report. 1996. 35 p.Fitzpatrick R. Software Quality: Definitions and Strategic Issues. Staffordshire University, School of Computing Report. 1996. 35 p.Жарко Е.Ф. Сравнение моделей качества программного обеспечения: аналитический подход // XII Всероссийское совещание по проблемам управления. ВСПУ-2014. Москва, 16-19 июня 2014 г.: Труды. М.: ИПУ РАН, 2014. С. 4585-4594.Zharko E.F. Comparison of models of software quality: analytical approach//XII All-Russia conference on control problems. VSPU-2014. Moscow, June, 16-19th, 2014: Works. M: IPU of the Russian Academy of Sciences, 2014. p. 4585-4594.

The authors declare that there are no conflicts of interest present.