Towards Compositional Assurance of Large Cyber-Physical Systems

Assurance of evolving large cyber-physical systems (CPS) is time-consuming, and usually a bottleneck for deploying them with confidence. Several factors contribute to this problem, including the lack of effective reuse of assurance results, the difficulty to integrate multiple analyses for multiple subsystems, and the lack of explicit consideration of the different levels of trust that different analyses provide. In this paper, we present an approach to assure large CPS that aims to overcome these barriers.