Previous Topic

Next Topic

Book Contents

Book Index

Use MSCs for architecture definition and validation

Automatic synthesis can help address the discontinuity between modeling and implementation. By specifying system scenarios that describe collaboration between architectural components and then synthesizing the SDL architectural model, you can achieve the following benefits:

See Also

Introduction

About this tutorial

Use MSCs to jumpstart your SDL project

Use MSCs to rapidly prototype requirements

Use MSCs to perform automatic early fault detection

Use MSCs to automatically generate test cases

Use MSCs to design components

Use KLOCwork MSC to SDL Synthesizer for SDL training