Model-Based Testing For Cyber-Physical Systems
Cyber-Physical Systems (CPSs) are the new generation of communicating embedded systems. These systems are even more complex than the traditional embedded systems since these systems have complicated functionality, integration, and communication via networking equipment. In addition, these systems have much more high requirements on extra-functional constraints such as robustness, performance, and reliability.
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.
Research Council of Norway
Shaukat Ali (PI), Tao Yue (Co-PI)
Phu Nguyen, Tao Ma