Mathematical model graph corresponding to the functional diagram in Fig. 2 The vertices sb.conn.bout correspond to the input signals of the functional diagram, the vertices sb.conn.bin correspond to the output signals. The remaining vertices correspond to the functional blocks and have a sequence number.

 
 
  Part of: Belonosov MA, Kishkin VL, Korolev SA (2018) Verification on application program generation and loading for safety systems of nuclear power plants based on the reverse engineering method. Nuclear Energy and Technology 4(4): 223-228. https://doi.org/10.3897/nucet.4.31868