Спосіб оцінки повноти тестових наборів на основі формального методу визначення стану процесорів багатопроцесорної системи
| dc.contributor.author | Морозов, К. В. | |
| dc.contributor.author | Шевченко, А. О. | |
| dc.date.accessioned | 2023-05-25T12:37:13Z | |
| dc.date.available | 2023-05-25T12:37:13Z | |
| dc.date.issued | 2022 | |
| dc.description.abstract | Сучасна техніка все більше використовує відмовостійкі багатопроцесорні системи (ВБС), зокрема, в якості систем керування. Такі системи зазвичай мають досить високі вимоги до надійності та продуктивності. Однією із задач, що виникає під час побудови ВБС, є організація процесу їх самотестування, тобто визначення стану кожного з процесорів системи, аби вчасно реконфігурувати її для забезпечення подальшого функціонування та якнайфективнішого використання наявних ресурсів. Один з підходів полягає у тестуванні процесорів системи окремим спеціалізованим вузлом. Перевагою такого підходу є відносна простота реалізації процедури тестування. З іншого боку, вищезазначений вузол також може виходити з ладу, стаючи таким чином вузьким місцем у забезпеченні заданого рівня надійності системи, що є суттєвим недоліком. Інший підхід базується на взаємних тестових перевірках процесорів один одним без використання додаткових модулів. Одним з недоліків такого підходу є більша складність організації тестування та інтерпретації результатів перевірок. Саме цьому підходу і присвячена дана робота. | uk |
| dc.description.abstractother | The paper considers the problem of self-testing of multiprocessor systems using of the Preparat-Metz-Chen model. It concerns the implementation of algorithm and software that can be used to determine the optimal set of tests. In the case, when based on certain test sets an unambiguous result was not obtained it will help to determine an additional test set that is sufficient to establish all the states of the processors in the system. A step-by-step algorithm for simplifying complex expressions and determining the set of redundant tests are described. | uk |
| dc.format.pagerange | С. 282-286 | uk |
| dc.identifier.citation | Морозов, К. В. Спосіб оцінки повноти тестових наборів на основі формального методу визначення стану процесорів багатопроцесорної системи / Морозов К. В., Шевченко А. О. // Прикладна математика та комп’ютинг ПМК' 2022. П'ятнадцята конференція магістрантів та аспірантів Київ, 16-18 листопада 2022 р. : збірник тез доповідей. - Київ : КПІ ім. Ігоря Сікорського, 2022. - С. 282-286. | uk |
| dc.identifier.uri | https://ela.kpi.ua/handle/123456789/56130 | |
| dc.language.iso | uk | uk |
| dc.publisher | КПІ ім. Ігоря Сікорського | uk |
| dc.publisher.place | Київ | uk |
| dc.relation.ispartof | Прикладна математика та комп’ютинг ПМК' 2022. П'ятнадцята конференція магістрантів та аспірантів Київ, 16-18 листопада 2022 р. : збірник тез доповідей | uk |
| dc.subject.udc | 004.05 | uk |
| dc.title | Спосіб оцінки повноти тестових наборів на основі формального методу визначення стану процесорів багатопроцесорної системи | uk |
| dc.type | Article | uk |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- SPSKS-Morozov_Shevchenko_P282-286.docx
- Size:
- 31.67 KB
- Format:
- Microsoft Word XML
- Description:
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 9.1 KB
- Format:
- Item-specific license agreed upon to submission
- Description: