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.