nurse with tablet dark

Formalizing Operator Task Analysis (FOTA)

Elsa L. Gunter and Carl A. Gunter

FOTA explores ways to formally model and reason about human operators’ task descriptions and the risks entailed in operator errors. The analysis is based on the use of concurrent game structures applied to an engineered concept of protection envelope that prevents key operator errors from developing into hazards. Health information applications of the work include better modeling of identification protocols involving wireless devices in hospitals. More information about Formalizing Operator Task Analysis can be found at the project web page.

This entry was posted in Project. Bookmark the permalink. Both comments and trackbacks are currently closed.