DocumentCode
3004113
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
fYear
2006
fDate
10-12 July 2006
Firstpage
467
Lastpage
468
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location
Ann Arbor, MI
Print_ISBN
1-4244-0053-8
Type
conf
DOI
10.1109/WODES.2006.382519
Filename
4267669
Link To Document