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.
Publications
Automated Framework for Formal Operator Task Analysis
Ayesha Yasmeen and Elsa L. Gunter
ACM International Symposium on Software Testing and Analysis (ISSTA ’11), Toronto, Canada, July 2011. [BIB]
Formalizing Operator Task Analysis
Ayesha Yasmeen
Doctoral Thesis, University of Illinois at Urbana-Champaign, June 2011. [BIB]
Specifying and Analyzing Workflows for Automated Identification and Data Capture
Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter and Anh Nguyen
IEEE Hawaii International Conference on System Sciences (HICSS ’09), Waikoloa, HI, January 2009.
Maintained by Carl Gunter
Last updated on Monday, June 9, 2014, 2:35 pm