International Journal of Science and Research (IJSR)

International Journal of Science and Research (IJSR)
Call for Papers | Fully Refereed | Open Access | Double Blind Peer Reviewed

ISSN: 2319-7064




Downloads: 107 | Views: 196

Survey Paper | Computer Science & Engineering | India | Volume 4 Issue 6, June 2015 | Rating: 6.2 / 10


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



How to Download this Article?

Type Your Valid Email Address below to Receive the Article PDF Link


Verification Code will appear in 2 Seconds ... Wait

Top