@article{Коваленко_Козлюк_2021, title={ФУНКЦІОНАЛЬНІ МЕТОДИ РОЗРОБКИ ІНТЕГРОВАНИХ МОДУЛЬНИХ СИСТЕМ АВІОНІКИ}, url={http://journalsofznu.zp.ua/index.php/comp-science/article/view/2294}, DOI={10.26661/2413-6549-2021-1-12}, abstractNote={<p>Розвиток сучасних систем авіоніки робить проектування таких систем неможливим без використання засобів автоматизації. У даний час область таких інструментів представлена запатентованими інструментами, розробленими такими великими виробниками літаків, як Boeing та Airbus, а також низкою відкритих або частково відкритих міжнародних проектів, що відрізняються за термінами дії, наявністю вихідного коду та документації. Eсі інструменти базуються на архітектурних моделях розробленої системи. У цій статті розглядаються мови, доступні для опису архітектурних моделей систем авіоніки, та показано, яка мова програмування є найбільш підходящою через її текстові позначення та вбудовані концепції, які добре підходять для представлення більшості елементів вбудованих систем. Потім у статті представлено набір інструментів для проектування сучасних систем авіоніки. Набір інструментів забезпечує як загальну платформу для проектування та аналізу архітектурних моделей, так і спеціалізоване рішення для певної галузі систем авіоніки. Він підтримує створення, редагування та маніпулювання моделями як у текстовому, так і в графічному форматах. Зауважімо, що саме архітектурні моделі, що описують компоненти системи і взаємозв’язок між ними, стають основою для формування нових технологій і інструментів для автоматизації проектування. Вони дозволяють описувати різні аспекти архітектури в єдиній формалізованої моделі, яку можна обробляти різними інструментами для перевірки внутрішньої узгодженості архітектури, відповідності різним вимогам системи, автоматизації проектних рішень, генерації даних і файлів конфігурації, вихідний код і т.д. Складність сучасних авіаційних систем і високі вимоги до їх надійності призводять до необхідності використання загальних ресурсів. Під час створення IMA-систем розробники стикаються з низкою завдань і проблем, з якими вони раніше не стикалися. Для вирішення цих проблем на допомогу приходять різні засоби автоматизації і комп’ютерна підтримка розробки. Розвиток цього напрямку в першу чергу пов’язано з використанням різних моделей, в тому числі архітектурних моделей програмно- апаратних комплексів.</p&gt;}, number={1}, journal={Computer Science and Applied Mathematics}, author={Коваленко, Ю. Б. and Козлюк, І. О.}, year={2021}, month={Вер}, pages={101-115} }