Specifying a switch system using IC
S. Aggarwal, P. Obenour · 2002
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.>