Figure 10 describes the block diagram for the procedures. Figure 10: Block Diagram for Modeling Proce dure
Related Figures (17)
presented in the table 1. Table 2: Representing logic “OR” Table 3: Representing logic “AND” table 2 below presents the lists of the inputs and the outputs for the control system interactions. Table 5: Input and Output flow Figure 12 above consists of four subsystems which are made of a combination of logical Figure 13: Simulink Model - PLC ladder Logic Equivalency models is also shown in Appendix A.2. Figure 16: Miter Model Block Diagram injection of mutants has caused behavioral differences in the mutated models. (behavior) is not equal to the mutated model’s output (behavior). In this case it is glaring that the Figure 17: Miter Model Verification Result 3.1.7 Future Work 3 = indicates that the “AND” block is changed to “NOR” block