COSMOS – DevOps for Complex Cyber-physical Systems of Systems
At a glance
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.
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.
Available from: https://doi.org/10.1109/SANER53432.2022.00030
Rani, Pooja; Panichella, Sebastiano; Leuenberger, Manuel; Di Sorbo, Andrea; Nierstrasz, Oscar,
Journal of Systems and Software.
Available from: https://doi.org/10.1016/j.jss.2021.111047
Di Sorbo, Andrea; Visaggio, Corrado A.; Di Penta, Massimiliano; Canfora, Gerardo; Panichella, Sebastiano,
37th International Conference on Software Maintenance and Evolution (ICSME), Luxembourg, 27 September - 1 October 2021.
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,
SBST tool competition 2021 [paper].
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.
Available from: https://doi.org/10.1109/SBST52555.2021.00011
Zampetti, Fiorella; Mudbhari, Saghan; Arnaoudova, Venera; Di Penta, Massimiliano; Panichella, Sebastiano; Antoniol, Giuliano,
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,
Information and Software Technology.
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,
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.
Available from: https://doi.org/10.1145/3324884.3416622
Kallis, Rafael; Di Sorbo, Andrea; Canfora, Gerardo; Panichella, Sebastiano,
Science of Computer Programming.
Available from: https://doi.org/10.1016/j.scico.2020.102598