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

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.