Functional safety standards such as IEC 61508 and ISO 26262 advocate a particularly stringent requirements engineering where safety requirements must be structured in a hierarchical manner and specified in accordance with the system architecture. In contrast to the stringent requirements engineering in functional safety standards, according to previous studies, requirements engineering in industry is in general of poor quality. Contracts theory has been previously shown to be suitable for supporting such a stringent requirements engineering effort; this support has also been implemented in tools. However, to use these contract-based tools, requirements must be formalized, which is a major challenge in industry. Therefore, to support current industrial requirements engineering practice and the stringent requirements engineering in functional safety standards, it is shown how tool support can be provided even when requirements, and also architectures, are not formalized. This is achieved by enforcing syntactic, yet formal, conditions in contracts theory. Despite the need for further validation, initial findings in an industrial case study indicate high potential in realizing the proposed support in an industrial setting.

中文翻译：

---

通过执行句法契约条件为指定安全关键系统提供工具支持

IEC 61508 和 ISO 26262 等功能安全标准提倡特别严格的需求工程，其中安全需求必须以分层方式构建并根据系统架构进行指定。与功能安全标准中严格的需求工程相比，根据之前的研究，工业中的需求工程质量普遍较差。契约理论先前已被证明适用于支持如此严格的需求工程工作；这种支持也已在工具中实施。但是，要使用这些基于合同的工具，必须将需求形式化，这在行业中是一个重大挑战。所以，为了支持当前的工业需求工程实践和功能安全标准中的严格需求工程，它展示了即使在需求和架构没有正式化的情况下也可以提供工具支持。这是通过在合同理论中强制执行句法但正式的条件来实现的。尽管需要进一步验证，但一项工业案例研究的初步结果表明，在工业环境中实现拟议支持的潜力很大。