Спосіб організації тестування у багатошинних системах

Скорочена інформація про документ
dc.contributor.advisorРоманкевич, Олексій Михайлович
dc.contributor.authorКоваленко, Олена Павлівна
dc.date.accessioned2020-12-28T21:15:40Z
dc.date.available2020-12-28T21:15:40Z
dc.date.issued2020-12
dc.description.abstractukДисертація виконана на 80 аркушах, вона містить перелік посилань на використані джерела з 29 найменувань. У роботі наведено 35 рисунків, 7 таблиць. Актуальність теми. На сьогодні сфера використання багатошинних багатопроцесорних систем безперервно розвивається в різноманітних областях науки, бізнеса й виробництва. А також багатошинні системи є складовими електростанцій та літаків, де помилки є критичними, тому покращення параметрів даних систем буде актуальним і в майбутньому. Організація тестування з високою точністю у даних системах забезпечить вчасне виявлення несправних елементів і їх заміну. Зі збільшенням попиту на подібні системи зростає потреба і в забезпеченні оцінки основних параметрів. Відмовостійкість дозволяє системі продовжувати функціонувати в разі виходу з ладу одного або декількох її компонентів. Відмовостійкі комп'ютерні системи існують вже багато років, але на сьогодні для того, щоб передбачити поведінку такої системи в потоці відмов найчастіше використовуються GL-моделі. Оскільки в GL-моделях існує можливість об’єднання базових моделей в одну і на сьогодні з’являються все складніші системи з більшою кількістю процесорів, то GL-моделі будуть і в майбутньому мати попит. Якщо система будується як відмовостійка, то існує необхідність у введені надлишкового апаратного й програмного забезпечення. Тому важливою задачею є створити такі початкові умови, щоб забезпечити відмовостійкість при мінімально необхідній надлишковості задля економії затрат на виробництво такої системи. Зв’язок роботи з науковими програмами, планами, темами. Дисертаційна робота виконувалась згідно з планом науково-дослідних робіт кафедри системного програмування і спеціалізованих комп’ютерних систем Національного технічного університету України «Київський політехнічний інститут імені Ігоря Сікорського». Мета і задачі дослідження. Метою дисертаційної роботи є організація тестування багатошинних багатопроцесорних систем. Для досягнення вказаної мети було розв’язано такі задачі: - досліджено уже існуючі методи тестування та діагностування; - розроблено алгоритм пошуку 0-ланцюжків у діагностих графах; - досліджено багатошинні багатопроцесорні системи, їх класифікацію та специфіку; - знайдено залежності, що надають інформацію, як обрати певні параметри багатошинних багатопроцесорних систем при певних вхідних даних; - побудовано GL-модель багатошинної системи; - розроблено програму, що виконує роботу згідно з розробленим алгоритмом. Об’єктом дослідження є багатошинні багатопроцесорні системи. Предметом дослідження є організація тестування багатошинних багатопроцесорних систем та побудова їх GL-моделей. Методи дослідження. Для розв’язання поставленої задачі використовувалися методи теорії алгоритмів та програмування; методи теорії ймовірності та математичної статистики, методи теорії автоматів та організації самотестування. Наукова новизна одержаних результатів складається з таких положень: уперше поставлено задачу знаходження залежностей у багатошинних системах, що дозволяють обирати кількість міжшинних процесорів, а також число процесорів на кожній шині згідно до початкових даних; удосконалено алгоритм пошуку «0-ланцюжків» у діагностичних графах багатопроцесорних систем; побудовано GL-модель для системи, що складається з трьох шин, яка відображає поведінку у потоці відмов. Практичне значення одержаних результатів. Запропоновані методи можуть бути використані при розробці багатошинних багатопроцесорних систем, а також для забезпечення їх тестування. Алгоритм пошуку «0-ланцюжків» в результаті вказує справний процесор, таким чином відбується пошук інших справних процесорів, які і беруть участь у взаємному тестуванні системи. На практиці алгоритм має переваги, адже працює швидко і коректно для великої кількості процесорів. Побудована GL-модель показує поведінку багатошинної системи в потоці відмов, тому дає можливість системі розрахунку надійності виявляти, як поведе себе система при заданому наборі несправних процесорів. Модель заданої системи легко будується на основі базових моделей при розбитті відповідно на підсистеми. Базова модель є неорієнтовним графом, де кожне ребро є булевою функцією, значення якої дорівнює нулю або одиниці. Всі ребра зі значенням нуля відкидаються, після чого зв’язність графа відповідає роботоздатності системи, а незв’язний граф свідчить про протилежне. Таким чином побудова GL-моделі надає відомості про поведінку системи. Більше того у подальшому за допомогою побудованої моделі можна оцінювати параметри надійності.uk
dc.format.page86 с.uk
dc.identifier.citationКоваленко, О. П. Спосіб організації тестування у багатошинних системах : магістерська дис. : 123 Комп’ютерна інженерія / Коваленко Олена Павлівна. – Київ, 2020. – 86 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/38365
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectбагатошинні багатопроцесорні системиuk
dc.subjectтестування багатопроцесорних системuk
dc.subjectGL-моделіuk
dc.subject.udc004.05uk
dc.titleСпосіб організації тестування у багатошинних системахuk
dc.typeMaster Thesisuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
KovalenkoOP_magistr.pdf
Розмір:
2.82 MB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.16 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Магістерські роботи (СПСКС)
Магістерські роботи