MSC Tools Index Page

Please feel free to suggest further tools or submit change requests by email to Markus Schlütter or Volker Stolz.

All Tools

All Tools in no particular order.

Tools sorted by categories

• Parser
• Graphical Editors
• Simulation / Verification
• Traces
• Languages
• Other

Parser

These tools check the syntax of specifications.

• MESA
• MSC+ Tool
• MSC 2000 Parser
• SDL 2000 Parser

Graphical Editors

These tools are for designing system specifications in graphical form.

• JADE (SDL)
• Melba96 (SDL)
• Météore
• MSC+ Tool
• SanDriLa - SDL-2000 and MSC-2000 Visio Add-on
• Telelogic Tau
• UBET

Simulation/Verification

These tools simulate and/or verify the specification of the implementation.

• Cinderella SDL (New Version)
• Esterel
• ezSDL
• LTSA-MSC-Analyser
• MESA
• MSC+ Tool
• ObjectGeode
• Phenix
• ProGen (SDL)
• Real Time Developer Studio (SDL-RT)
• SITE (SDL)
• Telelogic Tau
• UBET
• Use Case Map Navigator 2

Traces

These tools generate traces to verify the different specifications.

• Charis Actor Portfolio TM (CAP)
• DisCo
• EDT (ESTELLE)
• EventStudio (FDL)
• LoLA
• MOCHA
• QUEST (SDL)
• VeriSoft

Languages

These are different languages for specifying systems.

• DisCo
• EDT (ESTELLE)
• Esterel
• EventStudio (FDL)
• LoLA
• SDL-RT

Other

These tools have unlisted functions

• JSDL
• KLOCwork MSC to SDL converter
• LaTeX macro package for MSCs
• MSC Execute (Tool for implementing MSCs automatically in JAVA)
• Mu2L
• SDLT
• SiCat
• TIMe