• English
    • Norsk
  • English 
    • English
    • Norsk
  • Administration
View Item 
  •   Home
  • Øvrige samlinger
  • Høstingsarkiver
  • CRIStin høstingsarkiv
  • View Item
  •   Home
  • Øvrige samlinger
  • Høstingsarkiver
  • CRIStin høstingsarkiv
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

An Executable Formal Framework for Safety-Critical Human Multitasking

Broccia, Giovanna; Milazzo, Paolo; Ölveczky, Peter Csaba
Journal article; AcceptedVersion; Peer reviewed
View/Open
HumanMultitasking_NFM18.pdf (344.2Kb)
Year
2018
Permanent link
http://urn.nb.no/URN:NBN:no-74809

CRIStin
1593731

Metadata
Show metadata
Appears in the following Collection
  • Institutt for informatikk [3649]
  • CRIStin høstingsarkiv [16955]
Original version
Lecture Notes in Computer Science. 2018, 10811, 54-69, DOI: https://doi.org/10.1007/978-3-319-77935-5_4
Abstract
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, for example in an airplane, a spacecraft, or a car, failure to devote sufficient attention to the different tasks could have serious consequences. To study this problem, we define an executable formal model of human attention and multitasking in Real-Time Maude. It includes a description of the human working memory and the cognitive processes involved in the interaction with a device. Our framework enables us to analyze human multitasking through simulation, reachability analysis, and LTL and timed CTL model checking, and we show how a number of prototypical multitasking problems can be analyzed in Real-Time Maude. We illustrate our modeling and analysis framework by studying the interaction with a GPS navigation system while driving, and apply model checking to show that in some cases the cognitive load of the navigation system could cause the driver to keep the focus away from driving for too long.
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy
 

 

For students / employeesSubmit master thesisAccess to restricted material

Browse

All of DUOCommunities & CollectionsBy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

For library staff

Login
RSS Feeds
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy