Previous Topic

Next Topic

Book Contents

Book Index

Use MSCs to jumpstart your SDL project

The KLOCwork MSC to SDL Synthesizer can be used to jumpstart your SDL project. Start with few easy-to-understand scenarios, then simply click a button and the Synthesizer automatically generates a complete SDL specification ready to run in an SDL tool.

  1. Start Telelogic Tau.
  2. Use your Telelogic MSC Editor (MSCE) to create MSC diagrams.
  3. Use the Telelogic HMSC Editor (HMSCE) to create High-level MSC diagrams.
  4. Run the KLOCwork MSC to SDL Synthesizer to produce an SDL model that corresponds to your HMSC model.
  5. Use your SDL tool to review and simulate the model.
  6. Refine the MSC model.
  7. Continue SDL project by refining the generated SDL model.

See Also

Introduction

About this tutorial

Use MSCs to rapidly prototype requirements

Use MSCs to perform automatic early fault detection

Use MSCs to automatically generate test cases

Use MSCs for architecture definition and validation

Use MSCs to design components

Use KLOCwork MSC to SDL Synthesizer for SDL training