Reducing the risks associated with developing large-scale, critical software-integrated systems

工业、政府和国防越来越依赖大规模、关键的软件集成系统。这些系统的规模和复杂性意味着，目前分析、设计和确保其可靠性的方法难以提供所需的建设性支持和保证。因此，存在成本和进度超支以及系统问题和故障的重大风险。该项目建立在我们当前合作成果的基础上--这是一种用于大型系统需求的建模、分析和缺陷检测的新方法。我们将开发和扩大行业实力，更简单、更强大的战略，以分析、设计和提供所需的高水平保证。

Industry, government and defence increasingly rely on large-scale, critical software-integrated systems. The scale and complexity of these systems means current methods of analysing, designing and assuring their dependability are struggling to provide the constructive support and assurance that is demanded. Consequently, there are significant risks of cost and schedule overruns and of system problems and failures. This project builds on results from our current collaboration - a new method for modelling, analysis and defect detection for the requirements of large-scale systems. We will develop and scale-up to industry strength, simpler, more powerful, strategies for analysing, designing and providing the high level of assurance required.