Software Requirements and the Human-Computer Interface

软件要求和人机界面

• 批准号: 9520813
• 负责人: Nancy Leveson
• 金额: $ 28.5万
• 依托单位: University of Washington
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1996
• 资助国家: 美国
• 起止时间: 1996-05-15 至 1999-05-17
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9520813&HistoricalAwards=false
• 关键词: Software; Requirements; Human; Computer; Interface

Previously research lead to software requirements completeness criteria for process control systems. These criteria, however, did not include the human-computer interface. This research involves extending these criteria to specify appropriate abstractions and completeness requirements for man-in-the-loop systems and devising hazard analysis techniques for the human-computer interface. Four questions are examined: (1) What information needs to be specified in a software requirements specification to ensure safety for software that includes a human-computer interface; (2) How can traditional hazard analyses be extended to include human-computer interface issues; (3) How can the information from these hazard analyses be used to improve the human-computer interface design; (4) How can a state-machine-based requirements specification be analyzed for compliance with some of these human-interface criteria, how can specification languages be designed to enhance the ability to perform this analysis, and to enhance the ability to generate safe human-computer interface designs. ***

以前的研究为过程控制系统提供了软件需求完整性标准。 然而，这些标准并不包括人机界面。这项研究涉及扩展这些标准，以指定适当的抽象和完整性要求的人在回路系统和设计危险分析技术的人机界面。审查了四个问题：（1）在软件需求说明书中需要规定哪些信息以确保包含人机界面的软件的安全性;（2）如何将传统的危害分析扩展到包括人机界面问题;（3）如何使用这些危害分析的信息来改进人机界面设计;（4）如何分析基于状态机的需求规范以符合这些人机接口标准中的一些，如何设计规范语言以增强执行这种分析的能力，并增强生成安全人机接口设计的能力。 ***