CORDIS
EU research results

CORDIS

English EN

Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies

Objective

Uncertainty is intrinsic in Cyber-Physical Systems (CPSs) due to novel interactions of embedded systems, networking equipment, cloud infrastructures, and humans. CPSs have become predominant in critical domains and necessitate the implementation of proper mechanisms to deal with uncertainty during their operation at an acceptable cost avoiding unwarranted threats to its users and environment. One way to guarantee the correct implementation of such mechanisms is via automated and systematic Model-Based Testing (MBT)—a way of improving dependability.
U-Test will improve the dependability of CPSs by defining extensible MBT frameworks supporting holistic MBT of CPSs under uncertainty in a cost-effective manner. More specifically our objectives are: 1) Provide a comprehensive and extensible taxonomy of uncertainties classifying uncertainties, their properties, and relationships; 2) An Uncertainty Modelling Framework (UMF) to support modelling uncertainties at various levels relying on exiting modelling/testing standards; 3) Defining an intelligent way to evolve uncertainty models developed using UMF towards realistic unknown uncertainty models using search algorithms (e.g., Genetic Algorithms); 4) Generating cost-effective test cases from uncertainty and evolved models.
U-Test consortium encompasses domain experts from various facets of CPSs, i.e., software, embedded systems, distributed systems, and cloud infrastructure. We have chosen two case studies from diverse domains including Handling Systems and Geo Sports to assess the cost-effectiveness of U-Test. The solutions will be integrated into two key commercial tools available in the market: ModelBus/Fokus!MBT and CertifyIt. Moreover, the solutions will be deployed into the actual practise in addition to standardization to achieve a wider impact within Logistics, Geo Sports, and Healthcare domains and further facilitate interoperability among tools and technologies.
Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Coordinator

NORWAY HEALTH TECH

Address

Gaustadalleen 21
0349 Oslo

Norway

Activity type

Other

EU Contribution

€ 488 991,68

Participants (9)

Sort alphabetically

Sort by EU Contribution

Expand all

SIMULA RESEARCH LABORATORY AS

Norway

EU Contribution

€ 829 007,50

FRAUNHOFER GESELLSCHAFT ZUR FOERDERUNG DER ANGEWANDTEN FORSCHUNG E.V.

Germany

EU Contribution

€ 528 038,75

TECHNISCHE UNIVERSITAET WIEN

Austria

EU Contribution

€ 348 375

IKERLAN S. COOP

Spain

EU Contribution

€ 333 062,50

ULMA MANUTENCION S. COOP.

Spain

EU Contribution

€ 238 125

FUTURE POSITION X IDEELL FORENING

Sweden

EU Contribution

€ 141 319,19

Värmlands läns landsting

Sweden

EU Contribution

€ 103 452,88

EASY GLOBAL MARKET SAS

France

EU Contribution

€ 520 000

NORDIC MEDTEST AB

Sweden

EU Contribution

€ 182 861,25

Project information

Grant agreement ID: 645463

  • Start date

    1 January 2015

  • End date

    31 December 2017

Funded under:

H2020-EU.2.1.1.1.

  • Overall budget:

    € 3 713 233,75

  • EU contribution

    € 3 713 233,75

Coordinated by:

NORWAY HEALTH TECH

Norway