Analysis of cognitive properties of interactive systems using model checking

Project: Monitored by Research Administration

Project Details

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

Fingerprint Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.