Once all required components are configured, a simulation procedure can be executed by clicking “run” in the Home Screen. SecSy will ask the user for the output directory for the synthesized log. The log will be synthesized and stored on disk in the chosen format (.mxml or .txt). T ogive the user some feedback on the current state of the synthesis procedure, the “Execution Progress” dialog shows details of the current synthesis task (simulation run which is executed at the moment).

Together with the process log, SecSy will store a second file (.log) which shows details and a summary for the appliance of trace transformers. This allows users to see if all transformers could be applied successfully, on which traces they were applied and the overall portion of traces they were applied.