Paper Info
Title
Applying Formal Methods for Human Error Tolerant Design
Abstract
. This paper describes recent work concerned with the specificationof requirements on interactive systems and the definition ofuser-level properties of such systems. A formal notation for describingand reasoning about the behaviour of systems and emergent properties isdiscussed, along with a technique that uses the formalism to investigatethe resilience of systems to operator errors. These techniques are beingused in the context of a project with British Aerospace; the conceptsare...
Year
DOI
Venue
1994
10.1007/BFb0035815
ICSE Workshop on SE-HCI
Keywords
Field
DocType
human error tolerant design,formal methods,human error,emergent properties,formal method
Aerospace,Warning system,Interval temporal logic,Systems engineering,Computer science,Human reliability,Human error,User Error,Formal methods,Formalism (philosophy)
Conference
ISBN
Citations 
PageRank 
3-540-59008-0
0
0.34
References 
Authors
7
3
Name
Order
Citations
PageRank
Bob Fields1274.07
Peter C. Wright253683.66
Michael D. Harrison31004115.78