Hide metadata

dc.date.accessioned2019-12-18T21:02:10Z
dc.date.available2019-12-18T21:02:10Z
dc.date.created2019-01-25T12:38:05Z
dc.date.issued2018
dc.identifier.citationBroccia, Giovanna Milazzo, Paolo Ölveczky, Peter Csaba . An Executable Formal Framework for Safety-Critical Human Multitasking. Lecture Notes in Computer Science. 2018, 10811, 54-69
dc.identifier.urihttp://hdl.handle.net/10852/71733
dc.description.abstractWhen 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.
dc.languageEN
dc.publisherSpringer Verlag
dc.titleAn Executable Formal Framework for Safety-Critical Human Multitasking
dc.typeJournal article
dc.creator.authorBroccia, Giovanna
dc.creator.authorMilazzo, Paolo
dc.creator.authorÖlveczky, Peter Csaba
cristin.unitcode185,15,5,32
cristin.unitnamePålitelige systemer
cristin.ispublishedtrue
cristin.fulltextpostprint
cristin.qualitycode1
dc.identifier.cristin1593731
dc.identifier.bibliographiccitationinfo:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=Lecture Notes in Computer Science&rft.volume=10811&rft.spage=54&rft.date=2018
dc.identifier.jtitleLecture Notes in Computer Science
dc.identifier.volume10811
dc.identifier.startpage54
dc.identifier.endpage69
dc.identifier.doihttps://doi.org/10.1007/978-3-319-77935-5_4
dc.identifier.urnURN:NBN:no-74809
dc.type.documentTidsskriftartikkel
dc.type.peerreviewedPeer reviewed
dc.source.issn0302-9743
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/71733/1/HumanMultitasking_NFM18.pdf
dc.type.versionAcceptedVersion


Files in this item

Appears in the following Collection

Hide metadata