Template:System with Two Standby Blocks (SCT solution): Difference between revisions
Jump to navigation
Jump to search
Dingzhou Cao (talk | contribs) |
Dingzhou Cao (talk | contribs) |
||
| Line 6: | Line 6: | ||
==== 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. 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. 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. | |||
Revision as of 21:27, 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. 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.