Human Automation Interaction Patterns


The main objective of the project is to extend the jpf-hmi project in order to support human automation interaction patterns and verification of their properties by the Java Path Finder model checker.


student: Anakreontas Mentis <anakreon AT>

mentor: Dimitra

co-mentor: Panagiotis Katsaros


The sources for this project are available from a Mercurial repository that is currently shared by Anakreon, Peter Mehlitz and Dimitra Giannakopoulou. Panagiotis Katsaros is actively involved in the discussions and planning of the project.


Anakreon has spent the first part of the project understanding the existing code and working on improvements. He has been working on restructuring the jpf-hmi code to work with the new jpf-learn project, rather than implementing the learning algorithms directly. As part of this work, he has also worked on generalizing the learning framework so that it can be instantiated for 2 or 3 valued learning.

When this is complete, he will work on an shell-like interface for jpf-hmi, that provides a high level interface for checking hmi properties.

Last modified 6 years ago Last modified on 07/02/2012 11:34:20 AM