Designing Software to Reduce Operator Error
Designing Software to Reduce Operator Error
批准号:
0438153
负责人:
Nancy Leveson
金额:
$48.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2005
资助国家:
美国
项目状态:
已结题
起止时间:
2005-04-01 至 2009-03-31
中文摘要
大量的事故总是归因于操作者的失误。 虽然自动化消除了许多类型的操作员错误,但它也导致了新类型的操作员错误。 这些新的错误中有许多是人为因素专家所称的以技术为中心的自动化的结果,设计师将大部分注意力集中在从软件输入到输出的映射,所需功能的数学模型以及计算机内部的技术细节和问题上。 通常很少注意设计和评估软件是否提供透明和一致的行为,支持操作员在他们的监视和控制任务。 人为因素专家试图通过改变自动化的人机界面,改变操作员培训,或设计新的操作程序来消除由于糟糕的软件设计而导致的人为错误,来克服他们所说的笨拙的自动化。 这些努力只取得了有限的成功。 一些人为因素研究人员得出结论,培训不能也不应该成为解决不良设计的方法,并呼吁更多以人为本的自动化。 如果我们能够识别出导致人为错误的软件设计特征,那么我们应该能够以这样的方式设计软件,即在不牺牲引入计算机的目标(例如提高生产力和效率)的情况下减少错误。 基于PI先前的初步工作,本研究的目标是识别可能导致人为操作员错误的有问题的软件行为(设计功能),定义用于分析这些功能的正式软件规范的算法,并创建新的以人为本的软件设计实践,从而减少操作员错误和更安全的系统。更广泛的影响:大多数人机交互的研究人员都专注于人与计算机之间的界面设计。 然而,软件设计开始在事故中发挥重要作用,使操作人员感到困惑,并导致新类型的人为错误。 目前对软件设计和操作员错误之间的关系知之甚少。 在软件设计科学中开发这个相对研究不足的领域的潜在好处在拯救生命和财产方面是显而易见的。 此外,学生将有机会在一个跨学科领域工作和学习,该领域需要计算机科学,心理学和人为因素的知识。 这项研究的结果将被广泛传播,并纳入本科生和研究生班。
英文摘要
A large number of accidents have always been attributed to operator error. While automation has eliminated many types of operator error, it has also resulted in new types of operator error. Many of these new errors are the result of what human factors experts have labeled technology-centered automation, where designers focus most of their attention on the mapping from software inputs to outputs, on mathematical models of required functionality, and on the technical details and problems internal to the computer. Little attention is usually given to designing and evaluating software with respect to whether it provides transparent and consistent behavior that supports operators in their monitoring and control tasks. Human factors experts have tried to overcome what they call clumsy automation by changing the human interface to the automation, by changing operator training, or by designing new operational procedures to eliminate the human errors resulting from poor software design. These efforts have had only limited success. Some human factors researchers have concluded that training cannot and should not be the fix for bad design, and have called for more human-centered automation. If we can identify software design features that lead to human error, then we should be able to design software in such a way that errors are reduced without sacrificing the goals for which computers are being introduced, such as increased productivity and efficiency. Building on previous preliminary work by the PI, the goal of this research is to identify problematic software behavior (design features) that can lead to human operator error, to define algorithms for analyzing formal software specifications for these features, and to create new human-centered software design practices that will lead to reduced operator errors and safer systems. Broader Impacts: Most researchers in human-computer interaction have focused on the design of the interface between the human and the computer. Software design, however, is starting to play an important role in accidents by confusing human operators and contributing to new types of human error. Very little is currently known about the relationship between software design and operator error. The potential benefits of developing this relatively under-researched area in the science of software design are obvious in terms of saving lives and property. In addition, students will get the opportunity to work in and learn about an interdisciplinary field that requires knowledge from both computer science and from psychology and human factors. The results of this research will be disseminated widely and incorporated into both undergraduate and graduate classes.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
EAGER: A Systems Approach to Predicting and Preventing Accidents During Operations
-
批准号:1841231
-
项目类别:Standard Grant
-
资助金额:$12.45万
-
财政年份:2018
-
负责人:Nancy Leveson
-
依托单位:
SGER: A Socio-Technical Approach to Internet Security
-
批准号:0550008
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Nancy Leveson
-
依托单位:
DRU: Dynamic Modeling of System Safety to Manage Risk and Enable Internal and External Cross-Stakeholder Alignment
-
批准号:0527660
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Nancy Leveson
-
依托单位:
ITR: A Center for Safety-Critical Embedded Software
-
批准号:0085829
-
项目类别:Continuing Grant
-
资助金额:$150.0万
-
财政年份:2000
-
负责人:Nancy Leveson
-
依托单位:
Specification and Design Support for Software Evolution
-
批准号:9996268
-
项目类别:Standard Grant
-
资助金额:$7.03万
-
财政年份:1999
-
负责人:Nancy Leveson
-
依托单位:
Software Requirements and the Human-Computer Interface
-
批准号:9996265
-
项目类别:Continuing Grant
-
资助金额:$22.48万
-
财政年份:1999
-
负责人:Nancy Leveson
-
依托单位:
Specification and Design Support for Software Evolution
-
批准号:9633428
-
项目类别:Standard Grant
-
资助金额:$8.0万
-
财政年份:1996
-
负责人:Nancy Leveson
-
依托单位:
Software Requirements and the Human-Computer Interface
-
批准号:9520813
-
项目类别:Continuing Grant
-
资助金额:$28.5万
-
财政年份:1996
-
负责人:Nancy Leveson
-
依托单位:
CISE Postdoctoral Program: ES Postdoctoral Associate: Safety and the Human-Computer Interface
-
批准号:9504064
-
项目类别:Standard Grant
-
资助金额:$4.62万
-
财政年份:1995
-
负责人:Nancy Leveson
-
依托单位:
FAW: Specification and Analysis Methodology for Safety- Critical Software
-
批准号:9396181
-
项目类别:Continuing Grant
-
资助金额:$25.0万
-
财政年份:1993
-
负责人:Nancy Leveson
-
依托单位:
CISE/CDA 1991 Minority Graduate Fellowship Honorable Mention(Ruben Ortega)
-
批准号:9121462
-
项目类别:Standard Grant
-
资助金额:$0.6万
-
财政年份:1991
-
负责人:Nancy Leveson
-
依托单位:
Committee on Status of Women in Computer Science
-
批准号:9103163
-
项目类别:Standard Grant
-
资助金额:$9.49万
-
财政年份:1991
-
负责人:Nancy Leveson
-
依托单位:
FAW: Specification and Analysis Methodology for Safety- Critical Software
-
批准号:9023513
-
项目类别:Continuing Grant
-
资助金额:$10.0万
-
财政年份:1991
-
负责人:Nancy Leveson
-
依托单位:
Software Safety in Process Control Systems
-
批准号:9006279
-
项目类别:Continuing Grant
-
资助金额:$10.86万
-
财政年份:1990
-
负责人:Nancy Leveson
-
依托单位:
Safety-Critical Software Development (Computer Science)
-
批准号:8800505
-
项目类别:Standard Grant
-
资助金额:$12.32万
-
财政年份:1988
-
负责人:Nancy Leveson
-
依托单位:
Completeness in Software Requirements Specifications for Process Control Systems
-
批准号:8718001
-
项目类别:Standard Grant
-
资助金额:$17.44万
-
财政年份:1988
-
负责人:Nancy Leveson
-
依托单位:
Analyzing Fault Tolerance and Safety Using Time Petri Nets
-
批准号:8406532
-
项目类别:Standard Grant
-
资助金额:$8.46万
-
财政年份:1984
-
负责人:Nancy Leveson
-
依托单位:
海外基金