До питання про достовірність функціонування комп’ютерних систем з квазімістковою структурою.

Анотація

Анотація. У роботі розглянуті питання щодо використання простої феноменологічної моделі з метою визначення аналітичної залежності достовірності функціонування комп'ютерних систем (КС) у залежності від типу структур і їх характеристик. Відмови і збої у процесі функціонування інформаційно-управлячих систем, а також недоліки програмного забезпечення, що не виявлені у процесі проектування, призводять до виникнення помилок, які тягнуть за собою зниження достовірності обчислень і, як наслідок, непередбачувану поведінку управляючої системи. Вперше така характеристика, як «достовірність», була включена А. Авіженісом (Algirdas Avizienis) до переліку базових атрибутів гарантоздатності КС. Відомо, що з ростом надійності функціонування КС підвищується і достовірність інформації, що виробляється нею, або управляючого впливу на управляючі об'єкти (УО). Однак для надлишкових КС, структури яких характеризуються властивістю відмовостійкості, такої прямої залежності немає. Аналіз структурної надійності та достовірності функціонування різних надлишкових структур КС показав, що мажоритарні структури мають більш високий рівень достовірності функціонування в порівнянні з іншими надмірними структурами, що перевищують їх по безвідмовності. Однак останнім часом серед відомих надлишкових структур КС, що використовуються для забезпечення відмовостійкості, з'явилася нова двоканальна квазімісткова структура (КМС), що самоперевіряється, достовірність функціонування якої раніше не досліджувалась. У роботі показано, що КМС, маючи у своєму складі модулі з більш високою індивідуальною безвідмовністю в порівнянні з модулями, що входять до складу інших аналізованих структур, характеризується невисокою двократною апаратною надмірністю, виграючи при цьому у мажоритарних структур з три і п'ятикратною апаратною надмірністю як за оцінкою базової моделі безвідмовності (ймовірності безвідмовної роботи), так і за достовірністю функціонування. Ключові слова: достовірність, ймовірність безвідмовної роботи, квазімісткова структура, розрахунок достовірності функціонування.