U-Test: Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies
Uncertainty is intrinsic in Cyber-Physical Systems (CPS) owning to novel interactions among software, embedded systems, networking equipment, cloud infrastructures, and agents (e.g., humans). Such systems have become predominantly visible in critical industrial domains (e.g., healthcare and transportation) and oblige the implementation of proper mechanisms to deal with uncertainty during their real operation. One way to ensure the correct implementation of such mechanisms is with automated testing. The U-Test project aims at ensuring that CPS are tested adequately under uncertainty using systematic and automated techniques such as model and search-based testing to facilitate their reliable operation.
U-Test keeps a full catalog of the project's publications, including publications from other academic institutions than Simula.
To improve the dependability of Cyber-Physical Systems (CPS) via cost-effective model-based and search-based testing of CPS under uncertainty, by defining an Uncertainty Taxonomy and holistic modeling and testing frameworks with considerable reliance on standards.
This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement no. 645463. (ICT-01-2014 - Smart Cyber-Physical Systems)
- Oslo Medtech (Norway)
- Simula (Norway)
- Technical University of Vienna (Austria)
- Fraunhofer FOKUS (Germany)
- Future Position X (Sweden)
- ULMA Handling Systems (Spain)
- Nordic MedTest (Sweden)
- Easy Global Market (France)
- Ikerlan (Spain)
Technical project leader
Shaukat Ali (PI)
Tao Yue (Co-PI)