An OCCAM approach to transputer engineering
Peter H. Welch · 1988
Harnessing the potential processing power of MIMD networks requires the development of a fluency in parallel systems design equal to our traditional skills for sequential logic. Occam (TM) is a simple, small but powerful language which enables such fluency. The model of parallelism provided by occam is a central (not “added on”) feature and is directly supported by the INMOS transputer (TM). This model reflects major software engineering features such as abstraction, structuring, and information hiding and has important benefits for the life-cycle development costs of large systems (not least through the establishment of libraries of reusable software/hardware components). This paper introduces such engineering with the emphasis upon finely-grained highly-parallel designs. Some examples will be taken from the area of high-performance fault-tolerant real-time embedded systems.