| Аннотацiя: |
Дисертація присвячена створенню базових методів інжинірингу комп'ютерних систем (КС) спеціального призначення із двоканальною структурою обробки даних. У роботі удосконалено атрибутивну модель гарантоздатності КС та сформульовано метод кількісного оцінювання рівня реалізації атрибутів, метрик та критеріїв оцінки. Розроблено скалярну математичну модель кількісного оцінювання загального рівня гарантоздатності КС та розроблено метод порівняльної оцінки КС з боку досягнутого рівня гарантоздатності різних варіантів їх виконання. Запропоновано новий клас двоканальних КС із квазімістковою структурою (КМС) та можливістю її реконфігурації при відмовах. Завдяки аналітичним розрахункам та статистичному моделюванню надійності КМС, показано її переваги з боку надійності, достовірності функціонування і живучості. |
