COSMOS – DevOps for Complex Cyber-physical Systems of Systems

At a glance

Project leader : Dr. Sebastiano Panichella
Project team : Bruno ALMEIDA, Dr. Domenico BIANCULLI, Prof. Lionel BRIAND, Christian Birchler, Davide DE PASQUALE, Prof. Massimiliano DI PENTA, Christopher Drexler, Thomas Graf, James HUNT, Scott Hansen, Pedro MALÓ, David Malgiaritta, Sajad Mazraeh Khatiri, Petr Novobílský, Dr. Annibale Panichella, Dr. Fabrizio Pastore, Oliver Remus, Dr. Carolin Rubner, Dr. Marcela Ruiz, José António SALVADO NEVES, Prof. Jürgen Spielberger, Dr. Andreas ULRICH, Prof. Andy ZAIDMAN
Project status : completed
Funding partner : EU and other international programmes (Horizon 2020 / Projekt Nr. 957254)
Contact person : Sebastiano Panichella

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.

Further information

Publications

Khatiri, Sajad; Di Sorbo, Andrea; Zampetti, Fiorella; Visaggio, Corrado A.; Di Penta, Massimiliano; Panichella, Sebastiano,

2024.

Identifying safety–critical concerns in unmanned aerial vehicle software platforms with SALIENT.

SoftwareX.

2024(27), pp. 101748.

Available from: https://doi.org/10.1016/j.softx.2024.101748
Blattner, Timo; Birchler, Christian; Kehrer, Timo; Panichella, Sebastiano,

2024.

Diversity-guided search exploration for self-driving cars test generation through Frenet space encoding [paper].

In:

Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing.

17th International Workshop on Search-Based and Fuzz Testing (SBFT), Lisbon, Portugal, 14-20 April 2024.

Association for Computing Machinery.

pp. 9-12.

Available from: https://doi.org/10.1145/3643659.3643926
Birchler, Christian; Kombarabettu Mohammed, Tanzil; Rani, Pooja; Nechita, Teodora; Kehrer, Timo; Panichella, Sebastiano,

2024.

How does simulation-based testing for self-driving cars match human perception? [paper].

In:

Proceedings of the ACM on Software Engineering.

ACM International Conference on the Foundations of Software Engineering (FSE), Porto de Galinhas, Brazil, 17-19 July 2024.

Association for Computing Machinery.

pp. 929-950.

Available from: https://doi.org/10.1145/3643768
Khatiri, Sajad; Saurabh, Prasun; Zimmermann, Timothy; Munasinghe, Charith; Birchler, Christian; Panichella, Sebastiano,

2024.

SBFT tool competition 2024 : CPS-UAV test case generation track [paper].

In:

Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing.

17th International Workshop on Search-Based and Fuzz Testing (SBFT), Lisbon, Portugal, 14-20 April 2024.

Association for Computing Machinery.

pp. 29-32.

Available from: https://doi.org/10.1145/3643659.3643931
Erni, Nicolas; Al-Ameen, Mohammed; Birchler, Christian; Derakhshanfar, Pouria; Lukasczyk, Stephan,

2024.

SBFT tool competition 2024 : Python test case generation track [paper].

In:

Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing.

17th International Workshop on Search-Based and Fuzz Testing (SBFT), Lisbon, Portugal, 14-20 April 2024.

Association for Computing Machinery.

pp. 37-40.

Available from: https://doi.org/10.1145/3643659.3643930
Birchler, Christian; Rohrbach, Cyrill; Kehrer, Timo; Panichella, Sebastiano,

2024.

SensoDat : simulation-based sensor dataset of self-driving cars [paper].

In:

21st International Conference on Mining Software Repositories (MSR), Lisbon, Portugal, 15-16 April 2024.

ZHAW Zürcher Hochschule für Angewandte Wissenschaften.

Available from: https://doi.org/10.21256/zhaw-30117
Khatiri, Sajad; Panichella, Sebastiano; Tonella, Paolo,

2024.

Simulation-based testing of unmanned aerial vehicles with Aerialist [paper].

In:

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings.

46th IEEE/ACM International Conference on Software Engineering (ICSE), Lisbon, Portugal, 14-20 April 2024.

Association for Computing Machinery.

pp. 134-138.

Available from: https://doi.org/10.1145/3639478.3640031
Birchler, Christian; Khatiri, Sajad; Bosshard, Bill; Gambi, Alessio; Panichella, Sebastiano,

2023.

Machine learning-based test selection for simulation-based testing of self-driving cars software.

Empirical Software Engineering.

28(71).

Available from: https://doi.org/10.1007/s10664-023-10286-y
Rani, Pooja; Blasi, Arianna; Stulova, Nataliia; Panichella, Sebastiano; Gorla, Alessandra; Nierstrasz, Oscar,

2023.

A decade of code comment quality assessment : a systematic literature review.

Journal of Systems and Software.

195(111515).

Available from: https://doi.org/10.1016/j.jss.2022.111515
Birchler, Christian; Ganz, Nicolas; Khatiri, Sajad; Gambi, Alessio; Panichella, Sebastiano,

2023.

Cost-effective simulation-based test selection in self-driving cars software.

Science of Computer Programming.

226(102926).

Available from: https://doi.org/10.1016/j.scico.2023.102926
Guizzo, Giovani; Panichella, Sebastiano,

2023.

Fuzzing vs SBST : intersections & differences [paper].

In:

15th International Workshop on Search-Based Software Testing (SBST), Pittsburgh, USA, 9 May 2022.

Association for Computing Machinery.

pp. 105-107.

Available from: https://doi.org/10.1145/3573074.3573102
Khatiri, Sajad; Panichella, Sebastiano; Tonella, Paolo,

2023.

Simulation-based test case generation for unmanned aerial vehicles in the neighborhood of real flights [paper].

In:

16th IEEE International Conference on Software Testing, Verification and Validation (ICST), Dublin, Ireland, 16-20 April 2023.

ZHAW Zürcher Hochschule für Angewandte Wissenschaften.

Available from: https://doi.org/10.21256/zhaw-26597
Di Sorbo, Andrea; Panichella, Sebastiano,

2023.

Summary of the 1st Natural Language-based Software Engineering Workshop (NLBSE 2022) [paper].

In:

1st International Workshop on Natural Language-Based Software Engineering (NLBSE), Pittsburgh, USA (online), 8 May 2022.

Association for Computing Machinery.

pp. 101-104.

Available from: https://doi.org/10.1145/3573074.3573101
Panichella, Sebastiano; Di Sorbo, Andrea,

2023.

Summary of the 2nd Natural Language-based Software Engineering Workshop (NLBSE 2023) [paper].

In:

2nd International Workshop on Natural Language-Based Software Engineering (NLBSE), Melbourne, Australia, 20 May 2023.

Association for Computing Machinery.

pp. 60-63.

Available from: https://doi.org/10.1145/3617946.3617957
Birchler, Christian; Rohrbach, Cyrill; Kim, Hyeongkyun; Gambi, Alessio; Liu, Tianhai; Horneber, Jens; Kehrer, Timo; Panichella, Sebastiano,

2023.

TEASER : simulation-based CAN bus regression testing for self-driving cars software [paper].

In:

2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE).

38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Kirchberg, Luxembourg, 11-15 September 2023.

IEEE.

pp. 2058-2061.

Available from: https://doi.org/10.1109/ASE56229.2023.00154
Birchler, Christian; Khatiri, Sajad; Bosshard, Bill; Gambi, Alessio; Panichella, Sebastiano,

2022.

Machine learning-based test selection for simulation-based testing of self-driving cars software.

arXiv.

Available from: https://doi.org/10.48550/arXiv.2212.04769
Zampetti, Fiorella; Kapur, Ritu; Di Penta, Massimiliano; Panichella, Sebastiano,

2022.

An empirical characterization of software bugs in open-source Cyber–Physical Systems.

Journal of Systems and Software.

192(111425).

Available from: https://doi.org/10.1016/j.jss.2022.111425
Di Sorbo, Andrea; Zampetti, Fiorella; Visaggio, Corrado A.; Di Penta, Massimiliano; Panichella, Sebastiano,

2022.

Automated identification and qualitative characterization of safety concerns reported in UAV software platforms.

ACM Transactions on Software Engineering and Methodology.

32(3), pp. 67.

Available from: https://doi.org/10.1145/3564821
Zampetti, Fiorella; Tamburri, Damian A.; Panichella, Sebastiano; Panichella, Annibale; Canfora, Gerardo; Penta, Massimiliano Di,

2022.

Continuous integration and delivery practices for cyber-physical systems : an interview-based study.

ACM Transactions on Software Engineering and Methodology.

32(3), pp. 73.

Available from: https://doi.org/10.1145/3571854
Birchler, Christian; Ganz, Nicolas; Khatiri, Sajad; Gambi, Alessio; Panichella, Sebastiano,

2022.

Cost-effective simulation-based test selection in self-driving cars software with SDC-Scissor [paper].

In:

2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER).

29th IEEE International Conference on Software Analysis, Evolution, and Reengineering, Honolulu, USA (online), 15-18 March 2022.

IEEE.

pp. 164-168.

Available from: https://doi.org/10.1109/SANER53432.2022.00030
Devroey, Xavier; Gambi, Alessio; Galeotti, Juan Pablo; Just, René; Kifetew, Fitsum; Panichella, Annibale; Panichella, Sebastiano,

2022.

JUGE : an infrastructure for benchmarking Java unit test generators.

Software Testing, Verification and Reliability.

33(3), pp. e1838.

Available from: https://doi.org/10.1002/stvr.1838
Kallis, Rafael; Chaparro, Oscar; Di Sorbo, Andrea; Panichella, Sebastiano,

2022.

NLBSE’22 tool competition [paper].

In:

2022 IEEE/ACM 1st International Workshop on Natural Language-Based Software Engineering (NLBSE).

1st International Workshop on Natural Language-Based Software Engineering (NLBSE), Pittsburgh, USA (online), 8 May 2022.

IEEE.

pp. 25-28.

Available from: https://doi.org/10.1145/3528588.3528664
Birchler, Christian; Khatiri, Sajad; Derakhshanfar, Pouria; Panichella, Sebastiano; Panichella, Annibale,

2022.

Single and multi-objective test cases prioritization for self-driving cars in virtual environments.

ACM Transactions on Software Engineering and Methodology.

37(4), pp. 111.

Available from: https://doi.org/10.1145/3533818
Panichella, Annibale; Panichella, Sebastiano; Fraser, Gordon; Sawant, Anand; Hellendoorn, Vincent,

2022.

Test smells 20 years later : detectability, validity, and reliability.

Empirical Software Engineering.

27(7), pp. 170.

Available from: https://doi.org/10.1007/s10664-022-10207-5
Rani, Pooja; Panichella, Sebastiano; Leuenberger, Manuel; Di Sorbo, Andrea; Nierstrasz, Oscar,

2021.

How to identify class comment types? : a multi-language approach for class comment classification.

Journal of Systems and Software.

181(111047).

Available from: https://doi.org/10.1016/j.jss.2021.111047
Di Sorbo, Andrea; Visaggio, Corrado A.; Di Penta, Massimiliano; Canfora, Gerardo; Panichella, Sebastiano,

2021.

An NLP-based tool for software artifacts analysis [paper].

In:

37th International Conference on Software Maintenance and Evolution (ICSME), Luxembourg, 27 September - 1 October 2021.

Winterthur:

ZHAW Zürcher Hochschule für Angewandte Wissenschaften.

Available from: https://doi.org/10.21256/zhaw-23363
Panichella, Sebastiano; Gambi, Alessio; Zampetti, Fiorella; Riccio, Vincenzo,

2021.

SBST tool competition 2021 [paper].

In:

2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST).

14th International Workshop on Search-Based Software Testing (SBST), Madrid, Spain, 31 May 2021.

IEEE.

pp. 20-27.

Available from: https://doi.org/10.1109/SBST52555.2021.00011
Zampetti, Fiorella; Mudbhari, Saghan; Arnaoudova, Venera; Di Penta, Massimiliano; Panichella, Sebastiano; Antoniol, Giuliano,

2021.

Using code reviews to automatically configure static analysis tools.

Empirical Software Engineering.

27(1), pp. 28.

Available from: https://doi.org/10.1007/s10664-021-10076-4
Panichella, Sebastiano; Canfora, Gerardo; Di Sorbo, Andrea,

2021.

“Won’t we fix this issue?” : qualitative characterization and automated identification of wontfix issues on GitHub.

Information and Software Technology.

139(106665).

Available from: https://doi.org/10.1016/j.infsof.2021.106665
Roy, Devjeet; Zhang, Ziyi; Ma, Maggie; Arnaoudova, Venera; Panichella, Annibale; Panichella, Sebastiano; Gonzalez, Danielle; Mirakhorli, Mehdi,

2020.

DeepTC-Enhancer : improving the readability of automatically generated tests [paper].

In:

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering.

35th IEEE/ACM International Conference on Automated Software Engineering (ASE), Virtual Event, 21-25 September 2020.

Association for Computing Machinery.

pp. 287-298.

Available from: https://doi.org/10.1145/3324884.3416622
Kallis, Rafael; Di Sorbo, Andrea; Canfora, Gerardo; Panichella, Sebastiano,

2020.

Predicting issue types on GitHub.

Science of Computer Programming.

205(102598).

Available from: https://doi.org/10.1016/j.scico.2020.102598

go back