In this paper, we propose a design methodology based on SMT (Superviso
r-Monitor-Troubleshooter) framework to build a reliable AMS. In SMT fr
amework, 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: s
upervisor design, monitor design, troubleshooter design, and implement
ation. Moreover, an AMS called Mold Filling System is employed to demo
nstrate the effectiveness of the methodology's design and implementati
on. The methodology proposed here allows a computer system to supervis
e, monitor, and troubleshoot a remote physical system with significant
ly enhanced reliability. (C) 1998 Elsevier Science B.V.