Research Article

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

Figure 2

An example for the grouping of protection variables in two subsystems of one channel.