| Start Date: | 5/10/2013 | Start Time: | 4:00 PM |
| End Date: | 5/10/2013 | End Time: | 5:30 PM |
|
Event Description
Dr. Ellen Bass, professor in the College of Information Science and Technology and the College of Nursing and Health Professions at Drexel University, will discuss how complex systems are composed of humans and automation interacting with dynamic flexibility in the allocation of authority and autonomy. Breakdowns in complex systems often occur as a result of system elements interacting in ways unanticipated by designers. The analysis of such systems requires methods for verifying and validating that the range of roles and responsibilities potentially assignable to the humans and automation does not lead to unsafe situations. The use of human task behavior models as part of a larger, formal system model should allow the ramifications of normative and erroneous behaviors to be verified in relation to other aspects of the system. To support the development of formal models of human operator behavior, Dr. Bass and her team have developed a task analytic modeling formalism, the Enhanced Operator Function Model (EOFM) and its multi-operator extension, EOFM with communication (EOFMC). They are Extensible Markup Language-based, platform- and analysis-independent languages with formal syntax and semantics. They have developed associated automated processes for translating instantiated models into the model checking language Symbolic Analysis Laboratory. Both normative and erroneous human behavior models are produced in order to verify procedure related (omissions, jumps, repetitions, and intrusions) as well as strategic knowledge related (slips) erroneous human behaviors. The system model can then be verified using model checking in order to identify potentially hazardous situations related to the interaction of the environment, human behavior, and human–automation interaction. These methods have already been applied to vehicle and air transportation analyses as well as medical device design and they hold promise for other domains. For more info, please visit www.biomed.drexel.edu |
|
Location:
The Papadakis Integrated Sciences Building, located on the northeast corner of 33rd and Chestnut Streets. |
Audience:
AlumniCurrent StudentsFacultyProspective StudentsPublicStaff |
|
