wiki:summer-projects/2012-hmi

Human Automation Interaction Patterns

Abstract

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.

Contact

student: Anakreontas Mentis <anakreon AT csd.auth.gr>

mentor: Dimitra

co-mentor: Panagiotis Katsaros

Repository

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.

Description

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