Example of complex application of formal methods of requirements specification and dependability analysis of computer-based control systems

Представлены результаты совместного использования формального метода спецификации требований Event-B, метода анализа видов и последствий критических отказов FME(С)A, а также метода анализа деревьев отказов FTA на примере системы управления движением автотранспорта по однонаправленному мосту.У статті представлено результати сумісного використання формального методу Event-B, методу аналізу видів та наслідків критичних відмов FME(С)A, а також методу аналізу дерев відмов FTА на прикладі системи керування рухом автотранспорту по мосту з одностороннім рухом.Results of complex application of formal specification method Event-B, failure modes and effect analysis techniques and method of fault-tree analysis are reported in the paper by the example of car controlling system for one-way bridge