Model checking interactor specifications

Recent accounts of accidents draw attention to "automation surprises" that arise in safety critical systems. An automation surprise can occur when a system behaves differently from the expectations of the operator. Interface mode changes are one class of such surprises that have significan...

Full description

Bibliographic Details
Main Author: Campos, J. Creissac (author)
Other Authors: Harrison, M. D. (author)
Format: article
Language:eng
Published: 2001
Subjects:
Software verification
Interactive systems
Automation surprise
Interface mode confusion
Model checking
Interactor based specifications
Online Access:http://hdl.handle.net/1822/687
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/687

Internet

http://hdl.handle.net/1822/687

Similar Items