Coverage of Uncertainties in Cyber-Physical Systems

Cyber-physical systems (CPS) consist of software systems and the physical entities that the software controls. CPS have become ubiquitous; the systems can be found in diverse environments. Because of the multitude of components, failures, changes or inaccuracies are inevitable but with the multitude of components also comes the ability to build resilience into the system. An unfortunate side-effect of this resiliency is the addition of unforeseen changes and deviations to the behavior of the system. Many of these cyber-physical systems (CPS) control or contribute significantly to the control of critical systems. In order to achieve first 'time right' system deployment, the accuracy of the models, and the validation of the application fitness is at least as important as the CPS modeling and accuracy. In this paper we discuss and give an overview of methods that strive for validation of CPS systems with increased coverage. In particular, we focus on modeling, verification and validation of uncertainties both known and unknown.