1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 8(89)'2010
  5. Пример комплексного использования формальных методов спецификации требований и анализа надежности компьютерных систем управления

Пример комплексного использования формальных методов спецификации требований и анализа надежности компьютерных систем управления

О.М. Тарасюк, А.В. Горбенко, В.С. Харченко, Ю.В. Мотора
Системи обробки інформації. — 2010. — № 8(89). С. 83-89.
УДК 4.052
Мова статті: російська
Анотації на мовах:


Анотація: Представлены результаты совместного использования формального метода спецификации требований Event-B, метода анализа видов и последствий критических отказов FME(С)A, а также метода анализа деревьев отказов FTA на примере системы управления движением автотранспорта по однонаправленному мосту.


Ключові слова: формальные методы, Event-B, FME(С)A, FTA, надежность компьютерных систем
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Тарасюк О.М., Горбенко А.В., Харченко В.С., Мотора Ю.В. Пример комплексного использования формальных методов спецификации требований и анализа надежности компьютерных систем управления. Системи обробки інформації. 2010. № 8(89). С. 83-89.