Skip to main content

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

Deliverables

Report on test benches for simulation-based multi-level testing as a service of CPSoS

Report on test benches for simulation-based multi-level testing as a service of CPSoS

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

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

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

Dissemination plan

Dissemination plan

Document describing the interface of the microservices to be employed during the project and guidelines for including non-considered microservices

Document describing the interface of the microservices to be employed during the project and guidelines for including non-considered microservices

Publications

Towards a workflow for model-based testing of embedded systems

Author(s): Muhammad Nouman Zafar, Wasif Afzal, Eduard Enoiu
Published in: Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation, 2021, Page(s) 33-40, ISBN 9781450386234
Publisher: ACM
DOI: 10.1145/3472672.3473956

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

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

Digital Twin-based Anomaly Detection in Cyber-physical Systems

Author(s): Qinghua Xu, Shaukat Ali, Tao Yue
Published in: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021, Page(s) 205-216, ISBN 978-1-7281-6836-4
Publisher: IEEE
DOI: 10.1109/icst49551.2021.00031

QoS-aware Metamorphic Testing: An Elevation Case Study

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

Intermittently failing tests in the embedded systems domain

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

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

Author(s): Jon Ayerdi, Aitor Garciandia, Aitor Arrieta, Wasif Afzal, Eduard Enoiu, Aitor Agirre, Goiuria Sagardui, Maite Arratibel, Ola Sellin
Published in: Requirements Engineering 2020, 2020
Publisher: IEEE

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

Author(s): Aitor Gartziandia, Aitor Arrieta, Aitor Agirre, Goiuria Sagardui, Maite Arratibel
Published in: Proceedings of the 36th Annual ACM Symposium on Applied Computing, 2021, Page(s) 135-144, ISBN 9781450381048
Publisher: ACM
DOI: 10.1145/3412841.3441894

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

Author(s): Shaukat Ali, Tao Yue
Published in: 5th Workshop on Monitoring and Testing of Cyber-Physical Systems, 2020
Publisher: -

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

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

Detecting inconsistencies in annotated product line models

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

Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem

Author(s): Haris Isakovic, Stefan Dangl, Zlatan Tucakovic, Radu Grosu
Published in: 2021 22nd IEEE International Conference on Industrial Technology (ICIT), 2021, Page(s) 1391-1396, ISBN 978-1-7281-5730-6
Publisher: IEEE
DOI: 10.1109/icit46573.2021.9453496

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

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

Industrial Scale Passive Testing with T-EARS

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

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

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

QoS for Dynamic Deployment of IoT Services

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

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

Author(s): Wasif Afzal, Amirali Piadehbasmenj
Published in: 2021 10th Mediterranean Conference on Embedded Computing (MECO), 2021, Page(s) 1-8, ISBN 978-1-6654-3912-1
Publisher: IEEE
DOI: 10.1109/meco52532.2021.9460175

A Model-Based Test Script Generation Framework for Embedded Software

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

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

Author(s): Bestoun S. Ahmed, Eduard Enoiu, Wasif Afzal, Kamal Z. Zamli
Published in: Soft Computing, 24/18, 2020, Page(s) 13929-13954, ISSN 1432-7643
Publisher: Springer Verlag
DOI: 10.1007/s00500-020-04769-z