We have proposed (1) an embedded microservice-based architecture for DevOps in the context of CPSoS, which is clearly novel. We have proposed novel test case and oracle generation techniques, in addition to uncertainty detection microservices. For instance, in the context of test oracles, we have developed the semantics required for the definition of test oracles in the context of CPSoS, which have many particularities with respect to general purpose software (e.g. need to deal with uncertainty, signal-based testing, etc.). We have experimented with these types of oracles in the context of industrial case studies, showing their applicability in at least an industrial use-case, using mutation testing. The published papers are the first ones on having the application of both metamorphic testing and machine-learning based testing techniques in a CPSs by using a real industrial case study. The expected results until the end of the project are (1) adaption of these techniques to work at run-time in operation and (2) a more through evaluation with the project use-cases. The foreseen socio-economic impacts include (1) a reduction in the test execution cost by means of using further automation, (2) an increase in the number of detected bugs and (3) a reduction in the number of false positives and negatives based on test oracles. We have also proposed novel mechanisms for deploying new software releases, monitoring it and recovering the CPS if the new software release fails. This has been widely investigated in the context of web-engineering, but the works posed in the context of CPSoS have not been covered yet in the SOTA. This will permit speeding up the recomissioning process, significantly reducing software development costs.
