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.
Fields of science
Programme(s)
- H2020-EU.2.1.1. - INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT) Main Programme
- H2020-EU.2.1.1.1. - A new generation of components and systems: Engineering of advanced embedded and energy and resource efficient components and systems
Funding Scheme
RIA - Research and Innovation actionCoordinator
0349 Oslo
Norway
See on map
Participants (9)
0164 Oslo
See on map
80686 Munchen
See on map
1040 Wien
See on map
20500 Mondragon
See on map
20560 Onati
See on map
80133 Gavle
See on map
Participation ended
651 82 Karlstad
06560 Valbonne
See on map
The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.
653 40 Karlstad
See on map