Running from the GUI for Windows 98/NT

You can run the KLOCwork MSC to SDL Synthesizer in stand-alone mode from a graphical user interface (GUI) for Microsoft Windows 98 or Microsoft Windows NT.

Note: MSC textual representation (see MSC PR syntax ) should be used as the input to the Synthesizer in stand-alone mode.

To start the GUI, click on the MSC2SDL icon in the KLOCwork MSC to SDL Synthesizer installation directory. You can create the shortcut for this application.

The KLOCwork MSC to SDL Synthesizer GUI lets you select MSC PR files in the multi-file selection dialog, which is started by pressing the Add button. To remove MSC PR files from the list, select them and press the Remove button.

The KLOCwork MSC to SDL Synthesizer GUI displays the panel with the log.

Click the Show synthesized SDL PR radio button to view resulting SDL in phrase representation.

The following check buttons define parameters of the synthesis algorithm transferred to the KLOCwork MSC to SDL Synthesizer through the command line. (Equivalent configuration file options are given in brackets.)

• Generate error messages in Telelogic Tau error format (OPT_SDTREF)
• Perform case-sensitive analysis of identifiers (OPT_UPPERCASE)
• Generate cross-references in the generated SDL (OPT_CROSS_REFS)
• Display both critical and non-critical warning messages (OPT_ALL_WARNINGS)
• Generate permutations for active events in coregions (For more information see, Synthesis: Coregions.)

In the Slice instances field, you can enter as list of slice instances (separated by spaces). See Synthesis: Slices of MSCs.

Press Synthesize plain SDL or Synthesize type-based SDL to start the analysis. The synthesized SDL (in text format is placed in the file with the name entered in the Output file name field.