TY - JOUR AU - Коваленко, Ю. Б. AU - Козлюк, І. О. PY - 2021/09/06 Y2 - 2024/03/29 TI - ФУНКЦІОНАЛЬНІ МЕТОДИ РОЗРОБКИ ІНТЕГРОВАНИХ МОДУЛЬНИХ СИСТЕМ АВІОНІКИ JF - Computer Science and Applied Mathematics JA - PMJ VL - IS - 1 SE - РОЗДІЛ ІI. КОМП’ЮТЕРНІ НАУКИ DO - 10.26661/2413-6549-2021-1-12 UR - http://journalsofznu.zp.ua/index.php/comp-science/article/view/2294 SP - 101-115 AB - Розвиток сучасних систем авіоніки робить проектування таких систем неможливим без використання засобів автоматизації. У даний час область таких інструментів представлена запатентованими інструментами, розробленими такими великими виробниками літаків, як Boeing та Airbus, а також низкою відкритих або частково відкритих міжнародних проектів, що відрізняються за термінами дії, наявністю вихідного коду та документації. Eсі інструменти базуються на архітектурних моделях розробленої системи. У цій статті розглядаються мови, доступні для опису архітектурних моделей систем авіоніки, та показано, яка мова програмування є найбільш підходящою через її текстові позначення та вбудовані концепції, які добре підходять для представлення більшості елементів вбудованих систем. Потім у статті представлено набір інструментів для проектування сучасних систем авіоніки. Набір інструментів забезпечує як загальну платформу для проектування та аналізу архітектурних моделей, так і спеціалізоване рішення для певної галузі систем авіоніки. Він підтримує створення, редагування та маніпулювання моделями як у текстовому, так і в графічному форматах. Зауважімо, що саме архітектурні моделі, що описують компоненти системи і взаємозв'язок між ними, стають основою для формування нових технологій і інструментів для автоматизації проектування. Вони дозволяють описувати різні аспекти архітектури в єдиній формалізованої моделі, яку можна обробляти різними інструментами для перевірки внутрішньої узгодженості архітектури, відповідності різним вимогам системи, автоматизації проектних рішень, генерації даних і файлів конфігурації, вихідний код і т.д. Складність сучасних авіаційних систем і високі вимоги до їх надійності призводять до необхідності використання загальних ресурсів. Під час створення IMA-систем розробники стикаються з низкою завдань і проблем, з якими вони раніше не стикалися. Для вирішення цих проблем на допомогу приходять різні засоби автоматизації і комп’ютерна підтримка розробки. Розвиток цього напрямку в першу чергу пов’язано з використанням різних моделей, в тому числі архітектурних моделей програмно- апаратних комплексів. ER -