Template:System with Two Standby Blocks (SCT solution): Difference between revisions
Dingzhou Cao (talk | contribs) |
Dingzhou Cao (talk | contribs) |
||
| Line 5: | Line 5: | ||
==== Statement ==== | ==== 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 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. | 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==== | ==== BlockSim Solution==== | ||
Revision as of 21:38, 7 October 2011
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