Компьютерная реализация методов формального анализа сложных организационно-технических систем в процессе проведения комплексной автоматизации

Резюме: Обозначены основные проблемы, возникающие в процессе оценки реализуемости и экономической эффективности проектов комплексной автоматизации. Представлены основные направления научного исследования, цель которого – интеграция в рамках единой методологии известных методов оценки реализуемости и экономической эффективности проектов с математическими моделями и формальными методами, разработанными в рамках методологии функционального моделирования IDEF0.

Ключевые слова: автоматизированная система, оценка реализуемости проекта, оценка экономической эффективности проекта комплексной автоматизации, методология функционального моделирования IDEF0.

I.I. Kovtun, G.S. Romanenko

Computer implementation of formal analysis methods of complex organizational  and technical systems during process  of complex automation

Summary: The article underlines the basic problems that usually evolve at a time of assessment of IT projects feasibility and economic justification. The article also defines basic approaches of the ongoing scientific research consisted in the integration within a single methodology a number of known methods of assessment of IT projects feasibility and economic justification with mathematical models and formal methods developed in the methodology IDEF0.

Keywords: automation system, IT projects feasibility assessment economic justification of IT projects, methodology IDEF0.

DOI: 10.34219/2078-8320-2022-13-7-38-43