Previous Topic

Next Topic

Book Contents

Book Index

Simulate MSCs

In this four-part exercise we explore the behavior of our model by simulating MSCs using the KLOCwork MSC to SDL Synthesizer.

Setup

Make sure that the Telelogic Tau Organizer contains the module InfoServer with the four diagrams for the current example (InfoServer, Request_Init, Request_Data, and Request_Done).

In This Section

Part 1: Starting MSC Simulation

Part 2: Controlling the Telelogic Tau Simulator UI

Part 3: Viewing Source MSC

Part 4: Viewing an MSC trace

See Also

Model: Information Server

Create MSC and HMSC diagrams in Telelogic Tau

Analyze MSCs

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