Методи оцінювання якості програмного забезпечення для класифікації повітряних об’єктів в автоматизованій системі управління повітряним рухом

Abstract

Тімочко О.О. Методи оцінювання якості програмного забезпечення для класифікації повітряних об’єктів в автоматизованій системі управління повітряним рухом. – Рукопис. Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.22.13 – Навігація та управління рухом. – Льотна академія Національного авіаційного університету. Кропивницький, 2019. Дисертаційна робота присвячена вирішенню актуального наукового завдання, пов’язаного з розробкою методів оцінювання якості програмного забезпечення для класифікації повітряних об’єктів в автоматизованій системі управління повітряним рухом, що має суттєве значення для підвищення рівня безпеки повітряного руху. Наукова новизна одержаних результатів полягає в тому, що: вперше розроблено метод верифікації програмного забезпечення нечіткої логічної системи класифікації повітряних об’єктів; одержав подальшого розвитку метод класифікації повітряних об’єктів; удосконалено метод оцінювання якості інформації для класифікації повітряних об’єктів. Timochko O.O. Software Quality Evaluating Methods for Classifying Air Objects in an Automated Air Traffic Management System. – Manuscript. The Thesis submitted for the scientific degree of Doctor of Philosophy (engineering) (Candidate of Technical Sciences) on specialty 05.22.13 – Navigation and Traffic Control. – Flight Academy of National Aviation University. Kropyvnytskiy, 2019. The dissertation is devoted to the solution of the actual scientific problem related to the development of methods for evaluating the quality of software for the classification of air objects in an automated air traffic management system, which is essential for improving air traffic safety. The scientific novelty of the obtained results is that: for the first time, a method for verifying the software of a fuzzy logical classification system for aerial objects has been developed, that converts a database of fuzzy production rules into a workable model based on the use of fuzzy colored Petri nets within formal software verification methods; has received further development of the software classification method, which differs from the known complex processing of information from heterogeneous sources; formalization of software features based on binary relations and divisional procedures; a hierarchical fourtier structure of classification of air objects; features of the structure of the singleton knowledge base; analysis of the completeness and reliability of the input information to determine the superiority of the solution options; features of the mechanism of logical deduction, which has determined branches of decision-making about air objects and branches of decision-making on the basis of fuzzy logical conclusion with the formation of the vector of "trust" to the variants of decision; the method of estimating the quality of information for the classification of air objects has been improved, in which, unlike the known ones, the minimum distance of the available information from the reference is presented for the completeness criterion; prioritizing decision making using only the informative attributes inherent in each class when calculating. The practical significance of the results obtained allows:  to increase the level of safety of civil aviation;  to parry an emergency situation in the air by an operator even before its transition to a critical condition in the conditions of change of aircraft classification characteristics;  to create conditions for the construction and further operation of software for the classification of new generation air assets;  to perform a comparative analysis of the different variants of the software for the classification of air objects and to provide sound recommendations for the choice of the best variant;  to develop practical software testing schemes to achieve the performance of existing systems to a specified level. The main results of the research are recommended to be used in the development and testing of software for the classification of aerial objects, in particular, in the context of the processing of characteristic information coming from various sources. Тимочко А.А. Методи оценивания качества программного обеспечения для классификации воздушных объектов в автоматизированной системе управления воздушным движением. – Рукопись. Диссертация на соискание ученой степени кандидата технических наук по специальности 05.22.13 – Навигация и управление движением. – Летная академия Национального авиационного университета. Кропивницкий, 2019. Диссертация посвящена решению актуальной научной задачи, связанной с разработкой методов оценки качества программного обеспечения для классификации воздушных объектов в автоматизированной системе управления воздушным движением, имеет существенное значение для повышения уровня безопасности воздушного движения. Научная новизна исследования заключается в том, что: впервые разработан метод верификации программного обеспечения нечеткой логической системы классификации воздушных объектов; получил дальнейшее развитие метод классификации воздушных объектов; усовершенствован метод оценки качества информации для классификации воздушных объектов.