DocumentCode
2982676
Title
Specifying a switch system using IC
Author
Aggarwal, S. ; Obenour, P.
Author_Institution
Bellcore, Morristown, NJ, USA
fYear
1990
fDate
3-7 Jun 1990
Firstpage
296
Abstract
A simple switch system model is discussed, and ways are described in which various facets of the model can be specified using the IC model of parallel computation and the parallel language L.0 based on this model. Mechanisms aimed at providing component protection and resource management are modeled and specified. Although the specification of a single-switch system handling two-party plain old telephone service (POTS) calls is focused on, the model and specification have been designed with more complex services in mind, and possible extensions to the model and specification are suggested
Keywords
switching systems; telecommunications computing; telephone systems; IC model; POTS; component protection; parallel computation; parallel language L.0; plain old telephone service; resource management; switch system; Computational modeling; Concurrent computing; Integrated circuit modeling; Mechanical factors; Parallel languages; Protection; Resource management; Switches; Telecommunication computing; Telecommunication switching;
fLanguage
English
Publisher
ieee
Conference_Titel
INFOCOM '90, Ninth Annual Joint Conference of the IEEE Computer and Communication Societies. The Multiple Facets of Integration. Proceedings, IEEE
Conference_Location
San Francisco, CA
Print_ISBN
0-8186-2049-8
Type
conf
DOI
10.1109/INFCOM.1990.91262
Filename
91262
Link To Document