Downloads: 107 | Views: 176

Survey Paper | Computer Science & Engineering | India | Volume 4 Issue 6, June 2015

Analysis Model of Identifying Erroneous Human Behaviour in Coma Patient Recognition System

Manisha Umak | U. A. Jogalekar

Abstract: Complex safety critical applications like Automated Medication systems for Coma patients involve both human operators and automated devices. In this environment, human operator can make some error in operation of systems which will affect the safety of patients. In this project, we propose a verification mechanism which automatically generated the erroneous behaviors of humans and test it on the formal models of the system to evaluate the security. With this verification system, human errors can be identified and system can be made more robust to failures.

Keywords: Model Checker, Task analysis, System Safety, Human Automation Interaction HAI, Coma, Coma Patient Monitoring, EOFM Enhanced operator Function Model

Edition: Volume 4 Issue 6, June 2015,

Pages: 2240 - 2243