A Computational Formal Framework for Safety-Critical Human Multitasking

When a person is concurrently interacting with different systems, the amount of cognitive resources required (cognitive load) could be too high and might prevent some tasks from being completed. When such human multitasking involves safety-critical tasks, failure to devote sufficient attention to the different tasks could have serious consequences. To study this problem, we developed an executable formal framework for human multitasking modeling and analysis in Real-Time Maude.

The framework is described in:

The Real-Time Maude source code of the framework and the code of the example described in the Technical Report are freely available for download.