Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems

Author(s):  
Matthew L. Bolton ◽  
Ellen J. Bass
1989 ◽  
Vol 33 (5) ◽  
pp. 291-295 ◽  
Author(s):  
Patricia M. Jones ◽  
Christine M. Mitchell

This paper presents a conceptual discussion of four human operator models that are potentially useful for supervisory control applications: the operator function model (Mitchell, 1987), the problem behavior graph (Newell and Simon, 1972), the decision ladder (Rasmussen, 1986), and goal-means network (Woods and Hollnagel, 1987). These models are characterized along the dimensions proposed by Jones and Mitchell (1987) and are further examined in-depth with the use of verbal protocols collected concurrently with the performance of a supervisory control task.


1989 ◽  
Vol 33 (5) ◽  
pp. 296-300 ◽  
Author(s):  
Norman R. Brown ◽  
Ann Marie Vosburgh

This paper presents a conceptual discussion of four human operator models that are potentially useful for supervisory control applications: the operator function model (Mitchell, 1987), the problem behavior graph (Newell and Simon, 1972), the decision ladder (Rasmussen, 1986), and goal-means network (Woods and Hollnagel, 1987). These models are characterized along the dimensions proposed by Jones and Mitchell (1987) and are further examined in-depth with the use of verbal protocols collected concurrently with the performance of a supervisory control task.


2016 ◽  
Vol 45 ◽  
pp. 242-267 ◽  
Author(s):  
Bo Yang Yu ◽  
Tomonori Honda ◽  
Mostafa Sharqawy ◽  
Maria Yang

Author(s):  
L. Siddharth ◽  
Amaresh Chakrabarti ◽  
Srinivasan Venkataraman

Analogical design has been a long-standing approach to solve engineering design problems. However, it is still unclear as to how analogues should be presented to engineering design in order to maximize the utility of these. The utility is minimal when analogues are complex and belong to other domain (e.g., biology). Prior work includes the use of a function model called SAPPhIRE to represent over 800 biological and engineered systems. SAPPhIRE stands for the entities: States, Actions, Parts, Phenomena, Inputs, oRgans, and Effects that together represent the functionality of a system at various levels of abstraction. In this paper, we combine instances of SAPPhIRE model for representing complex systems (also from the biological domain). We use an electric buzzer to illustrate and compare the efficacy of this model in explaining complex systems with that of a well-known model from literature. The use of multiple-instance SAPPhIRE model instances seems to provide a more comprehensive explanation of a complex system, which includes elements of description that are not present in other models, providing an indication as to which elements might have been missing from a given description. The proposed model is implemented in a web-based tool called Idea-Inspire 4.0, a brief introduction of which is also provided.


2011 ◽  
Vol 30 (8) ◽  
pp. 1023-1024
Author(s):  
William Pelech

Sign in / Sign up

Export Citation Format

Share Document