Модель конфігурації структури відмовостійких систем на ПЛІС

Abstract

Модель розглядає реакцію системи на особливі події – відмови. Таким чином, за способом уявлення в моделі динаміки системи модель відноситься до заснованих на подіях. При таких подіях система миттєво переходить з початкового працездатного стану або в новий непрацездатний, або залишається в початковому. При цьому динаміка відмов і перехідних процесів не розглядається, а розглядаються лише кінцеві стани. Тобто за способом зміни модельного часу модель відноситься до моделей, заснованих на особливих станах. Модель грунтується на тому, що логічна ємкість мікросхеми є однорідним полем елементів або блоком елементів, що настроюються користувачем. Зручним способом представлення мікросхеми є прямокутна площинна фігура, що містить ідентичні структурні елементи. Модель описується на логічному рівні конфігурацію, що складається з логічних елементів. Логічні елементи (логічні осередки) виділяють за ознакою еквівалентності наслідків відмов. Модель не розглядає контролер конфігурації мікросхеми, оскільки він функціонує тільки під час завантаження конфігурації і не впливає на етап нормальної роботи мікросхеми.