Template:System with Two Standby Blocks (SCT solution)
Two Standby Blocks
Purpose
The purpose of this example is to illustrate how to model a system with two standby devices with SCT.
Statement
Assume that there are four devices A, B, C and D in the system. The system begins with A and B as active devices and C and D as standby devices. At least 2-out-of-4 devices have to be in active status to assure that the system is working. If one of the active device fails, one of standby device will be activated. After the active device is restored, it would become a standby device. For example, when A fails, C or D would be activated and become a active device. After A finishes repair, it would become a standby device.
BlockSim Solution
It is easy to model this system with standby container. However, standby container has some limitations in other application. Here we want to model this system with SCT. It is not possible to model this system directly with SCT. Here we present a alternative solution which can approximate this system.
The logic is like this: We will activate all standby devices whenever a active device fails. After activating all standby devices, we will check how many devices are in active status. If there are more than 2 devices in active status, we will deactivate some of them to assure that there are exactly two devices in active status at every moment. The drawback of this solution is that it would activate and deactivate the devices multiple times than we expected.