Formal Modelling of Task Interruptions

Abstract

My doctoral research is concerned with the formal modelling of task interruptions. Although interruptions are significant events in human activities, current models and notations do not support their expression appropriately. My contribution to this problem is twofold: the ISAU model which makes explicit the general structure of an interruption, and a UAN-based formal notation that would force designers to consider the right questions when developing a system. ISAU will be assessed using a real-world exemplar: the Data-Link system that supports communications between pilots from different aircraft's and air traffic controllers.