MBT4CPS: Model-Based Testing For Cyber-Physical Systems

The MBT4CPS project is a basic research project that aims to devise novel techniques for model-based functional and extra-functional testing of Cyber-Physical Systems (CPSs) with the specific focus on risky uncertain behaviors. The project targets to improve the quality and dependability of CPSs, which are important to guarantee because these systems are used in safety/mission critical domains. More specifically, the MBT4CPS project will target the following two scientific challenges: 1) Model-based testing of Security related uncertainties in the applications of CPSs, 2) Model-based testing of self-healing behaviors under uncertainties in the applications of CPSs.

Publications for the MBT4CPS project can be found in Simula's publication database.

Funding source:

Research Council of Norway

All partners:

Simula Research Laboratory

Project leaders:

Shaukat Ali (PI), Tao Yue (Co-PI)

Find publication

Year published


Software Engineering


July 1, 2015 to June 30, 2018