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

fYear

1997

fDate

1-4 Sep 1997

Firstpage

26

Lastpage

36

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/EMSCNT.1997.658434

Filename

658434