Reliability Engineering and System Safety

Human error, safety, and systems development in aviation
pp. 115-119(5)
Author: Javaux D.

Formally verified, rapid prototyping for Air Traffic Control
pp. 121-132(12)
Authors: Sage M.; Johnson C.W.

Approaches to mitigating complexity-driven issues in commercial autoflight systems
pp. 133-145(13)
Authors: Vakil S.S.; John Hansman R.

A method for predicting errors when interacting with finite state systems. How implicit learning shapes the user's knowledge of a system
pp. 147-165(19)
Author: Javaux D.

Using model checking to help discover mode confusions and other automation surprises
pp. 167-177(11)
Author: Rushby J.

The effect of an advisory system on pilots' go/no-go decision during take-off
pp. 179-191(13)
Authors: Bove T.; Andersen H.B.

Testing and implementing cockpit alerting systems
pp. 193-206(14)
Authors: Pritchett A.R.; Vandor B.; Edwards K.

Integrating objective and subjective hazard risk in decision-aiding system design
pp. 207-214(8)
Authors: Kuchar J.K.; Walton D.S.; Matsumoto D.M.

Designing for safety: the 'free flight' air traffic management concept
pp. 215-232(18)
Authors: Hoekstra J.M.; van Gent R.N.H.W.; Ruigrok R.C.J.

Towards a model for the study of written procedure following in dynamic environments
pp. 233-244(12)
Author: de Brito G.

The British Airways human factors reporting programme
pp. 245-255(11)
Author: O'Leary M.

Human error in European air traffic management: the HERA project
pp. 257-272(16)
Authors: Isaac A.; Shorrock S.T.; Kirwan B.

The NRC Bell 412 ASRA safety system: a human factors perspective on lessons learned from an airborne incident
pp. 273-283(11)
Authors: Gubbels A.W.; Craig G.L.