U-Test: Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies (European Project)

Our daily life has become increasingly dependent on Cyber-Physical Systems (CPSs) having applications in safety/mission critical domains such as healthcare, handling systems, oil and gas and maritime. Uncertainty is inherent in these systems due to novel interactions between human, software, hardware (e.g., mechanical and electrical components), and communication. 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.

U-Test keeps a full catalogue of the project's publications, including publications from other academic institutions than Simula, accessible on their web pages.

Final goal:

To improve the dependability of Cyber-Physical Systems (CPSs), via cost-effective model-based and search-based testing of CPSs under uncertainty, by defining an Uncertainty Taxonomy and holistic modelling and testing frameworks with considerable reliance on standards.

Funding source:


All partners:

  • Oslo Medtech Norway,
  • Simula Research Laboratory Norway,
  • Technical University of Vienna Austria,
  • Fraunhofer FOKUS Germany,
  • Future Position X Sweden,
  • ULMA Handling Systems Spain,
  • Nordic MedTest Sweden,
  • Smartesting France,
  • Ikerlan Spain

Technical Coordinator:

Shaukat Ali (PI)

Standardization Manager:

Tao Yue (Co-PI)

Find publication

Year published


Software Engineering


January 1, 2015 to December 31, 2017