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. — С. 83-89.