Title :
MFSMTools: Software for the Development, Verification, and Execution of Modular Finite State Machines
Author :
Endsley, E.W. ; Almeida, E.E. ; Ramamoorthy, K.D. ; Tilbury, D.M.
Author_Institution :
Michigan Univ., Ann Arbor, MI
Abstract :
This paper describes a set of software tools that have been developed to create, manipulate, verify, and execute logic control systems written using modular finite state machines (MFSMs). The MFSMs are specified using text files, and the software is written in Java for portability. Interaction with the environment is supported via digital I0, simulated I0, DeviceNet, Ethernet (sockets), and OPC tags. Logic controllers written using MFSMs have been implemented on several manufacturing testbeds at the University of Michigan
Keywords :
control engineering computing; discrete event systems; finite state machines; program verification; software tools; DeviceNet; Ethernet; Java language; MFSMTools; OPC tags; digital I0; logic control systems; manufacturing testbeds; modular finite state machines; simulated I0; software tools; text files; Automata; Communication system control; Computer errors; Control systems; Filters; Java; Logic devices; Logic testing; Sockets; Software tools;
Conference_Titel :
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location :
Ann Arbor, MI
Print_ISBN :
1-4244-0053-8
DOI :
10.1109/WODES.2006.382519
