Systematic development of industrial control systems using software/hardware engineering
Jeroen P. M. Voeten, P.H.A. van der Putten, M.P.J. Stevens · 2002
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.