Automated framework for formal operator task analysis
Proceedings of the 2011 International Symposium on Software Testing and Analysis
| Hi-index | 0.00 |
To achieve an effective integration framework for manufacturing systems, a formal model of a system is highly desired. In spite of significant work on automated manufacturing systems, human operators still play a critical role in virtually every system, especially for material-handling processes. To build a model for control and analysis of a system where a human operator is integrated, a formal functional specification of a human material handler (MH) is presented in a hierarchical framework. Two types of human operational errors associated with material-handling tasks are also classified and discussed. A shop floor control example is provided to illustrate the proposed modeling framework