Title :
Systematic development of industrial control systems using software/hardware engineering
Author :
Voeten, J.P.M. ; van der Putten, P.H.A. ; Stevens, M.P.J.
Author_Institution :
Fac. of Electr. Eng., Eindhoven Univ. of Technol., Netherlands
Abstract :
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
Keywords :
formal specification; industrial control; logic design; mailing systems; object-oriented methods; software engineering; specification languages; POOSL; SHE; complex reactive hardware/software systems; control subsystem; formal specification language; industrial control systems development; industrial mailing machines; object-oriented analysis; object-oriented design method; object-oriented specification; software/hardware engineering; Control systems; Design automation; Design engineering; Design methodology; Electrical equipment industry; Hardware; Industrial control; Information technology; Machinery production industries; Software systems;
Conference_Titel :
EUROMICRO 97. 'New Frontiers of Information Technology'. Short Contributions., Proceedings of the 23rd Euromicro Conference
Conference_Location :
Budapest
Print_ISBN :
0-8186-8215-9
DOI :
10.1109/EMSCNT.1997.658434
