Project description
A new pipeline for software development
Big industry, small enterprises and academics will team up to develop enhanced DevOps pipelines for the development of cyber-physical systems software. The EU-funded COSMOS project will integrate more sophisticated validation and verification, which will comprise 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. The project will also use machine learning, model-based testing and search-based test generation.
Fields of science
Programme(s)
Topic(s)
Funding Scheme
RIA - Research and Innovation actionCoordinator
RG1 1AX Reading
United Kingdom
See on map
Participants (11)
8401 Winterthur
See on map
2628 CN Delft
See on map
4365 Esch-sur-alzette
See on map
82100 Benevento
See on map
80333 Munchen
See on map
82100 Benevento
See on map
The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.
76131 Karlsruhe
See on map
The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.
1990 392 Lisboa
See on map
108 00 Praha
See on map
91052 Erlangen
See on map
8500-794 Portimao
See on map
The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.