#	Pagina
attuale pagina	/open-h2020/projects/194326/index.html

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 €

EC-Contrib. €

Partnership

Views

Outcomes and
results

U-Test project word cloud

Explore the words cloud of the U-Test project. It provides you a very rough idea of what is the project "U-Test" about.

critical distributed operation unknown classifying software encompasses evolve sports chosen supporting intelligent unwarranted interoperability networking deal levels physical standards dependability uncertainty infrastructures cloud genetic intrinsic practise logistics healthcare extensible realistic manner tools taxonomy algorithms search threats systematic generating certifyit technologies relying fokus predominant experts mbt avoiding necessitate relationships handling cpss cyber acceptable infrastructure mechanisms geo standardization actual domain solutions framework holistic correct diverse proper effectiveness facets model frameworks exiting modelbus domains umf environment market automated guarantee models interactions humans commercial

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 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.	NO (OSLO)	coordinator	488˙991.00
2	SIMULA RESEARCH LABORATORY AS SIMULA RESEARCH LABORATORY AS Organization address address: MARTIN LINGES VEI 17 city: FORNEBU postcode: 1364 website: www.simula.no contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	NO (FORNEBU)	participant	829˙007.00
3	FRAUNHOFER GESELLSCHAFT ZUR FOERDERUNG DER ANGEWANDTEN FORSCHUNG E.V. FRAUNHOFER GESELLSCHAFT ZUR FOERDERUNG DER ANGEWANDTEN FORSCHUNG E.V. Organization address address: HANSASTRASSE 27C city: MUNCHEN postcode: 80686 website: www.fraunhofer.de contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (MUNCHEN)	participant	528˙038.00
4	EASY GLOBAL MARKET SAS EASY GLOBAL MARKET SAS Organization address address: 444 ROUTE DES DOLINES city: VALBONNE postcode: 6560 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.	FR (VALBONNE)	participant	520˙000.00
5	TECHNISCHE UNIVERSITAET WIEN TECHNISCHE UNIVERSITAET WIEN Organization address address: KARLSPLATZ 13 city: WIEN postcode: 1040 website: www.tuwien.ac.at contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AT (WIEN)	participant	348˙375.00
6	IKERLAN S. COOP IKERLAN S. COOP Organization address address: P JOSE MARIA ARIZMENDIARRIETA 2 city: MONDRAGON postcode: 20500 website: www.ikerlan.es contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ES (MONDRAGON)	participant	333˙062.00
7	ULMA MANUTENCION S. COOP. ULMA MANUTENCION S. COOP. Organization address address: GARAGALTZA AUZOA 50 city: ONATI postcode: 20560 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.	ES (ONATI)	participant	238˙125.00
8	NORDIC MEDTEST AB NORDIC MEDTEST AB Organization address address: BRYGGAREGATAN 11 city: KARLSTAD postcode: 653 40 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.	SE (KARLSTAD)	participant	182˙861.00
9	FUTURE POSITION X IDEELL FORENING FUTURE POSITION X IDEELL FORENING Organization address address: NOBELVAGEN 2 city: GAVLE postcode: 80133 website: www.fpx.se contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	SE (GAVLE)	participant	141˙319.00
10	Värmlands läns landsting Värmlands läns landsting Organization address address: Rosenborgsgatan 50 city: Karlstad postcode: 651 82 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.	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

List of publications.
year	authors and title	journal	last update
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.