Висвітлено питання рішення задачі розробки високонадійних систем, зокрема тих, що критичні до безпеки. Розглянуто проблеми тестування та верифікації, які актуальні на кожній стадії процесу розробки. Окрім того під час розробки мають бути дотримані такі стандарти розробки систем як досяжність 100 % тестового покриття та застосування технології модельного тестування для розподільних і недетермінованих систем. Запропоновано розв'язання проблеми з використання символьних методів на основі теорії інсерційного моделювання та предикатних перетворювачів. Як формальні специфікації, що визначають модель системи використовується мова Live UCM, як композиція стандартної мови UCM (Use Case Maps) та мова базових протоколів. Запропоновані методи реалізовані в низці програмних систем та апробовані на прикладах перевірки властивостей безпеки в моделях у проектах в різних галузях сучасної індустрії.

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Летичевський Олександр Олександрович (1960–) (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"