Design-Operation Continuum Methods for Testing and Deployment under Unforeseen Conditions for Cyber-Physical Systems of Systems

Livrables

Report on test benches for simulation-based multi-level testing as a service of CPSoS
Workflow and toolchain documentation
Report on unforeseen situations learner
Roadmap for future research and innovation activities
Report on tools, methods and services for continuous deployment in CPSoS

Report on tools, methods and services for continuous deployment in CPSoS

Exploitation plan

Exploitation plan A list of relevant project results and intention of use for each beneficiary project partner

Requirements & Ethics

Document describing requirements of the different components of the workflow, the architecture of the design-operation continuum methods and workflow to be developed in the project. It will also include the ethics checking results

Report on the application of test oracles at the operational time of CPSoS
Dissemination plan
Final project report
Workflow and toolchain documentation final release
Report on standardization results
Report on the results of the cost-benefit assessment - Use case A

Report on the results of the costbenefit assessment

Report on the results of the cost-benefit assessment - Use-case B

Report on the results of the costbenefit assessment

Report on traceability mechanism from operational data to development lifecycle
Document describing the interface of the microservices to be employed during the project and guidelines for including non-considered microservices
Report on recovery mechanisms for CPSoS and overall resilience improvement

Project website

Publications

Towards a workflow for model-based testing of embedded systems

Auteurs: Muhammad Nouman Zafar, Wasif Afzal, Eduard Enoiu
Publié dans: Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation, 2021, Page(s) 33-40, ISBN 9781450386234
Éditeur: ACM
DOI: 10.1145/3472672.3473956

Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems

Auteurs: Jon Ayerdi, Aitor Garciandia, Aitor Arrieta, Wasif Afzal, Eduard Enoiu, Aitor Agirre, Goiuria Sagardui, Maite Arratibel, Ola Sellin
Publié dans: 2020 IEEE 28th International Requirements Engineering Conference (RE), 2020, Page(s) 280-290, ISBN 978-1-7281-7438-9
Éditeur: IEEE
DOI: 10.1109/re48521.2020.00038

Digital Twin-based Anomaly Detection in Cyber-physical Systems

Auteurs: Qinghua Xu, Shaukat Ali, Tao Yue
Publié dans: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021, Page(s) 205-216, ISBN 978-1-7281-6836-4
Éditeur: IEEE
DOI: 10.1109/icst49551.2021.00031

QoS-aware Metamorphic Testing: An Elevation Case Study

Auteurs: Jon Ayerdi, Sergio Segura, Aitor Arrieta, Goiuria Sagardui, Maite Arratibel
Publié dans: 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE), 2020, Page(s) 104-114, ISBN 978-1-7281-9870-5
Éditeur: IEEE
DOI: 10.1109/issre5003.2020.00019

Intermittently failing tests in the embedded systems domain

Auteurs: Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Wasif Afzal, Daniel Sundmark
Publié dans: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020, Page(s) 337-348, ISBN 9781450380089
Éditeur: ACM
DOI: 10.1145/3395363.3397359

Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems

Auteurs: Jon Ayerdi, Aitor Garciandia, Aitor Arrieta, Wasif Afzal, Eduard Enoiu, Aitor Agirre, Goiuria Sagardui, Maite Arratibel, Ola Sellin
Publié dans: Requirements Engineering 2020, 2020
Éditeur: IEEE

Using regression learners to predict performance problems on software updates - a case study on elevators dispatching algorithms

Auteurs: Aitor Gartziandia, Aitor Arrieta, Aitor Agirre, Goiuria Sagardui, Maite Arratibel
Publié dans: Proceedings of the 36th Annual ACM Symposium on Applied Computing, 2021, Page(s) 135-144, ISBN 9781450381048
Éditeur: ACM
DOI: 10.1145/3412841.3441894

Handling Uncertainties in Cyber-Physical Systems during Their Operations with Digital Twins

Auteurs: Shaukat Ali, Tao Yue
Publié dans: 5th Workshop on Monitoring and Testing of Cyber-Physical Systems, 2020
Éditeur: -

Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems

Auteurs: Aitor Gartziandia, Jon Ayerdi, Aitor Arrieta, Shaukat Ali, Tao Yue, Aitor Agirre, Goiuria Sagardui, Maite Arratibel
Publié dans: 2021 IEEE 18th International Conference on Software Architecture Companion (ICSA-C), 2021, Page(s) 46-53, ISBN 978-1-6654-3910-7
Éditeur: IEEE
DOI: 10.1109/icsa-c52384.2021.00014

Detecting inconsistencies in annotated product line models

Auteurs: Damir Bilic, Jan Carlson, Daniel Sundmark, Wasif Afzal, Peter Wallin
Publié dans: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A, 2020, Page(s) 1-11, ISBN 9781450375696
Éditeur: ACM
DOI: 10.1145/3382025.3414969

Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem

Auteurs: Haris Isakovic, Stefan Dangl, Zlatan Tucakovic, Radu Grosu
Publié dans: 2021 22nd IEEE International Conference on Industrial Technology (ICIT), 2021, Page(s) 1391-1396, ISBN 978-1-7281-5730-6
Éditeur: IEEE
DOI: 10.1109/icit46573.2021.9453496

Model-Based Testing in Practice: An Industrial Case Study using GraphWalker

Auteurs: Muhammad Nouman Zafar, Wasif Afzal, Eduard Enoiu, Athanasios Stratis, Aitor Arrieta, Goiuria Sagardui
Publié dans: 14th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference), 2021, Page(s) 1-11, ISBN 9781450390460
Éditeur: ACM
DOI: 10.1145/3452383.3452388

Industrial Scale Passive Testing with T-EARS

Auteurs: Daniel Flemstrom, Henrik Jonsson, Eduard Paul Enoiu, Wasif Afzal
Publié dans: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021, Page(s) 351-361, ISBN 978-1-7281-6836-4
Éditeur: IEEE
DOI: 10.1109/icst49551.2021.00047

Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms

Auteurs: Aitor Arrieta, Jon Ayerdi, Miren Illarramendi, Aitor Agirre, Goiuria Sagardui, Maite Arratibel
Publié dans: 2021 IEEE/ACM International Conference on Automation of Software Test (AST), 2021, Page(s) 30-39, ISBN 978-1-6654-3567-3
Éditeur: IEEE
DOI: 10.1109/ast52587.2021.00012

QoS for Dynamic Deployment of IoT Services

Auteurs: Isakovic Haris, Luis Lino Ferreira, Irmin Okic, Adam Dukkon, Zlatan Tucakovic, Radu Grosu
Publié dans: 2021 22nd IEEE International Conference on Industrial Technology (ICIT), 2021, Page(s) 1144-1151, ISBN 978-1-7281-5730-6
Éditeur: IEEE
DOI: 10.1109/icit46573.2021.9453670

Cloud-Based Architectures for Model-Based Simulation Testing of Embedded Software

Auteurs: Wasif Afzal, Amirali Piadehbasmenj
Publié dans: 2021 10th Mediterranean Conference on Embedded Computing (MECO), 2021, Page(s) 1-8, ISBN 978-1-6654-3912-1
Éditeur: IEEE
DOI: 10.1109/meco52532.2021.9460175

A Model-Based Test Script Generation Framework for Embedded Software

Auteurs: Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu, Athanasios Stratis, Ola Sellin
Publié dans: 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2021, Page(s) 192-198, ISBN 978-1-6654-4456-9
Éditeur: IEEE
DOI: 10.1109/icstw52544.2021.00041

An evaluation of Monte Carlo-based hyper-heuristic for interaction testing of industrial embedded software applications

Auteurs: Bestoun S. Ahmed, Eduard Enoiu, Wasif Afzal, Kamal Z. Zamli
Publié dans: Soft Computing, Numéro 24/18, 2020, Page(s) 13929-13954, ISSN 1432-7643
Éditeur: Springer Verlag
DOI: 10.1007/s00500-020-04769-z

Livrables

Publications

Partager cette page

Télécharger