COSMOS
DevOps for Complex Cyber-physical Systems
Full project details (EU Research results portal): https://cordis.europa.eu/project/id/957254
Project description:
Much of the increasing complexity of ICT systems is being driven by the more distributed and heterogeneous nature of these systems, with Cyber Physical Systems accounting for an increasing portion of Software Ecosystems. This basic premise underpins the COSMOS proposal which focuses on blending best practices DevOps solutions with the development processes used in the CPS context: this will enable the CPS world to deliver software more rapidly and result in more secure and trustworthy systems.COSMOS brings together a balanced consortium of big industry, SMEs and academics which will develop enhanced DevOps pipelines which target development of CPS software. These pipelines will integrate more sophisticated validation and verification (V&V) which will comprise of a mix of static code analysis correlated with issues and bug reports, automated test case generation, runtime verification, Hardware in the Loop (HiL) testing and feedback from field devices. Approaches based on Machine Learning, model based testing and search based test generation will be employed. Techniques to prioritize and schedule testing to maximize efficacy of the testing process and to minimize security threats will also be developed. COSMOS will leverage existing prototype technologies developed by the partners supporting enhancing them throughout the project.The COSMOS CPS pipelines will be validated against 5 use cases provided by industrial partners representing healthcare, avionics, automotive, utility and railway sectors. These will act as reference use cases when promoting the technology amongst Open Source and standardization communities. For the former a specific community building activity will be performed to stimulate engagement with Open Source; for the latter, the standards experience of the coordinator and partners will be employed to promote COSMOS technologies within heavily regulated sectors where there is an increasing need for well-defined software V&V solutions.
EuroVoc IDs: /natural sciences/computer and information sciences/software
EU Programme: Horizon 2020
EU Project
Project publications:
| EU Project | Has Title | Has Category | Has Type | Has Year | Has DOI |
|---|---|---|---|---|---|
| COSMOS | SBFT Tool Competition 2024 - Python Test Case Generation Track | Software Engineering, Testing, and DevOps | Conference proceedings | 2024 | https://doi.org/10.5281/zenodo.10554259 |
| COSMOS | An empirical characterization of software bugs in open-source Cyber Physical Systems | Software Engineering, Testing, and DevOps | Peer reviewed articles | 2022 | https://doi.org/10.1016/j.jss.2022.111425 |
| COSMOS | Test smells 20 years later: detectability, validity, and reliability | Software Engineering, Testing, and DevOps | Peer reviewed articles | 2022 | https://doi.org/10.1007/s10664-022-10207-5 |
| COSMOS | Metamorphic Testing for Web System Security | Software Engineering, Testing, and DevOps | Peer reviewed articles | 2023 | https://doi.org/10.1109/tse.2023.3256322 |
| COSMOS | Generating Class-Level Integration Tests Using Call Site Information | Software Engineering, Testing, and DevOps | Peer reviewed articles | 2022 | https://doi.org/10.1109/tse.2022.3209625 |
| COSMOS | Systematic Evaluation of Deep Learning Models for Failure Prediction | Software Engineering, Testing, and DevOps | Peer reviewed articles | 2024 | https://doi.org/10.48550/arxiv.2303.07230 |
| COSMOS | Basic block coverage for unit test generation at the SBST 2022 tool competition | Software Engineering, Testing, and DevOps | Conference proceedings | 2022 | https://doi.org/10.1145/3526072.3527528 |
| COSMOS | Simulation-based Test Case Generation for Unmanned Aerial Vehicles in the Neighborhood of Real Flights | Software Engineering, Testing, and DevOps | Conference proceedings | 2022 | https://doi.org/10.1109/icst57152.2023.00034 |
| COSMOS | Cost-effective Simulation-based Test Selection in Self-driving Cars Software with SDC-Scissor | Software Engineering, Testing, and DevOps | Conference proceedings | 2022 | https://doi.org/10.1109/saner53432.2022.00030 |
| COSMOS | Hybrid Multi-level Crossover for Unit Test Case Generation | Software Engineering, Testing, and DevOps | Conference proceedings | 2021 | https://doi.org/10.48550/arxiv.2108.05466 |
| COSMOS | An Empirical Investigation of Relevant Changes and Automation Needs in Modern Code Review | Software Engineering, Testing, and DevOps | Conference proceedings | 2021 | https://doi.org/10.1007/s10664-020-09870-3 |
| COSMOS | CI/CD Pipelines Evolution and Restructuring: A Qualitative and Quantitative Study | Software Engineering, Testing, and DevOps | Conference proceedings | 2021 | https://doi.org/10.1109/icsme52107.2021.00048 |
| COSMOS | Summary of Search-based Crash Reproduction using Behavioral Model Seeding | Software Engineering, Testing, and DevOps | Conference proceedings | 2021 | https://doi.org/10.1109/icst49551.2021.00039 |
| COSMOS | Towards Log Slicing | Software Engineering, Testing, and DevOps | Conference proceedings | 2023 | https://doi.org/10.1007/978-3-031-30826-0 14 |
| COSMOS | Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems | Software Engineering, Testing, and DevOps | Peer reviewed articles | 2023 | https://doi.org/10.1109/icse48619.2023.00155 |
| COSMOS | A decade of code comment quality assessment: A systematic literature review | Software Engineering, Testing, and DevOps | Peer reviewed articles | 2023 | https://doi.org/10.1016/j.jss.2022.111515 |
| COSMOS | Single and Multi-objective Test Cases Prioritization for Self-driving Cars in Virtual Environments | Software Engineering, Testing, and DevOps | Peer reviewed articles | 2022 | https://doi.org/10.1145/3533818 |
| COSMOS | Basic block coverage for search-based unit testing and crash reproduction | Software Engineering, Testing, and DevOps | Peer reviewed articles | 2022 | https://doi.org/10.1007/s10664-022-10155-0 |
| COSMOS | Machine learning-based test selection for simulation-based testing of self-driving cars software | Software Engineering, Testing, and DevOps | Peer reviewed articles | 2023 | https://doi.org/10.1007/s10664-023-10286-y |
| COSMOS | Diversity-guided Search Exploration for Self-driving Cars Test Generation through Frenet Space Encoding | Software Engineering, Testing, and DevOps | Conference proceedings | 2024 | https://doi.org/10.48550/arxiv.2401.14682 |
| COSMOS | Automated Identification and Qualitative Characterization of Safety Concerns Reported in UAV Software Platforms | Software Engineering, Testing, and DevOps | Peer reviewed articles | 2023 | https://doi.org/10.1145/3564821 |