Contact Person
Gunnar Widforss

POBox 883

VeriDevOps is an ICT project funded by Horizon 2020; VeriDevOps brings together fast security verification through formal modelling and verification as well as test generation, selection, execution and analysis capabilities to enable companies to deliver quality systems with confidence in a fast-paced DevOps environment. VeriDevOps brings fast and cost-effective security formal verification and test automation thus significantly improving the DevOps processes. Overall, VeriDevOps is using the results of formal verification of security requirements for test and monitor generation to be used to enhance the feedback mechanisms during development and operation phases.

VeriDevOps focuses on addressing the challenges of automation of verification methods and intelligent monitoring for prevention and protection of modern complex industrial systems. The innovation will be enabled by leveraging formal specifications of security requirements automatically generated using Natural Language Processing and pattern-based approaches. The goal is to provide a way of preventing inconsistencies from propagating into operations and identifying the faults that could be introduced in the requirements

The project consortium consists of Mälardalen University (coordinator) and ABB AB (Sweden); SOFTEAM and Montimage EURL (France); Åbo Akademi (Finland); IKERLAN S. COOP and Fagor Arrasate S COOP (Spain)