Software Requirements and the Human-Computer Interface

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

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