Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

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

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Report on Uncertainty Modelling Framework V.2 (odnośnik otworzy się w nowym oknie)

This deliverable will report the second version of UMF and in addition report the results of modelling uncertainties completely for the two use cases.

Report of First Year Dissemination Activities (odnośnik otworzy się w nowym oknie)

This report will summarize the results of the dissemination activities taken place during the first year.

Uncertainty Testing Framework V.2 (odnośnik otworzy się w nowym oknie)

Report on UTF v.2 at the three levels including update on test strategies at each level and algorithms for model evolution at each level. Evolved models at each level should also be presented.

Report on empirical evaluation (odnośnik otworzy się w nowym oknie)

This report will present the results of empirical evaluations conducted to assess the various test strategies developed in the project based on the two industrial use cases.

Report on Uncertainty Modelling Framework V.1 (odnośnik otworzy się w nowym oknie)

This deliverable will report the results of the modelling support developed in tasks T2.1, T2.2, and T2.3. Moreover, the deliverable will provide the results of the modelling of the use cases at the application, infrastructure, and integration levels.

Report on Uncertainty Modelling Framework V.3 (odnośnik otworzy się w nowym oknie)

Report on UMF V.3 describing updates on profiles and methodologies at each level. In addition, reports models for all the use cases at each level

Evaluation Plan (odnośnik otworzy się w nowym oknie)

Reports on the developed evaluation plan describing the details of the design and execution of the evaluation to be conducted to assess the U-Test solutions. It will contain a cross-matrix between achievements and objectives used primarily to evaluate success criteria.

Uncertainty Testing Framework V.1 (odnośnik otworzy się w nowym oknie)

Report on UTF at the three levels v.1 including test strategies at each level. In addition, reports algorithms for model evolution at each level, if any, including evolved models at each level.

Selection of Standardization Bodies (odnośnik otworzy się w nowym oknie)

Investigation and selection of the relevant standardization bodies, where the results of U-Test can be promoted.

Report on Taxonomy (odnośnik otworzy się w nowym oknie)

This deliverable will report the taxonomy of uncertainty developed in Task 1.2. The taxonomy will capture various types of uncertainties, their relationships, and attributes

Report of Second Years's Communication and Standardisation activities (odnośnik otworzy się w nowym oknie)

Status report on U-Test Communication and Standardisation activities

Uncertainty Testing Framework V.3 (odnośnik otworzy się w nowym oknie)

Report on UTF v.3 at the three levels including updates on test strategies at each level and updates on algorithms for model evolution at each level. Evolved models at each level should also be presented.

Report on third years communication and standardisation activities (odnośnik otworzy się w nowym oknie)

Results of the investigation of integrating the results from U-Test in the UML Testing Profile and possible initiation of standardization activity in a selected standardization body. Report on third year communication and dissemination activities

Data Management plan (odnośnik otworzy się w nowym oknie)

A Data management plan as part of Pilot Open Research initiative

Publikacje

P4SINC - An Execution Policy Framework for IoT Services in the Edge

Autorzy: Phu Phung, Hong-Linh Truong, Divya Teja Yasoju
Opublikowane w: , 2017 IEEE International Congress on Internet of Things (ICIOT), Numer 25-30 June 2017, 2017
Wydawca: IEEE

Modeling and Provisioning IoT Cloud Systems for Testing Uncertainties

Autorzy: Hong-Linh Truong, Luca Berardinelli, Ivan Pavkovic and Georgiana Copil
Opublikowane w: 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2017), 2017
Wydawca: ACM

Testing uncertainty of cyber-physical systems in IoT cloud infrastructures: combining model-driven engineering and elastic execution (odnośnik otworzy się w nowym oknie)

Autorzy: Hong-Linh Truong, Luca Berardinelli
Opublikowane w: Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems - TECPS 2017, 2017, Strona(/y) 5-8, ISBN 9781-450351126
Wydawca: ACM Press
DOI: 10.1145/3107091.3107093

Testing Applications of Cyber-Physical Systems in the Presence of Uncertainty

Autorzy: Martin A. Schneider
Opublikowane w: Joint Research Workshop 11th Systems Testing and Validation (STV17) and 3rd International Workshop on User Interface Test Automation (INTUITEST 2017). Proceedings, 2017
Wydawca: Fraunhofer

Gaining certainty about uncertainty: Testing cyber-physical systems in the presence of uncertainties at the application level (odnośnik otworzy się w nowym oknie)

Autorzy: Martin A. Schneider, Marc-Florian Wendland, Leon Bornemann
Opublikowane w: Risk Assessment and Risk-Driven Quality Assurance, Numer LNCS 10224, 2017, Strona(/y) 129-142, ISBN 3-319-57857-X
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-57858-3_10

Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model (odnośnik otworzy się w nowym oknie)

Autorzy: Man Zhang, Bran Selic, Shaukat Ali, Tao Yue, Oscar Okariz, Roland Norgren
Opublikowane w: European Conference on Modelling Foundations and Applications, Numer LNCS, volume 9764, 2016, Strona(/y) 247-264
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-42061-5_16

An Empirical Evaluation of Mutation and Crossover Operators for Multi-Objective Uncertainty-Wise Test Minimization (odnośnik otworzy się w nowym oknie)

Autorzy: Shaukat Ali, Yan Li, Tao Yue, Man Zhang
Opublikowane w: 2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing (SBST), 2017, Strona(/y) 21-27, ISBN 978-1-5386-2789-1
Wydawca: IEEE
DOI: 10.1109/SBST.2017.9

SINC - An Information-Centric Approach for End-to-End IoT Cloud Resource Provisioning (odnośnik otworzy się w nowym oknie)

Autorzy: Hong-Linh Truong, Nanjangud Narendra
Opublikowane w: 2016 International Conference on Cloud Computing Research and Innovations (ICCCRI), 2016, Strona(/y) 17-24, ISBN 978-1-5090-3951-7
Wydawca: IEEE
DOI: 10.1109/ICCCRI.2016.12

A Platform for Run-Time Health Verification of Elastic Cyber-Physical Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Daniel Moldovan, Hong-Linh Truong
Opublikowane w: 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), 2016, Strona(/y) 379-384, ISBN 978-1-5090-3432-1
Wydawca: IEEE
DOI: 10.1109/MASCOTS.2016.14

Managing On-Demand Sensing Resources in IoT Cloud Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Duc-Hung Le, Hong-Linh Truong, Schahram Dustdar
Opublikowane w: 2016 IEEE International Conference on Mobile Services (MS), 2016, Strona(/y) 65-72, ISBN 978-1-5090-2625-8
Wydawca: IEEE
DOI: 10.1109/MobServ.2016.20

Enabling Data Flows in UML Interactions (odnośnik otworzy się w nowym oknie)

Autorzy: Marc-Florian Wendland, Ramon Barakat, Martin Schneider
Opublikowane w: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, 2016, Strona(/y) 250-257, ISBN 978-989-758-168-7
Wydawca: SCITEPRESS - Science and and Technology Publications
DOI: 10.5220/0005689002500257

HINC - Harmonizing Diverse Resource Information across IoT, Network Functions, and Clouds (odnośnik otworzy się w nowym oknie)

Autorzy: Duc-Hung Le, Nanjangud Narendra, Hong-Linh Truong
Opublikowane w: 2016 IEEE 4th International Conference on Future Internet of Things and Cloud (FiCloud), 2016, Strona(/y) 317-324, ISBN 978-1-5090-4052-0
Wydawca: IEEE
DOI: 10.1109/FiCloud.2016.52

Testing Non-Functional Quality Characteristics of Cyber-Physical Systems

Autorzy: Martin Schneider, Marc-Florian Wendland
Opublikowane w: 2017
Wydawca: ETSI

Suitability of UTP and TDL for model-based testing – Checking for compliance with ES 202 951

Autorzy: Marc-Florian Wendland; Ina Schieferdecker
Opublikowane w: 2017
Wydawca: ETSI

Uncertainty-Wise Testing of Cyber-Physical Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Shaukat Ali, Hong Lu, Shuai Wang, Tao Yue, Man Zhang
Opublikowane w: Advances in Computers, Numer Volume 107, 2017, 2017, Strona(/y) 23-94, ISBN 978-0-12-812228-0
Wydawca: Elsevier
DOI: 10.1016/bs.adcom.2017.06.001

Tackling uncertainty in cyber-physical systems with automated testing

Autorzy: Shaukat Ali, Tao Yue, Man Zhang
Opublikowane w: Ada User Journal, Numer Volume: 37, Booklets: 4, 2016, Strona(/y) 219 - 222, ISSN 1381-6551
Wydawca: Ada Language UK Ltd.

Uncertainty-Wise Cyber-Physical System test modeling (odnośnik otworzy się w nowym oknie)

Autorzy: Man Zhang, Shaukat Ali, Tao Yue, Roland Norgren, Oscar Okariz
Opublikowane w: Software & Systems Modeling, 2017, ISSN 1619-1366
Wydawca: Springer Verlag
DOI: 10.1007/s10270-017-0609-6

Uncertainty-wise evolution of test ready models (odnośnik otworzy się w nowym oknie)

Autorzy: Man Zhang, Shaukat Ali, Tao Yue, Roland Norgre
Opublikowane w: Information and Software Technology, Numer 87, 2017, Strona(/y) 140-159, ISSN 0950-5849
Wydawca: Elsevier BV
DOI: 10.1016/j.infsof.2017.03.003

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0