Add GST as a Scheduler fault

Author: joaomlneto

simulator/src/main/java/byzzbench/simulator/BaseScenario.java

@@ -4,6 +4,7 @@
 import byzzbench.simulator.faults.Fault;
 import byzzbench.simulator.faults.FaultContext;
 import byzzbench.simulator.faults.factories.ByzzFuzzScenarioFaultFactory;
+import byzzbench.simulator.faults.faults.GlobalStabilizationTimeFault;
 import byzzbench.simulator.faults.faults.HealNodeNetworkFault;
 import byzzbench.simulator.faults.faults.IsolateProcessNetworkFault;
 import byzzbench.simulator.schedule.Schedule;
@@ -179,6 +180,7 @@ public final void setupScenario() {
         //this.getClients().values().forEach(Client::initialize);
         this.getNodes().values().forEach(Node::initialize);
         this.scheduler.initializeScenario(this);
+        this.transport.addFault(new GlobalStabilizationTimeFault(), false);
     }
 
     public final void loadParameters(JsonNode parameters) {

simulator/src/main/java/byzzbench/simulator/faults/behaviors/GlobalStabilizationTimeBehavior.java

@@ -0,0 +1,21 @@
+package byzzbench.simulator.faults.behaviors;
+
+import byzzbench.simulator.faults.FaultBehavior;
+import byzzbench.simulator.faults.FaultContext;
+
+public class GlobalStabilizationTimeBehavior implements FaultBehavior {
+    @Override
+    public String getId() {
+        return "GST";
+    }
+
+    @Override
+    public String getName() {
+        return "Global Stabilization Time";
+    }
+
+    @Override
+    public void accept(FaultContext ctx) {
+        ctx.getScenario().getTransport().globalStabilizationTime();
+    }
+}

simulator/src/main/java/byzzbench/simulator/faults/faults/GlobalStabilizationTimeFault.java

@@ -0,0 +1,14 @@
+package byzzbench.simulator.faults.faults;
+
+import byzzbench.simulator.faults.BaseFault;
+import byzzbench.simulator.faults.behaviors.GlobalStabilizationTimeBehavior;
+import byzzbench.simulator.faults.predicates.IsBeforeGST;
+
+/**
+ * Triggers the Global Stabilization Time (GST) if not already triggered.
+ */
+public class GlobalStabilizationTimeFault extends BaseFault {
+    public GlobalStabilizationTimeFault() {
+        super("GST", new IsBeforeGST(), new GlobalStabilizationTimeBehavior());
+    }
+}