PEnDAR - Performance ENsurance by Design, Analysing Requirements

点击翻译按钮获取中文摘要

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.