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

Risultati finali

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

Pubblicazioni

Towards a workflow for model-based testing of embedded systems

Autori: Muhammad Nouman Zafar, Wasif Afzal, Eduard Enoiu
Pubblicato in: Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation, 2021, Pagina/e 33-40, ISBN 9781450386234
Editore: ACM
DOI: 10.1145/3472672.3473956

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

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

Digital Twin-based Anomaly Detection in Cyber-physical Systems

Autori: Qinghua Xu, Shaukat Ali, Tao Yue
Pubblicato in: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021, Pagina/e 205-216, ISBN 978-1-7281-6836-4
Editore: IEEE
DOI: 10.1109/icst49551.2021.00031

QoS-aware Metamorphic Testing: An Elevation Case Study

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

Intermittently failing tests in the embedded systems domain

Autori: Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Wasif Afzal, Daniel Sundmark
Pubblicato in: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020, Pagina/e 337-348, ISBN 9781450380089
Editore: ACM
DOI: 10.1145/3395363.3397359

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

Autori: Jon Ayerdi, Aitor Garciandia, Aitor Arrieta, Wasif Afzal, Eduard Enoiu, Aitor Agirre, Goiuria Sagardui, Maite Arratibel, Ola Sellin
Pubblicato in: Requirements Engineering 2020, 2020
Editore: IEEE

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

Autori: Aitor Gartziandia, Aitor Arrieta, Aitor Agirre, Goiuria Sagardui, Maite Arratibel
Pubblicato in: Proceedings of the 36th Annual ACM Symposium on Applied Computing, 2021, Pagina/e 135-144, ISBN 9781450381048
Editore: ACM
DOI: 10.1145/3412841.3441894

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

Autori: Shaukat Ali, Tao Yue
Pubblicato in: 5th Workshop on Monitoring and Testing of Cyber-Physical Systems, 2020
Editore: -

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

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

Detecting inconsistencies in annotated product line models

Autori: Damir Bilic, Jan Carlson, Daniel Sundmark, Wasif Afzal, Peter Wallin
Pubblicato in: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A, 2020, Pagina/e 1-11, ISBN 9781450375696
Editore: ACM
DOI: 10.1145/3382025.3414969

Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem

Autori: Haris Isakovic, Stefan Dangl, Zlatan Tucakovic, Radu Grosu
Pubblicato in: 2021 22nd IEEE International Conference on Industrial Technology (ICIT), 2021, Pagina/e 1391-1396, ISBN 978-1-7281-5730-6
Editore: IEEE
DOI: 10.1109/icit46573.2021.9453496

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

Autori: Muhammad Nouman Zafar, Wasif Afzal, Eduard Enoiu, Athanasios Stratis, Aitor Arrieta, Goiuria Sagardui
Pubblicato in: 14th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference), 2021, Pagina/e 1-11, ISBN 9781450390460
Editore: ACM
DOI: 10.1145/3452383.3452388

Industrial Scale Passive Testing with T-EARS

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

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

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

QoS for Dynamic Deployment of IoT Services

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

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

Autori: Wasif Afzal, Amirali Piadehbasmenj
Pubblicato in: 2021 10th Mediterranean Conference on Embedded Computing (MECO), 2021, Pagina/e 1-8, ISBN 978-1-6654-3912-1
Editore: IEEE
DOI: 10.1109/meco52532.2021.9460175

A Model-Based Test Script Generation Framework for Embedded Software

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

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

Autori: Bestoun S. Ahmed, Eduard Enoiu, Wasif Afzal, Kamal Z. Zamli
Pubblicato in: Soft Computing, Numero 24/18, 2020, Pagina/e 13929-13954, ISSN 1432-7643
Editore: Springer Verlag
DOI: 10.1007/s00500-020-04769-z

Risultati finali

Pubblicazioni

Condividi questa pagina

Scarica