Cyber-Physical Systems (CPSs) are the next generation of highly connected embedded systems. These systems are increasingly being used in safety/mission critical domains such as healthcare, handling systems, oil and gas, and maritime industry. Even in the presence of uncertainty, CPSs must be dependable, i.e., reliable, robust, and efficient. Inappropriate handling of uncertainty in CPSs during their real operations can have devastating effects on their end users and environment. The U-Test project aims at ensuring that CPSs are tested adequately under uncertainty using systematic and automated techniques such as model and search-based testing to guarantee their correct operation in real environment.
Overall Aim and Concept
The ideas for U-Test emerged as a result of work done in Certus – specifically from Project 8 “Testing of Real- Time and Embedded Systems”. U-Test will aim to improve dependability of CPSs by defining extensible MBT frameworks supporting holistic testing of the systems under uncertainty in a cost-effective manner by:
- providing a comprehensive and extensible taxonomy of uncertainties, classifying uncertainties, their properties, and their relationships.
- creating an Uncertainty Modeling Framework (UMF) to support modeling uncertainties at various levels (relying on exiting modeling/testing standards).
- developing the Uncertainty Testing Framework (UTF) that can smartly discover unknown uncertainties and generate cost-effective test cases to test CPSs under known and unknown uncertainties.