КОМПОНЕНТНІ МОДЕЛІ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ВИЩОГО ПОРЯДКУ
Анотація
В роботі представлено дві моделі надійності програмного забезпечення на основі ланцюгів Ма-
ркова вищого порядку з неперервним часом. Одна з моделей враховує не тільки відмови компонент програмного
продукту, але й імовірності відмови інтерфейсів при передачі потоку управління в програмній системі.
