Reducing the risks associated with developing large-scale, critical software-integrated systems (ARC Linkage Project administered by Griffith University) (2009-2012)

There is an ever-increasing demand to build software-integrated systems of unprecedented complexity. Complexity significantly increases the risks of: cost and schedule overruns, failture to build the right system, latent defects that reduce dependability, safety, security, performance and even outright project failure. We will exploit our new modelling technique that systematically manages complexity. The aim is to extend the method and use formal techniques to establish its effectiveness for tackling the architecture, interface, integration, testing, performance and dependability challenges associated with building large-scale systems. Major project outcomes will be embodied in an integrated tool-set that addresses these challenges.