Matches in SemOpenAlex for { <https://semopenalex.org/work/W51957111> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W51957111 abstract "Operator interaction with modern control systems is a topic of great concern in high-risk industries such as nuclear power and commercial aviation. The issues associated with such systems focus on the ability of the operators (e.g., pilots) to achieve mission goals safely while containing failures. Operators must be able to interact safely and reliably with highly automatic and complex systems across the full spectrum of possible operating conditions, including normal, abnormal, and emergency situations. In environments such as commercial aviation, operator interaction with the machine is specified through a set of standard operating procedures (SOP). A procedure represents a collective agreement on the 'best' way to perform a given task. The intent of this paper is to suggest a formal methodology, for designing and evaluating procedures, that is both reliable and systematic. Our approach involves two major elements: a model of the machine and a list of the operator's task specifications (goals). We use formal modeling paradigms for describing the system and super-imposing on it the operator's tasks. Such paradigms, based on recent frameworks such as Statecharts and Hierarchical Hybrid Machines appear to be adequate methods for analyzing operator interaction with modern control systems. To illustrate this methodology, we model and analyze the sequence of actions for an emergency procedure. The procedure, Irregular Engine Start, for a medium-range aircraft, specifies the sequence of immediate actions that must be performed by the crew to avoid an uncontrolled rise in engine temperature during start-up. A model of engine behavior during a hot start is constructed. It also describes the various actions that can be taken by the crew and the resulting outcomes. The model is then opened up as a tree of all possible action sequences. This action tree allows us to trace the correct sequences necessary to achieve the desired end-goal (secure and shut down of the engine). In conclusion, we argue that the current process of designing and evaluating procedures can be improved. We discuss the implications of this approach for designing and evaluating this and other types of procedures. We conclude with insights about the benefits and limitation of this methodology, and offer suggestions for future research." @default.
- W51957111 created "2016-06-24" @default.
- W51957111 creator A5009643453 @default.
- W51957111 creator A5015451584 @default.
- W51957111 creator A5018153199 @default.
- W51957111 creator A5079450962 @default.
- W51957111 date "1998-01-01" @default.
- W51957111 modified "2023-09-27" @default.
- W51957111 title "A Formal Approach for Designing and Evaluating Procedures" @default.
- W51957111 hasPublicationYear "1998" @default.
- W51957111 type Work @default.
- W51957111 sameAs 51957111 @default.
- W51957111 citedByCount "0" @default.
- W51957111 crossrefType "journal-article" @default.
- W51957111 hasAuthorship W51957111A5009643453 @default.
- W51957111 hasAuthorship W51957111A5015451584 @default.
- W51957111 hasAuthorship W51957111A5018153199 @default.
- W51957111 hasAuthorship W51957111A5079450962 @default.
- W51957111 hasConcept C104317684 @default.
- W51957111 hasConcept C127413603 @default.
- W51957111 hasConcept C146978453 @default.
- W51957111 hasConcept C154945302 @default.
- W51957111 hasConcept C158448853 @default.
- W51957111 hasConcept C17020691 @default.
- W51957111 hasConcept C177264268 @default.
- W51957111 hasConcept C185592680 @default.
- W51957111 hasConcept C199360897 @default.
- W51957111 hasConcept C201995342 @default.
- W51957111 hasConcept C2775924081 @default.
- W51957111 hasConcept C2779017403 @default.
- W51957111 hasConcept C2780451532 @default.
- W51957111 hasConcept C41008148 @default.
- W51957111 hasConcept C42475967 @default.
- W51957111 hasConcept C55493867 @default.
- W51957111 hasConcept C74448152 @default.
- W51957111 hasConcept C86339819 @default.
- W51957111 hasConceptScore W51957111C104317684 @default.
- W51957111 hasConceptScore W51957111C127413603 @default.
- W51957111 hasConceptScore W51957111C146978453 @default.
- W51957111 hasConceptScore W51957111C154945302 @default.
- W51957111 hasConceptScore W51957111C158448853 @default.
- W51957111 hasConceptScore W51957111C17020691 @default.
- W51957111 hasConceptScore W51957111C177264268 @default.
- W51957111 hasConceptScore W51957111C185592680 @default.
- W51957111 hasConceptScore W51957111C199360897 @default.
- W51957111 hasConceptScore W51957111C201995342 @default.
- W51957111 hasConceptScore W51957111C2775924081 @default.
- W51957111 hasConceptScore W51957111C2779017403 @default.
- W51957111 hasConceptScore W51957111C2780451532 @default.
- W51957111 hasConceptScore W51957111C41008148 @default.
- W51957111 hasConceptScore W51957111C42475967 @default.
- W51957111 hasConceptScore W51957111C55493867 @default.
- W51957111 hasConceptScore W51957111C74448152 @default.
- W51957111 hasConceptScore W51957111C86339819 @default.
- W51957111 hasLocation W519571111 @default.
- W51957111 hasOpenAccess W51957111 @default.
- W51957111 hasPrimaryLocation W519571111 @default.
- W51957111 hasRelatedWork W107830469 @default.
- W51957111 hasRelatedWork W1507610963 @default.
- W51957111 hasRelatedWork W1595098876 @default.
- W51957111 hasRelatedWork W1598996260 @default.
- W51957111 hasRelatedWork W186524637 @default.
- W51957111 hasRelatedWork W1992934654 @default.
- W51957111 hasRelatedWork W2101489230 @default.
- W51957111 hasRelatedWork W2307879772 @default.
- W51957111 hasRelatedWork W243902387 @default.
- W51957111 hasRelatedWork W268649855 @default.
- W51957111 hasRelatedWork W2788951379 @default.
- W51957111 hasRelatedWork W3010264187 @default.
- W51957111 hasRelatedWork W3020998650 @default.
- W51957111 hasRelatedWork W307364092 @default.
- W51957111 hasRelatedWork W3081376217 @default.
- W51957111 hasRelatedWork W3096937103 @default.
- W51957111 hasRelatedWork W3121050441 @default.
- W51957111 hasRelatedWork W44802038 @default.
- W51957111 hasRelatedWork W759046016 @default.
- W51957111 hasRelatedWork W884279221 @default.
- W51957111 isParatext "false" @default.
- W51957111 isRetracted "false" @default.
- W51957111 magId "51957111" @default.
- W51957111 workType "article" @default.