Capturing and Assuring System Requirements (CAeSaR)

捕获并确保系统要求 (CAeSaR)

• 批准号: 10006157
• 金额: $ 15.69万
• 依托单位: DRISQ LTD
• 依托单位国家: 英国
• 项目类别: BEIS-Funded Programmes
• 财政年份: 2022
• 资助国家: 英国
• 起止时间: 2022 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=10006157
• 关键词: Capturing; Assuring; System; Requirements; CAeSaR

Within aerospace and other industries, it is widely recognised that poor requirements are the root cause of cost overruns in systems development and, in thankfully rare cases, accidents after a system has been deployed. The aim of this project is to significantly reduce the opportunity for error in writing system requirements thus reducing cost and helping to avoid accidents. We aim to provide a means for the typical systems engineer to easily write clear, concise, unambiguous system requirements which can then be used as a sound basis for use in future verification activities. The technology will exploit a mathematical technique called 'Formal Methods'. We will provide a set of templates that enable a systems developer to write English language requirements thus enabling stakeholders such as regulators, developers and testers to clearly understand the intent.

在航空航天和其他行业，人们普遍认识到，低需求是系统开发成本超支的根本原因，而且在极少数情况下，系统部署后发生事故。这个项目的目的是显著减少在编写系统需求时出错的机会，从而降低成本并帮助避免事故。我们的目标是为典型的系统工程师提供一种方法，使其能够轻松地编写清晰、简明、明确的系统需求，然后将其用作未来验证活动中使用的可靠基础。这项技术将利用一种叫做“形式方法”的数学技术。我们将提供一组模板，使系统开发人员能够编写英语语言需求，从而使管理者、开发人员和测试人员等利益相关者能够清楚地理解意图。