Title :
Specifying a switch system using IC
Author :
Aggarwal, S. ; Obenour, P.
Author_Institution :
Bellcore, Morristown, NJ, USA
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;
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
DOI :
10.1109/INFCOM.1990.91262
