PEnDAR - Performance ENsurance by Design, Analysing Requirements

随着社会对信息通信技术的日益依赖，对预测和确保关键基础设施性能的手段的需求也在增长。如今，大型CPS和System of Systems的性能通常是一种计划外的紧急属性，在运行寿命期间可能会发生很大变化。尽管这种危险有时作为系统调试的一部分被验证，但它经常会进入部署的系统，严重影响它们的长期可用性，并增加它们的总生命周期成本。有成熟的数学技术可以捕获、验证和验证此类系统的性能（和资源成本）。这项可行性研究的目的是调查如何最有效地将这些技术纳入组织的工作流程，使他们能够提取的利益的技术问题。

With society’s increasing dependence on ICT, the need for means to predict and assure the performance ofcritical infrastructure grows.Today, the performance of large-scale CPS and System of Systems is often an unplanned emergent propertythat can vary substantially during operational lifetime. Although this hazard is sometimes validated as part ofsystem commissioning, it often it finds its way into deployed systems, substantially impinging on the their longterm usefulness as well as increasing their total lifetime costs.There are mature mathematical techniques to capture, validate and verify the performance (and resource cost)of such systems. This feasibility study aims to investigate the technical issues of how to most effectivelyincorporate these techniques into the workflow of organisations so that they can extract the benefits.