Description: Currently, a significant amount of information about the flight performance of aircraft is stored on paper, which significantly limits the introduction of modern technology. At this time, one of the conditions for increasing the level of automation in the aviation industry and expanding the list of tasks which are solved automatically is the availability of techniques and tools to convert these data into digital form and evaluate the quality of the result. Thus, the solution to the problem of creating methods and software for the formation and verification of digital output data of the range and flight duration of an aircraft is relevant. The purpose of the article is to present methodological approaches to the practical formation and verification of digital input data for calculating the range and duration of flight of an aircraft and providing suggestions for their use in automated control systems. The main problem during the automated processing of nomograms is that the quality of the source raster data in most cases is low, which significantly limits the use of automated data processing methods. In addition, the organization of step-bystep quality control of data processing is greatly complicated, which can lead to the accumulation of a significant amount of false results. The procedure for verifying digital output includes conducting comparative evaluations (examinations) between the nomograms of the raster (source) image and the nomograms constructed from the results of their conversion to digital form. The main verification criterion is the magnitude of the discrepancy between the values of the nomograms of the bitmap image and the nomograms constructed from the results of their conversion to digital form. The discrepancy should not exceed 5 percent. The process of conducting comparative evaluations of nomograms is carried out by conducting a qualitative assessment and quantitative assessment of the conformity of the raster image and nomograms and, if it necessary, error correction. To perform these procedures, a software package was developed, which consists of a program for generating digital output data and a program for verifying them. The applying of the indicated methodological approach and software product makes it possible to use automated data processing systems both during preliminary engineering and navigational calculations, and when performing calculations taking into account changes in the initial data. In addition, the presence of a methodological approach and a software product is one of the conditions for increasing the level of automation in the aviation industry and expanding the list of tasks solved automatically. Thus, the applying of this methodological approach allows us to digitally convert any output raster graphic dependencies, even of low image quality, and can be widely used to generate digital output data.
Keywords: automated data processing systems, aircraft, software, verification, digital output data
1. Svitlychnyi, О.О. and Plotnytskyi, S.V. (2006), “Osnovy geoinformatiky” [Fundamentals of Geoinformatics], Univer-sity book, Sumy, 295 p.
2. Pietukh, А.М., Reida, О.М., Maidaniuk, V.P. and Kozhemiako, V.P. (2011), “Informacino-vymiruvalni systemy vid-novlenia i uzilnennia sobrazen” [Information and measurement systems for image recovery and compaction], VNTU, Vinnytsia, 144 p.
3. Lyu, M.R. (1996), Handbook of Software Reliability Engineering, McGraw-Hill Company, New York, 805 p.
4. Leveson, N. (1995), Safeware: System Safety and Computers, Addison-Wesley, USA, 431 p.
5. Kharchenko, V.S., Sklyar, V.V. and Tarasyuk, O.M. (2004), “Metody modelirovaniya i otsenki kachestva i nadezhnostiprogrammnogo obespecheniya” [Methods of modeling and evaluating the quality and reliability of software], Kharkov Aviation Institute, Kharkiv, 159 р.
6. Buryakova, N.A. and Chernov, A.V. (2010), “Klassifikatsiya chastichno formalizovannykh i formalnykh modeley imetodov verifikatsii programmnogo obespecheniya” [Classification of partially formalized and formal models and software verification methods], Engineering Bulletin Don, No. 4, рр. 129-134.
7. Kulyamin, V.V. (2008), “Metody verifikatsii programmnogo obespecheniya” [Software engineering. Textbook],Institute of System Programming, Moscow, 111 р.
8. Lipaev, V.V. (2006), “Programmnaya inzheneriya. Metodologicheskiye osnovy” [Software engineering.Methodological basis], Theis, Moscow, 608 р.
9. Boehm, B. and Basili, V. (2001), Software Defect Reduction Top 10 List, IEEE Computer, No. 34(1), рр. 135-137.
10. Deimel, L.E. and Rifkin, S. (1995), Applying Program Comprehension Techniques to Improve Software Inspections,The Software Practitioner, No. 5(3), pp. 4-6.
13. Gilb, T. and Graham, D. (1993), “Software Inspection”, Addison-Wesley, available at:https://onlinelibrary.wiley.com/doi/abs/10.1002/smr.4360070306.
14. (1985), Samolet MiG-29 “Rukovodstvo po dalnosti i prodolzhitelnosti poleta samoleta MiG-29” [Guide to the range andduration of the MiG-29 flight], Voenizdat, Moscow, 120 р.