АНАЛІЗ СУЧАСНИХ ТА ТРАДИЦІЙНИХ МЕТОДІВ ПРОЕКТУВАННЯ І ВИРОБНИЦТВА ВІЙСЬКОВОЇ ТЕХНІКИ З ВИКОРИСТАННЯМ АВТОМАТИЗОВАНИХ ІНФОРМАЦІЙНИХ СИСТЕМ
DOI:
https://doi.org/10.17721/2519-481X/2024/83-08Ключові слова:
автоматизовані інформаційні системи, системи управління технічними об'єктами, концептуальна єдність підходів, безперервність процесу проектуванняАнотація
В статті авторами виконано один із видів аналізу існуючих та перспективних методів проектування і виробництва військової техніки з використанням автоматизованих інформаційних систем. Відомо, що програмне забезпечення АІС має характерні ознаки складної системи і підпорядковується законам науки про складні системи. Сучасний етап розвитку складних інформаційних систем характеризується тим, що тенденція до різкого збільшення складності завдань управління все в більшому ступені виявляється в об'ємності програмного забезпечення систем управління технічними об'єктами, технологічними процесами і виробництвом. В роботі зроблено класифікацію програм, відповідно до SPE, яка, являє собою «модель деякої іншої моделі в рамках теорії абстрактного уявлення окремих об'єктів». Вона може бути віднесена до одного з трьох класів: S-клас − це програми, функції яких формально визначаються специфікаціями і випливають із них. Відповідність між входом і виходом є визначальною і будь-яка зміна, створює нову програму. Р-клас − складають програми, прийнятність рішення яких оцінюється шляхом порівняння з реальною обстановкою, тобто програми цього класу повинні постійно змінюватися залежно від зміни навколишнього середовища, уточнення даних тощо. Програми Е-класу самі стають частиною реалізації обстановки, яку вони моделюють, тобто в ще більшому ступені, ніж Р-програми схильні до змін.
Розглянуті основні фази життєвого циклу АІС і визначені їх особливості: визначення, проектування, реалізації, впровадження, експлуатації.
Визначено концептуальну єдність підходів, що використані на етапах отримання системних специфікацій, проектування модульної структури та реалізації модулів, дозволила об‘єднати прийняття окремих рішень в єдину методику проектування коректного спеціального програмного забезпечення, основними відмінностями якої є: пошаровість, яка досягається використанням принципу абстрагування (ієрархії); об‘єднання процесу проектування з процесом моделювання, що досягається застосуванням графових моделей, які отримуються в процесі проектування, та можливістю використання кожного рівня ієрархії в якості моделі СПЗ; безперервність процесу проектування, яка забезпечується сумісністю моделей, які отримуються на різних етапах, участю системного програміста в розробці з начального етапу і можливістю початку кодування з першого етапу.
Посилання
1. Osnovy inzhenerii kachestva programnykh system / F.I. Andon, H.I. Koval, H.M. Korotun, V.Yu. Suslov: NANU, Instytut prohramnykh system. – K.: Akademperiodyka, 2002, 504 s.
2. De Marko T., Lister T. Chelovecheskiy faktor. Uspeshnye proekty i komandy. – M.: Simvol-Plyus, 2012, 288 s.
3. Informatsiyni tekhnolohiyi. Otsinyuvannya protsesiv zhyttyevoho tsyklu prohramnykh zasobiv. – Ofitsiine vydannya. – K.: Derzhspozhyvachstandart, 2001, (Natsionalnyy standart Ukrayiny).
4. Tolubko V.B., Sbitniev A.I., Permyakov O.Yu., Metodolohichni osnovy proektuvannya prykladnoho zabezpechennya do ASU voyennoho pryznachennya. Monohrafiya. – K.: NAOU 2004 r. 248 s.
5. Hryshchak O.M. Proektuvannya spetsialnoho prohramnoho zabezpechennya avtomatyzovanykh informatsiynykh system (analitychnyy ohlyad)// Komp’yuterni informatsiyni tekhnolohiyi ta systemy. Visnyk ChDTU. Cherkasy - 2008. №2 - 075 s. 3-5.
6. Lenkov S.V., Hryshchak O.M., Zhyrov H.B., Pampukha I.V. Otsinka “praktychnosti” ta “korektnosti” spetsialnoho prohrmanoho zabezpechennya avtomatyzovanykh informatsiynykh system voyennoho pryznachennya // Zbirnyk naukovykh prats Viys’kovoho instytutu Kyyivs’koho universytetu imeni Tarasa Shevchenka. – Kyyiv, - 2022. - №74. – S.83 – 89. DOI: 10.17721/2519-481X/2022/74-09.
7. Lenkov S.V., Selyukov O.V., Husak Yu.A., Pampukha I.V., Solodyeyeva L.V. Otsinka “zdatnosti do suprovodu” ta “zdatnosti do peremishchennya” spetsialnoho prohramnoho zabezpechennya avtomatyzovanykh informatsiynykh system voyennoho pryznachennya // Zbirnyk naukovykh prats Viys’kovoho instytutu Kyyivs’koho universytetu imeni Tarasa Shevchenka. – Kyyiv, - 2022. - №75. – S. 23 – 30. DOI: 10.17721/2519-481X/2022/75-04.
8. Lenkov S.V., Boychenko O.V. Otsinka virohidnosti danykh avtomatyzovanoyi systemy upravlinnya // Zbirnyk naukovykh prats Viys’kovoho instytutu Kyyivs’koho natsionalnoho universytetu imeni Tarasa Shevchenka. – K., 2014. – № 45. – S. 46 – 51.
9. Lenkov S.V., Dzhuliy V.M., Mulyar I.V. Dynamichni pokaznyky otsinky rivnya funktsionalnoyi bezpeky informatsiynykh system.
10. Turskyi V. Metodolohyia proektyrovanyia prohramm. - M.: Myr, 1981. -265s.
11. Lehman M. Programs, Life Cycle and Laws of Software Evolution// Proc. of IEEE. - 1980. - Vol. 68. - pp. 26-46.
12. Yodan Э. Strukturnoe proektyrovanye y konstruyrovanye prohramm. - M.: Myr, 1979. -415s.
13. Mylls X. Prohrammyrovanye bolshykh system po pryntsypu "sverkhu-vnyz"// Sredstva otladky bolshykh system. - M.:Statystyka. - 1977.
14. Wirth N. Program Development by Step-Wise Refinment//Comm. ACM. - 1971. - Vol. 14. - pp. 221-229.
15. Fuksman A.L. Tekhnolohycheskye aspektы sozdanyia prohrammnыkh system. - M.: Statystyka, 1979. - 184s.
16. Jakson M.A. Principles of Program Design. - N.Y.: Academic Press. - 1975. - p.238.
17. Liskov B.H. A Design Methodology for Reliable Software Systems // Fall Joint Computer Conf., AFIPS. – 1972. – Vol. 41. – R. 191-199.
18. V.A. Kashkanova, A.A. Kashkanova, B.P. Kukets Informatsiini systemy i tekhnolohii na avtomobilnomu transporti: Navchalnyi posibnyk. – Vinnytsia: VNTU, 2020-104s.
19. Semchak O.M., Bohdanova O.H. Problemy ta perspektyvy rozvytku avtomatyzovanykh system upravlinnia tsilevkazannia // Zbirnyk naukovykh prats Viiskovoho instytutu Kyivskoho universytetu imeni Tarasa Shevchenka. – Kyiv, - 2024. - №82. – S. 94 – 102. DOI: DOI:https://doi.org/10.17721/2519-481X/2024/82-11.
20. Katsalap V.O., Omelianchuk A.V., Syvak O.V. Obhruntuvannia pokaznykiv vidmovostiikosti avtomatyzovanoi systemy upravlinnia tsentru operatyvnoho kerivnytstva Zbroinykh Syl Ukrainy // Zbirnyk naukovykh prats Viiskovoho instytutu Kyivskoho universytetu imeni Tarasa Shevchenka. – Kyiv, - 2027. - №77. – S. 45 – 100. DOI: https://doi.org/10.17721/2519-481X/2022/77-04.
21. Fesokha V.V., Neroznak Ye.I., Sova O.Ia. Udoskonalena model optymalnoho vykorystannia servernykh resursiv klasternoi systemy viiskovoho pryznachennia na osnovi rivnovahy nesha // Zbirnyk naukovykh prats Viiskovoho instytutu Kyivskoho universytetu imeni Tarasa Shevchenka. – Kyiv, - 2023. - №79. – S. 159 – 171. DOI: https://doi.org/10.17721/2519-481X/2023/79-15.
22. Khlaponin Y.I., Qasim N. H., Tarasiuk D.M.// Zbirnyk naukovykh prats Viiskovoho instytutu Kyivskoho universytetu imeni Tarasa Shevchenka. – Kyiv, - 2023. - №80. – S. 91 – 97. DOI: http://doi.org/10.17721/2519-481Х/2023/80-10
