Analysis of cognitive properties of interactive systems using model checking

Project: Research project

Grant Program

Faculty Development Competitive Research Grants 2020-2022

Project Description

The purpose of this project is to define a methodology for the modelling and analysis of interactive systems which addresses the challenges presented in the previous section and implement it by developing a toolset in which formal aspects are embedded with interfaces appropriate for usage by interaction design and usability experts and psychologists rather than formal methods experts. The toolset will consists of a cognitive architecture for the control of human components and its interaction with the rest of the system, the infrastructure for modelling physical components, simulation and analysis engines and user interfaces.
Effective start/end date1/1/2012/31/22


Formal methods
Model checking
User interfaces