Reliable automated manufacturing system design based on SMT framework

Abstract

In this paper, we propose a design methodology based on SMT (Supervisor-Monitor-Troubleshooter) framework to build a reliable AMS. In SMT framework, supervisors dictate the control logic of AMS; monitors detect faults if they occur, and troubleshooters conduct fault diagnosis and recovery. The methodology includes four stages for building an AMS: supervisor design, monitor design, troubleshooter design, and implementation. Moreover, an AMS called Mold Filling System is employed to demonstrate the effectiveness of the methodology's design and implementation. The methodology proposed here allows a computer system to supervise, monitor, and troubleshoot a remote physical system with significantly enhanced reliability. (C) 1998 Elsevier Science B.V.