Use MSCs to design components

Once the components of the system have been identified and validated, you can shift the viewpoint of scenario models and use scenarios to define behavior of individual components. Using the powerful data extensions supported by the KLOCwork MSC to SDL Synthesizer, you can use scenarios as a design notation. This provides the following benefits:

• more intuitive designs
• improved collaboration between team members
• ongoing validation of designs by simulation of the synthesized models
• automatic code generation into the implementation language using SDL Codegenerator