Design and Development Framework of Safety-Critical Software in HTR-PM

Figure 3

An example of diversity of 2/4 voting logic for (a) subsystem Ax and (b) subsystem Ay in Channel A.

(a)

(b)