Systematic development of industrial control systems using software/hardware engineering

SHE (software/hardware engineering) is a new object-oriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal specification language POOSL and a design framework for guiding analysis and design activities. This paper reports on the applicability of the SHE method for the specification and design of the control subsystem of a new generation of industrial mailing machines.