Methodology for Assessing the Functional Safety of a Fire Alarm System Based on an Information-Logical Model | Synapse