Eunice/ITRON: a control system development environment for ITRON machines

Eunice/ITRON is a control system development environment, whose target machines are ITRON machines. The core of Eunice/ITRON is a "full-lifecycle-support" language Nike. In Eunice/ITRON, except final performance tuning, development from abstract description level through semi-implementation level can be done on utilities-rich UNIX workstations. This way rapid and efficient development of control systems is attained. Nike is a concurrent object-oriented language. Dynamic behavior of each object can be described in state-transition model. In addition, to let the development process go forward and backward seamlessly, Nike provides refinement mechanism regarding states and their transitions, which can be validated at run-time. It not only conduces early executability, but also is the major driving force of refinement. Our implementation of the Nike compiler on an ITRON2-compliant operating system is discussed; and also that of Nikechat, a graphical executor under the X Window, of the system specified in Nike.<>