| Аннотацiя: |
Дисертація присвячена проблемі розробки та реалізації методів і засобів проектування технічних і програмних компонентів безпечних ПЛІС-контролерів з паралельною архітектурою для систем критичного застосування. Розробленоьметодологію абстрактного та структурного синтезу безпечних логічних автоматів паралельної дії. Запропоновано моделі та виділено класи безпечних автоматів ; табличні та графічні методи завдання безпечних автоматів ; методи синтезу безпечних автоматів з функціональною деградацією ; методи синтезу безпечних автоматів з функцією керування деградацією. |
