NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Modeling Controller Tasks for Safety AnalysisAs control systems become more complex, the use of automated control has increased. At the same time, the role of the human operator has changed from primary system controller to supervisor or monitor. Safe design of the human computer interaction becomes more difficult. In this paper, we present a visual task modeling language that can be used by system designers to model human-computer interactions. The visual models can be translated into SpecTRM-RL, a blackbox specification language for modeling the automated portion of the control system. The SpecTRM-RL suite of analysis tools allow the designer to perform formal and informal safety analyses on the task model in isolation or integrated with the rest of the modeled system.
Document ID
19990063824
Acquisition Source
Langley Research Center
Document Type
Other
Authors
Brown, Molly
(Washington Univ. Seattle, WA United States)
Leveson, Nancy G.
(Washington Univ. Seattle, WA United States)
Date Acquired
August 19, 2013
Publication Date
December 27, 1998
Publication Information
Publication: Safety Analysis of FMS/CTAS Interactions During Aircraft Arrivals
Subject Category
Air Transportation And Safety
Funding Number(s)
CONTRACT_GRANT: NAG1-1894
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Document Inquiry

Available Downloads

There are no available downloads for this record.
No Preview Available