Modelling manufacturing control software

Author

Storoshchuk, Orest ; Wang, Shige ; Shin, Kang G.

Author_Institution

McMaster Univ., Hamilton, Ont., Canada

Volume

4

fYear

2001

fDate

2001

Firstpage

4072

Abstract

Software is essential in today´s machine controllers for reuse, reconfiguration and cost-reduction. Formal models and specifications for such a system are critical to guarantee correctness. In this paper, we present an approach to model manufacturing control systems based on a framework for subsystem composition and a nested finite state machine model for the system behavior. The paper presents the application of model-based methodology for real control systems. Some preliminary results obtained show that development costs were reduced significantly due to the domain-specific knowledge captured in such a model.

Keywords

computer aided production planning; control system analysis computing; finite state machines; formal specification; real-time systems; software architecture; development costs; finite state machine; formal model; formal specifications; manufacturing control systems; real time systems; software architecture; subsystem composition; system modeling; Automata; Construction industry; Control system synthesis; Costs; Electrical equipment industry; Monitoring; Object oriented modeling; Programming; Real time systems; Virtual manufacturing;

fLanguage

English

Publisher

ieee

Conference_Titel

Robotics and Automation, 2001. Proceedings 2001 ICRA. IEEE International Conference on

ISSN

1050-4729

Print_ISBN

0-7803-6576-3

Type

conf

DOI

10.1109/ROBOT.2001.933254

Filename

933254