This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The IC* Model of Parallel Computation and Programming Environment
March 1988 (vol. 14 no. 3)
pp. 317-326

The IC* project is an effort to create an environment for the design, specification, and development of complex systems such as communication protocols, parallel machines, and distributed systems. The basis of the project is the IC* model of parallel computation, in which a system is specified by a set of invariant expressions which describe its behavior in time. The features of this model include temporal and structural constraints, inherent parallelism, explicit modeling of time, nondeterministic evolution, and dynamic activation. The project also includes the construction of a parallel computer specifically designed to support the model of computation. The authors discuss the IC* model and the current user language, and describe the architecture and hardware of the prototype supercomputer built to execute IC* programs.

[1] D. M. Cohen and E. J. Isganitis, "Automatic generation of a prototype of a new protocol from its specification," presented at the IEEE Global Telecommun. Conf., Houston, TX, Dec. 1986.
[2] D.M. Cohen and T.M. Guinther, "The IC*system for protocol development," inProc. ACM Workshop Frontiers in Comput. Commun. Technol., Stowe, VT, Aug. 1987.
[3] D. M. Cohen, B. Gopinath, M. L. Honig, W. M. Keese, P. Levin, J. Myers, U. Premkumar, D. Slepian, and J. R. Vollaro, "I*C: An environment for specifying complex systems," presented at the IEEE Global Telecommun. Conf., Houston, TX, Dec. 1986.
[4] Workshop on Distributed Algorithms in Commun. Computation, M.I.T., Cambridge, Oct. 1986.
[5] Contr. Decision Conf., Athens, Greece, Dec. 1986.
[6] E. J. Cameron, D. M. Cohen, B. Gopinath, W. M. Keese, and P. Uppaluru, "The IC*model and environment," inAdv. Papers, Vol. 2, 1st Int. Workshop Comput.-Aided Software Eng., Cambridge, MA, May 1987, pp. 639-651.
[7] E. Dijkstra, "Co-Operating sequential problems," inProgramming Languages, F. Genuys, Ed. New York: Academic, 1972.
[8] E. W. Dijkstra, "Solution of a problem in concurrent programming control,"Commun. ACM, vol. 8, pp. 569-569, Sept. 1965.
[9] C. H. West, "Protocol validation by random state exploration," inProtocol Specification, Testing, and Verification, VI. Amsterdam: North-Holland, 1986.
[10] N. Gehani and A. D. McGettrick, Eds.,Software Specification Techniques. Reading, MA: Addison Wesley, 1986.
[11] C. Sunshine, Ed.,Protocol Specification, Testing, and Verification, II. Amsterdam: North-Holland, 1982.
[12] H. Rudin and C. H. West, Ed.,Protocol Specification, Testing, and Verification, III. Amsterdam: North-Holland, 1983.
[13] Y. Yemini, R. Strom, and S. Yemini, Ed.,Protocol Specification, Testing, and Verification, IV. Amsterdam: North-Holland, 1985.
[14] M. Diaz, Ed.,Protocol Specification, Testing, and Verification, V. Amsterdam: North-Holland, 1986.
[15] H. Rudin and C. H. West, "A validation technique for tightly coupled protocols,"IEEE Trans. Comput., vol. C-31, pp. 630-636, July 1982.
[16] P. Zafiropouloet al., "Towards analysing and synthesizing protocols,"IEEE Trans. Commun., vol. COM-28, pp. 655-660, Apr. 1980.
[17] S. Aggarwal, R. P. Kurshan, and K. Sabnani, "A calculus for protocol specification and validation," inProtocol Specification, Testing, and Verification, III. Amsterdam: North-Holland, 1983.
[18] S. Aggarwal, D. Barbara, and K. Z. Meth, "Specifying and analyzing protocols with SPANNER," inProc. IEEE Int. Conf. Commun., Toronto, Ont., Canada, June 1986.
[19] S. Aggarwal, D. Barbara, and K. Z. Meth, "SPANNER: A tool for the specification, analysis, and evaluation of protocols,"IEEE Trans. Software Eng., vol. SE-13, pp. 1218-1237, Aug. 1987.
[20] S. Aggarwal and R. P. Kurshan, "Modeling elapsed time in protocol specifications," inProtocol Specification, Testing, and Verification, III. Amsterdam: North-Holland, 1983.
[21] R. P. Kurshan and I. Gertner, "Logical analysis of digital circuits," inProc. Comput. Hardware Description Languages 87, Amsterdam, The Netherlands, May 1987.
[22] T. Piatkowski, "The state of the art in protocol engineering," inProc. ACM Commun. Architectures Protocols, Aug. 1986, pp. 13-18.
[23] A. Thue, "Ueber Unendliche Zeichenreihen," inSkrifter utgit av Videnskapsselskapet i Kristiania. I. 1906, pp. 1-22.
[24] A. Salomaa, "Computation and automata," inEncyclopedia of Mathematics and Its Applications, Volume 25. Cambridge, England: Cambridge Univ. Press, 1985.

Index Terms:
temporal constraints; parallel computation; programming environment; IC* project; design; specification; communication protocols; parallel machines; distributed systems; structural constraints; explicit modeling; nondeterministic evolution; dynamic activation; parallel computer; parallel processing; programming environments; protocols
Citation:
E.J. Cameron, D.M. Cohen, B. Gopinath, W.M. Keese, II, L. Ness, P. Uppaluru, J.R. Vollaro, "The IC* Model of Parallel Computation and Programming Environment," IEEE Transactions on Software Engineering, vol. 14, no. 3, pp. 317-326, March 1988, doi:10.1109/32.4652
Usage of this product signifies your acceptance of the Terms of Use.