DocumentCode
2869318
Title
SDT a tool for complex real-time systems
Author
Blysa, Per
Author_Institution
Telelogic, Princeton, NJ, USA
fYear
1995
fDate
6-10 Nov 1995
Firstpage
21
Lastpage
22
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICECCS.1995.479297
Filename
479297
Link To Document