Title :
Tools for real-time system design
Author :
Orr, R.A. ; Norris, M.T. ; Tinker, R. ; Rouch, C.D.V.
Author_Institution :
British Telecom Res. Labs., Ipswich, UK
Abstract :
A description is given of the development of a toolset that supports the specification and design of large real-time systems. The starting point is the evolution of a method suitable for use in practical environments: for example, in the specification of telecommunication systems. The characteristics that are required of a good specification method for real-time systems are discussed and a method based on the CCITT SDL notation is described which aims to satisfy these characteristics. The component parts in the toolset to support this method are described
Keywords :
real-time systems; software tools; specification languages; CCITT SDL notation; practical environments; real-time system design; specification; telecommunication systems; toolset; Automated highways; Availability; Design engineering; Heart; Heat engines; Laboratories; Natural languages; Real time systems; Software engineering; Telecommunications;
Conference_Titel :
Software Engineering, 1988., Proceedings of the 10th International Conference on
Print_ISBN :
0-89791-258-6
DOI :
10.1109/ICSE.1988.93695
