Systematic development of industrial control systems using Software/Hardware Engineering
- Voeten, J.P.M.
- van der Putten, P.H.A.
- Stevens, M.P.J.
DOIAbstract
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 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.</p
Add to ORKG