Implementation of statecharts with transputers

This paper describes a method to efficiently implement statecharts with transputers. The advantages of statecharts are now well-known as a concise tool to explain the behavior of complex reactive systems. The possibility to automatically obtain an equivalent program code running on a microprocessor greatly reduces the translation work. The transputer with OCCAM is shown here as an interesting microprocessor, able to manage concurrent tasks and synchronization through communication channels. After a brief presentation of the essential characteristics of statecharts and of the transputer with its OCCAM programming language, we explain our translation rules according to 3 levels: translation of a basic finite-state diagram, translation of a superstate including concurrency, translation of hierarchical state diagrams.