Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
IPZ_1modul.docx
Скачиваний:
0
Добавлен:
01.05.2025
Размер:
611.93 Кб
Скачать

39 Поняття критичної системи.

Зазвичай відмова систем, керованих з допомогою ПЗ, викликає незручності, але вони не приводять до тривалих наслідків. Проте є системи, відмови яких можуть приводити до значних економічних втрат, фізичних пошкоджень або створювати загрозу людського життя. Такі системи - називають критичними.

40 Основні типи критичних систем.

Існують три основні типи критичних систем.

  1. Системи, критичні по забезпеченню безпеки. Системи, відмова яких приводить до руйнувань, створює загрозу життя людини або завдає шкоди навколишньому середовищу. Як прикладу можна привести систему управління виробництвом на хімічному заводі.

  2. Системи, критичні для цільового призначення. Системи, відмова яких може привести до помилок в діях, направлених на забезпечення певної мети. Прикладом може служити навігаційна система космічного корабля.

  3. Системи, критичні для бізнесу. Відмова таких систем може завдати шкоди справі, в якій вони використовується. Прикладом є система, обслуговуюча рахунки клієнтів в банку

41. Основні джерела відмов та підходи до проектування критичних систем.

Розглядаючи надійність критичних систем, можна виділити три типи системних "компонентів", схильних до відмови.

  1. Апаратні засоби системи, що відмовляють або через помилки конструювання, або через помилки виготовлення, або через повне зношування.

  2. Програмне забезпечення системи, яке може відмовляти через помилки або в технічних вимогах до системи, або в архітектурі системи, або в програмному коді.

  3. Людський фактор, який своїми діями порушує правильну роботу системи.

42. Основні підходи для підвищення безвідмовності систем.

Є три підходи, що використовуються для підвищення безвідмовності систем.

1. Запобігання збоїв. Підхід до розробки ПЗ, що мінімізує можливість появи помилок і / або виявляє помилки перш, ніж вони призведуть до збоїв системи. Приклад такого підходу - виключення схильних до помилок певних конструкцій мов програмування (наприклад, покажчиків) і постійний аналіз програм для виявлення різних аномалій програмного коду. 2. Виявлення помилок та їх усунення. Використання різноманітних методів перевірки системи в різних режимах дозволяє виявити помилки і усунути їх до введення системи в експлуатацію.

Регулярне тестування системи і її налагодження - приклад даного підходу.

3. Стійкість до збоїв. Використання спеціальних методів, що гарантують, що помилки в системі не призведуть до збоїв і що збої не призведуть до відмов системи. Приклад такого підходу - застосування засобів самовідновлення системи з використанням дублювання модулів.

43. Рівні безпечності програмних систем.

Безпека системи - це властивість, що відбиває здатність системи функціонувати, не загрожуючи людям або навколишньому середовищу. Там, де безпека є необхідним атрибутом системи, говорять про систему, критичної щодо забезпечення безпеки. Прикладами можуть служити контролюючі та управляючі системи в авіації, системи управління процесами на хімічних і фармацевтичних заводах і системи керування автомобілями.

Програмне забезпечення розглядаються в цьому розділі систем підрозділяється на два класи :

  1. Первинне програмне забезпечення, критичне за критерієм безпеки. Це ПО включається в систему у вигляді окремого блок управління. Неправильна робота такого ПЗ може бути причиною відмови устаткування, внаслідок якого може виникнути загроза життю людини або нанесення шкоди навколишньому середовищу. Я особливо звертаю увагу на цей клас програмного забезпечення.

  2. Вторинне програмне забезпечення, критичне за критерієм безпеки. Це ПО непрямим чином може призвести до непередбачених наслідків. Прикладами можуть служити автоматизовані системи в техніці, неправильна робота яких може призвести до помилок у роботі об'єкта та поставити під загрозу життя людей. Інший приклад такого ПО - медична база даних, що містить опис ліків, призначених пацієнтам. Помилки в цій системі можуть призвести до неправильної дозуванні препаратів.

Безвідмовність і безпеку системи - взаємопов'язані, але, очевидно, різні складові функціональної надійності. Звичайно, система, критична щодо забезпечення безпеки, повинні відповідати своєму призначенню і функціонувати без відмов. Для забезпечення безперервного функціонування навіть у разі помилок вона повинна мати захист від збоїв. Однак відмовостійкість не гарантує безпеки системи. Програмне забезпечення може тільки один раз спрацювати неправильно, і це призведе до нещасних випадків.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]