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

9504064 Leveson本工作将从两个方面探讨HCI与安全性研究的整合。第一个研究领域是将HCI技术和知识应用于正式规范语言的设计——包括它们的印刷和自动化表示。将对形式规范语言的语义距离概念进行操作，并探讨其在此类语言设计中的含义。该方法将涉及与应用程序专家一起构建真正的规范，并利用这种经验来确定他们认为规范的哪些特性是最自然的，并探索人类错误的认知心理学模型，以及如何将它们应用于规范语言以最大限度地减少所犯的错误。第二个研究课题涉及对HCI进行建模并对模型进行危害分析。这项工作将涉及人类行为建模，开发分析技术以识别人类操作员和计算机的潜在危险行为，将这些模型集成到关键系统属性的规范和分析的通用模型中，并确定如何将结果信息用于软件设计和用户程序设计。关于如何将传统控制的安全设计的现有知识应用于基于计算机的模型的设计这一主题将被审查，并将开发实验试验台来测试假设。* * *

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. ***