Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
A
About this tutorial
About this tutorial
Add simulation controls from the environment
Add simulation controls from the environment
Analyze MSCs
Analyze MSCs
B
Back cover
Back cover
C
Copyright Notice
Copyright Notice
Create MSC and HMSC diagrams in Telelogic Tau
Create MSC and HMSC diagrams in Telelogic Tau
Create textual MSCs
Create textual MSCs
E
Extend the Server model
Extend the Server model
F
Fix the problem and revalidate the MSC model
Fix the problem and revalidate the MSC model
I
Inspect the synthesized SDL model
Inspect the synthesized SDL model
,
Inspect the synthesized SDL model
Introduction
Introduction
Introduction to the information server exercise
Introduction to the information server exercise
Introduction to the simple dialog exercise
Introduction to the simple dialog exercise
M
Model
Information Server
Part 2: Controlling the Telelogic Tau Simulator UI
,
Create MSC and HMSC diagrams in Telelogic Tau
,
Model: Information Server
Simple dialog
Model: Simple dialog
P
Part 1
Starting MSC Simulation
Part 1: Starting MSC Simulation
Part 2
Controlling the Telelogic Tau Simulator UI
Part 2: Controlling the Telelogic Tau Simulator UI
Part 3
Viewing Source MSC
Part 3: Viewing Source MSC
Part 4
Viewing an MSC trace
Part 4: Viewing an MSC trace
R
Run real-time simulation
Run real-time simulation
Run the KLOCwork MSC to SDL Synthesizer
Run the KLOCwork MSC to SDL Synthesizer
S
Simulate MSCs
Simulate MSCs
Simulate system slice
Simulate system slice
Simulate the synthesized SDL model
Simulate the synthesized SDL model
Synthesize the SDL model
Synthesize the SDL model
U
Use KLOCwork MSC to SDL Synthesizer for SDL training
Use KLOCwork MSC to SDL Synthesizer for SDL training
Use MSCs for architecture definition and validation
Use MSCs for architecture definition and validation
Use MSCs to automatically generate test cases
Use MSCs to automatically generate test cases
Use MSCs to design components
Use MSCs to design components
Use MSCs to jumpstart your SDL project
Use MSCs to jumpstart your SDL project
Use MSCs to perform automatic early fault detection
Use MSCs to perform automatic early fault detection
Use MSCs to rapidly prototype requirements
Use MSCs to rapidly prototype requirements
Using the KLOCwork MSC to SDL Synthesizer in stand-alone mode
Using the KLOCwork MSC to SDL Synthesizer in stand-alone mode
Using the KLOCwork MSC to SDL Synthesizer with Telelogic Tau
Using the KLOCwork MSC to SDL Synthesizer with Telelogic Tau
V
Validate the extended Server model
Validate the extended Server model
,