Formal Aspects of Procedures: The Problem of Sequential Correctness-Reference-Cited by-同舟云学术

Formal Aspects of Procedures: The Problem of Sequential Correctness

Published:1999-09 Issue:20 Volume:43 Page:1113-1117
ISSN:2169-5067
Container-title:Proceedings of the Human Factors and Ergonomics Society Annual Meeting
language:en
Short-container-title:Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Author:

Degani Asaf¹,Heymann Michael²,Shafto Michael³

Affiliation:

1. San Jose State University, CA; and NASA Ames Research Center

2. Technion, Haifa, Israel; and NASA Ames Research Center

3. NASA Ames Research Center, Moffett Field, CA.

Abstract

A formal, model-based approach is proposed for the development and evaluation of the sequences of actions specified in procedures. The approach employs methodologies developed within the discipline of discrete-event and hybrid systems control. We demonstrate the proposed approach through an evaluation of a procedure for handling an irregular engine-start on board a modern commercial aircraft.

Publisher

SAGE Publications

Subject

General Medicine,General Chemistry

Link

http://journals.sagepub.com/doi/pdf/10.1177/154193129904302012

Reference12 articles.

1. Cockpit Checklists: Concepts, Design, and Use

2. Procedures in complex systems: the airline cockpit

3. Social reasoning and spatial paralogic.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Analyzing Standard Operating Procedures Using Model‐Based Systems Engineering Diagrams;INCOSE International Symposium;2021-07

2. Evaluating process-based and crew- centred approaches to procedure design in aviation: workload and performance changes in go-around manoeuvres;Applied Ergonomics;2021-01

3. ARE CREWS EMPOWERED WITH ALL THE RESOURCES NEEDED TO SUCCESSFULLY ADDRESS AN INFLIGHT EMERGENCY? CHECKLISTS, A NECESSARY BUT INSUFFICIENT TOOL;Aviation;2018-11-13

4. Available Operational Time Window: A Method for Evaluating and Monitoring Airline Procedures;Journal of Cognitive Engineering and Decision Making;2017-08-31

5. Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems;Human–Computer Interaction Series;2017