Contents

Copyright Notice  Introduction  Using the KLOCwork MSC to SDL Synthesizer in stand-alone mode  Using the KLOCwork MSC to SDL Synthesizer with Telelogic Tau       Introduction to the information server exercise       Model: Information Server            Create MSC and HMSC diagrams in Telelogic Tau            Analyze MSCs            Simulate MSCs                 Part 1: Starting MSC Simulation                 Part 2: Controlling the Telelogic Tau Simulator UI                 Part 3: Viewing Source MSC                 Part 4: Viewing an MSC trace            Synthesize the SDL model            Inspect the synthesized SDL model            Simulate the synthesized SDL model            Extend the Server model            Validate the extended Server model            Fix the problem and revalidate the MSC model            Add simulation controls from the environment            Run real-time simulation            Simulate system slice  Index