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

Abstract

Метою атестаційної роботи є дослідження методів створення архітектурних специфікацій систем на кристалі та їх верифікації. В якості вирішення поставлених завдань розроблено новий метод до розробки архітектурних специфікацій систем на кристалі і їх використання для створення високорівневих моделей системи. Для спрощення створення виконуваних моделей СНК в набір методів включений метод автоматизації перекладу специфікацій в виконувані моделі на формальних мовах; а для раннього спільного аналізу різних компонентів системи і протоколів її функціонування розроблений метод передбачає застосування різних методів верифікації даних на стадії створення специфікації. Крім того, розроблений набір методів також дозволяє підвищити якість створюваних специфікацій без істотних додаткових зусиль архітекторів та автоматизувати перевикористання специфікацій обчислювальних систем.