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.
Formalizing Operator Task Analysis (FOTA)
permalink. Both comments and trackbacks are currently closed.. Bookmark the