Capturing and 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.