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.