Skip to main content

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.

Field of science

  • /social sciences/economics and business/business and management/commerce
  • /natural sciences/computer and information sciences/software

Call for proposal

H2020-ICT-2014-1
See other projects for this call

Funding Scheme

RIA - Research and Innovation action
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)

SIMULA RESEARCH LABORATORY AS
Norway
EU contribution
€ 829 007,50
Address
Martin Linges Vei 17
1364 Fornebu
Activity type
Research Organisations
FRAUNHOFER GESELLSCHAFT ZUR FOERDERUNG DER ANGEWANDTEN FORSCHUNG E.V.
Germany
EU contribution
€ 528 038,75
Address
Hansastrasse 27C
80686 Munchen
Activity type
Research Organisations
TECHNISCHE UNIVERSITAET WIEN
Austria
EU contribution
€ 348 375
Address
Karlsplatz 13
1040 Wien
Activity type
Higher or Secondary Education Establishments
IKERLAN S. COOP
Spain
EU contribution
€ 333 062,50
Address
P Jose Maria Arizmendiarrieta 2
20500 Mondragon
Activity type
Other
ULMA MANUTENCION S. COOP.
Spain
EU contribution
€ 238 125
Address
Garagaltza Auzoa 50
20560 Onati
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
FUTURE POSITION X IDEELL FORENING
Sweden
EU contribution
€ 141 319,19
Address
Nobelvagen 2
80133 Gavle
Activity type
Other
Värmlands läns landsting

Participation ended

Sweden
EU contribution
€ 103 452,88
Address
Rosenborgsgatan 50
651 82 Karlstad
Activity type
Public bodies (excluding Research Organisations and Secondary or Higher Education Establishments)
EASY GLOBAL MARKET SAS
France
EU contribution
€ 520 000
Address
444 Route Des Dolines
06560 Valbonne
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
NORDIC MEDTEST AB
Sweden
EU contribution
€ 182 861,25
Address
Bryggaregatan 11
653 40 Karlstad
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)