With society’s increasing dependence on ICT, the need for means to predict and assure the performance of critical infrastructure grows. Today, the performance of large-scale Cyber Physical Systems and System of Systems is often an unplanned emergent property that can vary substantially during operational lifetime. Although this hazard is sometimes validated as part of system commissioning, it often it finds its way into deployed systems, substantially impinging on the their long term usefulness as well as increasing their total lifetime costs. The hazards of failing to deliver the required performance are increasingly unknown and unconsidered as their sources become more obtuse in complex, interacting systems. In addition such hazards have more and more serious consequences, such as in safety critical systems. 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 effectively incorporate these techniques into the workflow of organisations so that they can extract the benefits. From the other side, movements such as the Internet of Things mean that networks (and other shared resource systems) are finding their way into sectors where rigorous Validation & Verification are not only the norm but are also vital. Increasingly those asked to assure the fitness and compliance of structures, services and products are asked to extend their work to cover factors that do not have objective and standardised requirements and measurements.