Cinderella SDL
Features

Advanced Editing
Incremental Analysis
Simulation
SDL Standards
ASN.1 according to X.680
Portability
Windows look & feel

Advanced Editing
Text inside a symbol is edited directly in the symbol.

Browse and navigate to the definition of an SDL identifier by clicking on its name.

A tree view of the specification, the specification explorer. The explorer is used both for browsing and for viewing. Any kind of specification related information can be viewed in the explorer in as many explorer windows as you like thus having different views of the specification. One explorer can show local properties and/or local errors for the current diagram, another explorer provides an overview of the blocks and processes of the system and a third could show selected dynamic properties such as contents of input queues.

Textual SDL can automatically be converted to graphical SDL.



Incremental Analysis


The incremental analyser is fully integrated with the editor to provide immediate error detection and optional correction. Clicking on an SDL name in a symbol allows to navigate to its definition and to study its properties.



Simulation


Any time during the specification process, you can simulate the behaviour of the parts you have made so far. The simulation e.g. can cover the whole system, parts of the system or a single process. The specification does not need to be complete or free of static errors before simulation can start. Any time during simulation, the output can be inspected on the form of an MSC.

The large number of error messages (about 500) enable precise descriptions of errors. If you need more information about a certain error, the F1 button will provide you with details and with examples related to the error. You can also browse to the language help which provide a full description of the syntax of SDL and ASN.1 in the form of hyper-linked syntax diagrams.



SDL Standards


Cinderella SDL, is the first commercial SDL tool with full support for SDL-92, SDL-96 and Z.105. This includes concepts like context parameters, select definitions, channel substructures and integrated use of SDL and ASN.1.



Z.105


Cinderella SDL supports the ITU standard Z.105. This means that use of ASN.1 according to X.680 
and SDL is completely integrated, i.e. you can use ASN.1 as if it was part of the SDL language.


Portability


Cinderella SDL, supports the ITU Graphical Interchange Format (CIF), allowing specifications to be interchanged between Cinderella SDL, and other commercial tools.



Windows


The intuitive user interface has all the features you would expect from a Windows program: cut & paste, search & replace, print preview, drag & drop, etc.