FoCs zu validieren Nehmeneigenschaften, die in die Zuckerspezifikation Sprache geschrieben werden und sie in automatisch Kontrolleure übersetzen, oder der Monitoren verwendet zu werden, die der Reihe nach in das Spansimulation Klima integriert werden. Diese Kontrolleure überwachen die Simulation Auswirkungen auf eine Zyklus-durch-Zyklus Grundlage für Verletzung der Eigenschaften. Jeder Kontrolleur führt eine Zustandmaschine ein, die einen Störung Zustand einträgt und erklärt, wenn die jeweilige Eigenschaft in einem Simulationslauf halten nicht kann. Diese alphaWorks Version ist die erste FoCs Version, die Zucker 2 stützt (EDL Aroma).