Search academic texts

Information × Registration Number 0415U005126, Candidate dissertation Status к.т.н. Date 02-07-2015 popup.evolution o Title Models and Methods for Designing Digital Components of Computer Systems Based on Tabular Hardware Description Languages Author Konishcheva Anna Pavlivna, popup.head Malynovskyi Mykhailo Leonidovych popup.opponent Кривуля Геннадій Федорович popup.opponent Леонов Сергій Юрійович Description Об'єкт дослідження: процес проектування цифрових компонентів комп'ютерних систем. Мета дослідження: підвищення якості та зменшення терміну реалізації проектів шляхом розробки моделей та методів проектування цифрових компонентів комп'ютерних систем на основі табличних мов опису апаратури. Методи дослідження: синтез цифрових автоматів, формальний опис мов, математичне моделювання, комп'ютерне моделювання, оцінка якості програмних продуктів. Теоретичні та практичні результати: запропоновані в роботі ідеологія створення мов опису апаратури, сукупність моделей табличних конструкцій, модель і процедура трансляції, методи проектування використані НВП "Стальенерго" (м. Харків) при створенні Центрального обчислювального модуля для реалізації алгоритмів керування об'єктами критичного застосування на залізничному транспорті та в метрополітені. Наукова новизна: вперше запропонована ідеологія створення табличних мов опису апаратури, яка орієнтована на використання двовимірних таблично-мовних конструкцій опису інтерфейсу, поведінки і архітектури цифрових систем, що дозволяє підвищити якість програмних проектів за рахунок зменшення розміру і автоматизації введення програмного коду, спрощення аналізу коду з вкладеними конструкціями і т.д.; вперше отримана сукупність моделей двовимірних таблично-мовних конструкцій опису апаратури, що дозволяє створити інструментальні засоби проектування цифрових систем на основі табличних мов і автоматизувати процедури компіляції проектів, реалізованих таблично-мовними засобами; вперше запропоновано модель і процедуру трансляції таблично-мовних конструкцій в стандартні мови опису апаратури, що забезпечує зниження трудовитрат проектувальників і підвищення якості програмних проектів за рахунок застосування існуючих компіляторів і засобів проектування до проектів, описаних табличними засобами; отримали подальший розвиток методи проектування цифрових компонентів комп'ютерних систем, які, на відміну від відомих, базуються на застосуванні таблично-мовних конструкцій опису умов і дій, що дозволяє підвищити показники якості проектів реалізації цифрових систем; удосконалено метод оцінки якості програмного забезпечення, який, на відміну від відомих, дозволяє виконати інтегральну оцінку якості ПЗ за сукупністю показників якості, яка включає обсяг словника мови програмування і повноту його використання, що дозволяє підвищити достовірність оцінки показників якості програмного забезпечення. Ступінь впровадження: НВП "Стальенерго" (м. Харків), Харківський національний технічний університет сільського господарства ім. Петра Василенка (м. Харків). Сфера використання: проектування цифрових пристроїв, комп'ютерне моделювання їх роботи, навчальний процес. Registration Date 2015-07-02 popup.nrat_date 2020-04-03 Close