Automated framework for formal operator task analysis

2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings

Volumn , Issue , 2011, Pages 78-88

  Yasmeen, Ayesha ^a   Gunter, Elsa L ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

human operator; model generation; property satisfaction; protected task execution; system robustness; task analysis; verification framework

Indexed keywords

HUMAN OPERATOR; MODEL GENERATION; PROPERTY SATISFACTION; SYSTEM ROBUSTNESS; TASK ANALYSIS; TASK EXECUTIONS; VERIFICATION FRAMEWORK;

BEHAVIORAL RESEARCH; COMPUTER SOFTWARE SELECTION AND EVALUATION; DECISION MAKING; JOB ANALYSIS; SAFETY TESTING; SOFTWARE TESTING;

MATHEMATICAL MODELS;

EID: 80051933160     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2001420.2001430     Document Type: Conference Paper

References (35)

1. Rajeev Alur, Thomas A. Henzinger, and Orna Kupferman. Alternating-time temporal logic. J. ACM, 49(5):672-713, 2002.
2. E. Asarin, O. Maler, A. Pnueli, and J Sifakis. Controller synthesis for timed automata. In IFAC Symp. System Structure and Control, pages 469-474. Elsevier, 1998.
3. Matthew L. Bolton and Ellen J. Bass. Enhanced operator function model: A generic human task behavior modeling language. In Systems, Man and Cybernetics, pages 2904-2911. IEEE, 2009.
4. Edmund M. Clarke, E. Allen Emerson, and A. Prasad Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst., 8(2):244-263, 1986.
5. Lori A. Clarke, George S. Avrunin, and Leon J. Osterweil. Using software engineering technology to improve the quality of medical processes. In International Conference on Software Engineering (ICSE 2008), pages 889-898, 2008.
6. Luca de Alfaro and Thomas A. Henzinger. Interface automata. In ESEC / SIGSOFT FSE, pages 109-120, 2001.
7. Dan Diaper. Task Analysis for Human-Computer Interaction. Prentice Hall, New Jersey, USA, 1990.
8. Marlon Dumas and Arthur H. M. ter Hofstede. UML Activity Diagrams as a Workflow Specification Language. In UML, pages 76-90, 2001.
9. Orna Grumberg and David E. Long. Model checking and modular verification. ACM Trans. Program. Lang. Syst., 16(3):843-871, 1994.
10. Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, and Anh Nguyen. Specifying and analyzing workflows for automated identification and data capture. In HICSS, 2009.
11. Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Permissive interfaces. In Michel Wermelinger and Harald Gall, editors, ESEC/SIGSOFT FSE, pages 31-40. ACM, 2005.
12. Erik Hollnagel. The phenotype of erroneous actions. International Journal of Man-Machine Studies, 39(1):1-32, 1993.
13. G. J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, 2004.
14. Farnam Jahanian and Aloysius K. Mok. Safety analysis of timing properties in real-time systems. IEEE Trans. Software Eng., 12(9):890-904, 1986.
15. C.W. Johnson and A.J. Telford. Extending the application of formal methods to analyse human error and system failure during accident investigations. Software Engineering Journal, 11(6):335-365, 1996.
16. Cliff B. Jones. Tentative steps toward a development method for interfering programs. ACM Trans. Program. Lang. Syst., 5(4):596-619, 1983.
17. John G. Kemeny. Report of The President's Commission on the Accident at Three Mile Island: The Need for Change: The Legacy of TMI. Washington, D.C.: The Commission, 1979.
18. Orna Kupferman and Moshe Y. Vardi. Robust satisfaction. In CONCUR, volume 1664 of LNCS, pages 383-398. Springer, 1999.
19. Frank P. Lees. Loss Prevention in the Process Industies. Butterworths, 1980.
20. Nancy G. Leveson. Software safety: Why, what, and how. ACM Comput. Surv., 18(2):125-163, 1986. (Pubitemid 17532141)
21. Nancy G. Leveson and Clark Savage Turner. Investigation of the therac-25 accidents. IEEE Computer, 26(7):18-41, 1993.
22. Peter A. Lindsay and Simon Connelly. Modelling erroneous operator behaviours for an air-traffic control task. In Australian User Interface Conference, pages 43-54, 2002.
23. C.M. Mitchell. Gt-msocc: A domain for research on human computer interaction and decision aiding in supervisory control systems. IEEE Transactions on Systems, Man and Cybernetics, 17(4):553-572, July 1987.
24. A. Pnueli and R. Rosner. On the synthesis of a reactive module. In POPL, pages 179-190, New York, NY, USA, 1989. ACM.
25. Amir Pnueli. The temporal logic of programs. In FOCS, pages 46-57. IEEE, 1977.
26. Dongmin Shin, Richard A. Wysk, and Ling Rothrock. Formal model of human material-handling tasks for control of manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 36(4):685-696, 2006.
27. Rishabh Singh, Dimitra Giannakopoulou, and Corina S. Pasareanu. Learning component interfaces with may and must abstractions. In CAV, volume 6174 of LNCS, pages 527-542. Springer, 2010.
28. A. Prasad Sistla. Safety, liveness and fairness in temporal logic. In Formal Aspect of Computing, pages 495-511, 1999.
29. Rachel L. Smith, George S. Avrunin, Lori A. Clarke, and Leon J. Osterweil. Propel: an approach supporting property elucidation. In ICSE, pages 11-21. ACM, 2002.
30. Juoko Suokas. On the reliability and validity of safety analysis. Technical Report publications 25, Technical Research Center of Finland, Finland, September 1985.
31. Oksana Tkachuk, Matthew B. Dwyer, and Corina S. Pasareanu. Automated environment generation for software model checking. In ASE, pages 116-129. IEEE Computer Society, 2003.
32. W. M. P. van der Aalst. Verification of workflow nets. In ICATPN, volume 1248 of LNCS, pages 407-426. Springer, 1997.
33. Wil M. P. van der Aalst and Arthur H. M. ter Hofstede. Yawl: Yet Another Workflow Language. Inf. Syst., 30(4):245-275, 2005.
34. David J. van Horn. Risk assessment techniques for experimentalists. In Chemical Process Hazard Review, pages 23-29, Washington, D.C., 1985. American Chemical Society.
35. Xiangpeng Zhao, Zongyan Qiu, Chao Cai, and Hongli Yang. A formal model for human workflow. In International Conference on Web Services (ICWS), pages 195-202, 2008.