SDT a tool for complex real-time systems

SDT is an object-oriented design tool for development of real-time system using the object-oriented formal specification technique SDL. The tool contains editor, analyser, simulator, and validator, which supports design and simulation and generates complete system source code for C or C++ environments.