MOVES: Software Modeling and Verification
(Informatik 2)

Prof. Dr. Ir. Joost-Pieter Katoen

Computer Science / RWTH / I2 / Forschung / MCS / SDL / Tools

Printer-friendly

Tools and frameworks for SDL processing

Please feel free to suggest further tools or submit change requests by email to Eric Bodden or Michael Weber.

GUI based SDL Editors

ObjectGeode

Type	Framework
URL	http://www.telelogic.com/products/additional/objectgeode/overview.cfm
License	Commercial product
Platforms / OS' / Runtime	Windows >= 9x
Version assessed here	n/a
Status	Probably the most professional SDL product around; many toolsets like sdl2if build on top of ObjectGeode's API
Features / SDL support	complete support up to SDL-96 SDL-2000 partially supported see compatibility list and known limitations

TOP

JADE

Type	GUI framework for SDL/GR, purpose: provide plugin extension ports for other tools
URL	http://www.dcc.ufmg.br/~coelho/jade.html
License	Binary free for non-commercial use; source code or commercial use on demand
Platforms / OS' / Runtime	Java
Version assessed here	0.5
Status	Very buggy, constrained and slow; probably abandoned
Features / SDL support	unknown

TOP

Cinderella

Type	GUI editor for SDL/GR
URL	http://www.cinderella.dk/
License	Try before buy
Platforms / OS' / Runtime	Windows >= 95
Version assessed here	1.3
Status	Mature tool, however with a slight lack of usability.
Features / SDL support	Fully supported: SDL-92 SDL-96 Z.105 This includes concepts like context parameters, select definitions, channel substructures and integrated use of SDL and ASN.1. Virtually no support for SDL-2000.

SanDri-La

Type	Plugin for MS Visio
URL	http://www.sandrila.pherber.com
License	Constrained freeware and commercial product
Platforms / OS' / Runtime	Windows Platforms supported by MS Visio
Version assessed here	n/a
Status	n/a
Features / SDL support	Complete SDL Application Uses Visio engine for drawing functions Save in Visio file format. Save in graphical format (GIF etc) Save as XML (Visio 2002 only) Printing Cut, copy, paste & duplicate Add colour to any diagram Font selection All SDL-2000, MSC-2000 and TTCN diagram types All SDL-2000, MSC-2000 and TTCN symbols Legacy SDL-88 and SDL-92 diagram types Process/Procedure diagram syntax check Process/Procedure diagram state analysis

SAFIRE-SDL

Type	Toolset
URL	http://www.safire-sdl.com/safire_sdl.htm
License	Constrained freeware and commercial product
Platforms / OS' / Runtime	Windows >= 9x
Version assessed here	n/a
Status	not testified here; from the vendor: "Professional SDL Tool"
Features / SDL support	From the vendor: "SAFIRE-SDL has been designed specifically for rapid prototyping and validation of signaling systems. Using a graphical representation based on international standards such as SDL, UML, MSC, ASN.1 and TTCN, SAFIRE-SDL is intuitive and easy to learn. With conventional languages like C, C++ and Java, the implementation and validation of signaling systems incurs significant development and maintenance overhead. With SAFIRE-SDL the specification of a system is executed directly, achieving visible results faster and more reliably. For standard requirements there are signaling libraries and physical interfaces available as plug-in modules. SAFIRE-SDL is compliant with SDL+ the simplest, useful enhanced SDL-Subset of SDL 2000. SDL+ is promoted by SDL Task Force consortium (see http://www.sdl-task-force.org) and is currently under revision by ITU-T. Please find attached a table, comparing the most important language elements of SDL+ , SDL-96 and SDL 2000, and a datasheet with a brief description of our software." Leaflet Compatibility table

TOP

[Mail]

Disclaimer

Last modified: 2004-10-13 11:38 UTC