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:
- An Executable Formal Framework for Safety-Critical Human Multitasking
by Giovanna Broccia, Paolo Milazzo and Peter Csaba Ölveczky
(Extended) Technical Report, 2017. - Modeling and Analysis of Human Memory Load in Multitasking Scenarios
by Giovanna Broccia, Paolo Masci and Paolo Milazzo
ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018)
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.
- Source code of the modeling framework: CogFram5.maude
- Source code of the car/navigator case study (tech report): carInfotainment.zip
- Source code of the infusion pump case study (EICS paper): interleaving.zip
- Source code of the air traffic control case study (not documented): AirTrafficControl.zip