A Systematic Approach to Model Checking Human-Automation Interaction Using Task Analytic Models

Formal methods are typically used in the analysis of complex system components that can be described as "automated" (digital circuits, devices, protocols, and software). Human-automation interaction has been linked to system failure, where problems stem from human operators interacting wit...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on systems, man and cybernetics. Part A, Systems and humans man and cybernetics. Part A, Systems and humans, 2011-09, Vol.41 (5), p.961-976
Hauptverfasser:	Bolton, M. L., Siminiceanu, R. I., Bass, E. J.
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Analytical models Automated Automation Automotive components Computational modeling Formal methods Human human-automation interaction Humans Mathematical analysis Mathematical models model checking Object oriented modeling Operators Studies Syntactics Syntax task analysis Tasks Visualization XML
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!