You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact

VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps



Andrey Sadovykh , Gunnar Widforss, Dragos Truscan , Eduard Paul Enoiu, Wissam Mallouli , Rosa Iglesias , Alessandra Bagnato , Olga Hendel

Publication Type:

Conference/Workshop Paper


Design, Automation and Test in Europe Conference




Current software development practices are increasingly based on using both COTS and legacy components which make such systems prone to security vulnerabilities. The modern practice addressing ever changing conditions, DevOps, promotes frequent software deliveries, however, verification methods artifacts should be updated in a timely fashion to cope with the pace of the process. VeriDevOps, Horizon 2020 project, aims at providing a faster feedback loop for verifying the security requirements and other quality attributes of large scale cyber- physical systems. VeriDevOps focuses on optimizing the security verification activities, by automatically creating verifiable models directly from security requirements, and using these models to check security properties on design models and then generate artefacts such as, tests or monitors that can be used later in the DevOps process. The main drivers for these advances are: Natural Language Processing, a combined formal verification and model-based testing approach, and machine-learning-based security monitors. VeriDevOps is in its initial stage - the project started on 1.10.2020 and it will run for three years. In this paper we will present the major conceptual ideas behind the project approach as well as the organizational settings.


author = {Andrey Sadovykh and Gunnar Widforss and Dragos Truscan and Eduard Paul Enoiu and Wissam Mallouli and Rosa Iglesias and Alessandra Bagnato and Olga Hendel},
title = {VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps},
month = {December},
year = {2020},
booktitle = {Design, Automation and Test in Europe Conference},
url = {}