U-Test European Project ( http://www.u-test.eu )

Background

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.

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:

  1. providing a comprehensive and extensible taxonomy of uncertainties, classifying uncertainties, their properties, and their relationships
  2. creating an Uncertainty Modeling Framework (UMF) to support modeling uncertainties at various levels (relying on exiting modeling/testing standards)
  3. 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

Consortium

U-Test will be an international undertaking, with a consortium encompassing domain experts from various facets of CPSs use: software, embedded systems, distributed systems, and cloud infrastructure. Two CPS developers with interesting case studies have been chosen to assess the cost-effectiveness of U-Test: handling systems (ULMA handling systems, Spain); and geo sports (Future Position X, Sweden). The solutions will be integrated into two key commercial tools available on the market: ModelBus/Fokus!MBT (Fraunhofer FOKUS, Germany) and Certifylt (EasyGlobalMarkets, France). The CPS test bed will be provided by Nordic Medtest, Sweden. Solutions will also be deployed within logistics, geo sports, and healthcare domains to achieve a wider impact, and facilitate interoperability among tools and technologies. Commercialization aspects of the project will be investigated by Ikerlan (Spain). Overall administration will be managed by Oslo Medtech.
Having sprung from research undertaken in the Certus project, U-Test will be a collaborative effort not only between industry and academia, but between nations.

U-Test is an Horizon 2020 -funded project (Grant Agreement 645463) funded under Call H2020-ICT-2014-1.