CISE Postdoctoral Program: ES Postdoctoral Associate: Safety and the Human-Computer Interface

CISE博士后项目：ES博士后助理：安全与人机界面

• 批准号: 9504064
• 负责人: Nancy Leveson
• 金额: $ 4.62万
• 依托单位: University of Washington
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-09-01 至 1997-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9504064&HistoricalAwards=false
• 关键词: CISE; Postdoctoral; Program; ES; Associate

9504064 Leveson Two aspects of the integration of HCI and safety research will be investigated in this work. The first area of research is the application of HCI techniques and knowledge to the design of formal specification languages---both their printed and automated representations. The concept of semantic distance for formal specification languages will be made operational and its implications in the design of such languages will be explored. The approach will involve working with application experts in building real specifications and using this experience to determine what features of specifications they find most natural, and exploring cognitive psychology models of human error and how they can be applied to specification languages to minimize the errors that are made. The second research topic involves modeling the HCI and performing a hazard analysis on the model. This work will involve modeling human behavior, developing analysis techniques to identify potential hazardous behavior of both the human operators and the computer, integrating these models into the general model for specification and analysis of critical system properties, and determining how the resulting information can be used in the design of the software and the design of user procedures. The subject of how current knowledge about the safe design of traditional controls can be applied to the design of computer-based models will be examined and experimental testbeds will be developed to test the hypotheses. ***

小行星9504064 在这项工作中，人机交互和安全研究的整合将被调查的两个方面。 研究的第一个领域是应用人机交互技术和知识来设计正式的规格说明语言-它们的打印和自动化表示。 正式规范语言的语义距离的概念将操作和它的影响，这些语言的设计将进行探讨。 该方法将涉及与应用专家合作，构建真实的规范，并利用这些经验来确定他们认为最自然的规范特征，并探索人类错误的认知心理学模型，以及如何将其应用于规范语言，以最大限度地减少所犯的错误。 第二个研究课题涉及建模的HCI和执行的模型上的危险分析。 这项工作将涉及建模人类行为，开发分析技术，以确定潜在的危险行为的人类操作员和计算机，将这些模型集成到一般模型的规范和分析的关键系统属性，并确定如何得到的信息可以用于软件的设计和用户程序的设计。 将研究如何将传统控制的安全设计的现有知识应用于基于计算机的模型的设计，并开发实验测试平台来测试假设。 ***