Title :
SDT a tool for complex real-time systems
Author_Institution :
Telelogic, Princeton, NJ, USA
Abstract :
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
Keywords :
formal specification; object-oriented programming; programming environments; real-time systems; C; C++ environments; SDT; complex real-time systems tool; editor; object-oriented design tool; object-oriented formal specification technique SDL; real-time system; simulator; validator; Analytical models; Formal languages; Formal specifications; Object oriented modeling; Operating systems; Real time systems; Runtime library; Software systems; Software tools; Testing;
Conference_Titel :
Engineering of Complex Computer Systems, 1995. Held jointly with 5th CSESAW, 3rd IEEE RTAW and 20th IFAC/IFIP WRTP, Proceedings., First IEEE International Conference on
Conference_Location :
Ft. Lauderdale, FL
Print_ISBN :
0-8186-7123-8
DOI :
10.1109/ICECCS.1995.479297
