Кількісна оцінка рівня гарантоздатності комп'ютерних систем

Анотація

У статті розглянуті актуальні на сьогоднішній час питання кількісної оцінки рівня гарантоздатності комп'ютерних систем. Запропоновано метод, який дозволяє, отримавши чисельне значення рівня гарантоздатності досліджуваної системи, проводити її аналіз, а також виносити рішення про перевагу того чи іншого варіанта реалізації гарантоздатної системи. З цією метою сформульовано атрибутивну модель гарантоздатності комп'ютерних систем (АМГ), що базується на основних властивостях (атрибутах) гарантоздатних комп'ютерних систем (ГКС) і метриках цих властивостей. Наведено визначення атрибутів і метрик, а також їх розрахункові та якісні характеристики. У статті вирішена задача формалізації узагальненого критерію рівня досягненої гарантоздатності системи, що розробляється. Запропоновано формалізований критерій оцінки рівня гарантоздатності, що представляє собою лінійний функціонал. Кожен атрибут гарантоздатної системи розглядається як комплекс метрик, які можуть бути оцінені розрахунковими, експериментальними або експертними методами. На основі кількісних оцінок метрик обчислюються кількісні оцінки атрибутів, що дозволяє обчислювати кількісну оцінку досягнутого рівня гарантоздатності даної системи для одного з варіантів її виконання. Наведений критерій також включає коефіцієнти впливу атрибутів і ваги метрик досліджуваної системи. Кількісні оцінки рівня виконання метрик є безрозмірними величинами, нормованими на задані у специфікації або граничні значення. За допомогою описаного прикладу продемонстровано розрахунок кількісної оцінки рівня гарантоздатності комп’ютерної системи. Описаний спосіб розрахунку дозволяє детально аналізувати значення рівнів гарантоздатності різних варіантів реалізації досліджуваної КС та робити аргументовані висновки про переважність однієї створюваної системи над іншою.