Opendata, web and dolomites

U-Test

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

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "U-Test" data sheet

The following table provides information about the project.

Coordinator
NORWAY HEALTH TECH 

Organization address
address: GAUSTADALLEEN 21
city: OSLO
postcode: 349
website: n.a.

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Norway [NO]
 Project website http://www.u-test.eu
 Total cost 3˙713˙233 €
 EC max contribution 3˙713˙233 € (100%)
 Programme 1. 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)
 Code Call H2020-ICT-2014-1
 Funding Scheme RIA
 Starting year 2015
 Duration (year-month-day) from 2015-01-01   to  2017-12-31

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    NORWAY HEALTH TECH NO (OSLO) coordinator 488˙991.00
2    SIMULA RESEARCH LABORATORY AS NO (FORNEBU) participant 829˙007.00
3    FRAUNHOFER GESELLSCHAFT ZUR FOERDERUNG DER ANGEWANDTEN FORSCHUNG E.V. DE (MUNCHEN) participant 528˙038.00
4    EASY GLOBAL MARKET SAS FR (VALBONNE) participant 520˙000.00
5    TECHNISCHE UNIVERSITAET WIEN AT (WIEN) participant 348˙375.00
6    IKERLAN S. COOP ES (MONDRAGON) participant 333˙062.00
7    ULMA MANUTENCION S. COOP. ES (ONATI) participant 238˙125.00
8    NORDIC MEDTEST AB SE (KARLSTAD) participant 182˙861.00
9    FUTURE POSITION X IDEELL FORENING SE (GAVLE) participant 141˙319.00
10    Värmlands läns landsting SE (Karlstad) participant 103˙452.00

Map

 Project 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.

 Deliverables

List of deliverables.
Selection of Standardization Bodies Documents, reports 2019-05-30 12:21:48
Evaluation Plan Documents, reports 2019-05-30 12:21:46
Uncertainty Testing Framework V.1 Documents, reports 2019-05-30 12:22:02
Data Management plan Open Research Data Pilot 2019-05-30 12:22:15
Report of Second Years\'s Communication and Standardisation activities Documents, reports 2019-05-30 12:22:06
Uncertainty Testing Framework V.3 Documents, reports 2019-03-20 10:47:39
Report on Uncertainty Modelling Framework V.2 Documents, reports 2019-03-20 10:47:39
Report on Uncertainty Modelling Framework V.3 Documents, reports 2019-03-20 10:47:39
Uncertainty Testing Framework V.2 Documents, reports 2019-03-20 10:47:39
Report of First Year Dissemination Activities Documents, reports 2019-03-20 10:47:39
Report on Taxonomy Documents, reports 2019-03-20 10:47:39
Report on empirical evaluation Documents, reports 2019-03-20 10:47:39
Report on Uncertainty Modelling Framework V.1 Documents, reports 2019-03-20 10:47:39
Report on third years communication and standardisation activities Documents, reports 2019-03-20 10:47:39

Take a look to the deliverables list in detail:  detailed list of U-Test deliverables.

 Publications

year authors and title journal last update
List of publications.
2017 Marc-Florian Wendland; Ina Schieferdecker
Suitability of UTP and TDL for model-based testing – Checking for compliance with ES 202 951
published pages: , ISSN: , DOI:
2019-05-30
2017 Man Zhang, Shaukat Ali, Tao Yue, Roland Norgre
Uncertainty-wise evolution of test ready models
published pages: 140-159, ISSN: 0950-5849, DOI: 10.1016/j.infsof.2017.03.003
Information and Software Technology 87 2019-05-30
2016 Shaukat Ali, Tao Yue, Man Zhang
Tackling uncertainty in cyber-physical systems with automated testing
published pages: 219 - 222, ISSN: 1381-6551, DOI:
Ada User Journal Volume: 37, Booklets: 4 2019-05-30
2017 Phu Phung, Hong-Linh Truong, Divya Teja Yasoju
P4SINC - An Execution Policy Framework for IoT Services in the Edge
published pages: , ISSN: , DOI:
, 2017 IEEE International Congress on Internet of Things (ICIOT) 25-30 June 2017 2019-05-30
2016 Man Zhang, Bran Selic, Shaukat Ali, Tao Yue, Oscar Okariz, Roland Norgren
Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model
published pages: 247-264, ISSN: , DOI: 10.1007/978-3-319-42061-5_16
European Conference on Modelling Foundations and Applications LNCS, volume 9764 2019-05-30
2017 Hong-Linh Truong, Luca Berardinelli, Ivan Pavkovic and Georgiana Copil
Modeling and Provisioning IoT Cloud Systems for Testing Uncertainties
published pages: , ISSN: , DOI:
14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2017) 2019-05-30
2017 Man Zhang, Shaukat Ali, Tao Yue, Roland Norgren, Oscar Okariz
Uncertainty-Wise Cyber-Physical System test modeling
published pages: , ISSN: 1619-1366, DOI: 10.1007/s10270-017-0609-6
Software & Systems Modeling 2019-05-30
2017 Martin A. Schneider
Testing Applications of Cyber-Physical Systems in the Presence of Uncertainty
published pages: , ISSN: , DOI:
Joint Research Workshop 11th Systems Testing and Validation (STV17) and 3rd International Workshop on User Interface Test Automation (INTUITEST 2017). Proceedings 2019-05-30
2017 Martin Schneider, Marc-Florian Wendland
Testing Non-Functional Quality Characteristics of Cyber-Physical Systems
published pages: , ISSN: , DOI:
2019-05-30

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "U-TEST" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "U-TEST" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.2.1.1.1.)

Road2CPS (2015)

Strategic action for future CPS through roadmaps, impact multiplication and constituency building

Read More  

CPS Summit (2015)

Transatlantic CPS Summit

Read More  

TAMS4CPS (2015)

Trans-Atlantic Modelling and Simulation For Cyber-Physical Systems

Read More