Use MSCs to perform automatic early fault detection

Even when the goals of your project do not include building an SDL model, the KLOCwork MSC to SDL Synthesizer can be used for early fault detection in you MSC models. It can dramatically extend the value of your MSC tools by adding the capability of automatic validation techniques, for example, those provided by the Telelogic Tau Validator.

The automatically synthesized SDL model can be imported into an SDL tool and analyzed using state-of-the-art state space exploration. The validation process automatically discovers certain faulty behaviors such as deadlocks or failed communication. These faulty behaviors are represented as scenarios using the MSC tool. Anomalies in the behavior of the synthesized model usually reflect problems or inconsistencies in the original MSC model.

1. Use your Telelogic MSC Editor (MSCE) to create MSC diagrams.
2. Use the Telelogic HMSC Editor (HMSCE) to create High-level MSC diagrams.
3. Run the KLOCwork MSC to SDL Synthesizer to produce an SDL model that corresponds to your HMSC model.
4. Use the Telelogic Tau Validator to automatically detect faults in the scenario model.
5. Correct problems by creating additional scenarios.
6. Rerun the KLOCwork MSC to SDL Synthesizer.