Text

Automated Protection and Prevention to Meet Security Requirements in DevOps Environments.

VeriDevOps

VeriDevOps

Automated Protection and Prevention to Meet Security Requirements in DevOps Environments

About

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.

Read more

What are the case studies about?

They are specifically selected to demonstrate addressing security and safety in systems integrating both software and hardware.

VeriDevOps will develop methods that target these challenges by bringing trade-off analysis in energy-aware security verification using formal models that can be used in the execution of test cases earlier in the development process by verification and test generation.

In VeriDevOps we are shortening the development, deployment, and feedback loops by using formal verification and test generation to identify security vulnerabilities in system models early in the development process. We use statistical model checking to ensure the correctness of the system against given formal security properties with a specified degree of confidence.

VeriDevOps concentrates on rapid changes of security requirements by leveraging formal specifications for automated re-configuration of prevention and protection mechanisms.

Formal specifications in VeriDevOps are the source for automation in dealing with security at operations and development, thus they are the means for further DevOps integration.

Formal specifications in VeriDevOps are the source for automation in dealing with security at operations and development, thus they are the means for further DevOps integration.

Our partners


Organized and Efficient

The VeriDevOps project will develop technologies for a smooth and automatic workflow allowing verification of security in VeriDevOps environments.

Flexible and Committed

VeriDevOps brings together European industrial and academic communities to develop and demonstrate
VeriDevOps technologies ranging from processes, methodologies to tools and demonstrators.

Creative & Resourceful

VeriDevOps expects to be able to present a substantial contribution to achieving what we believe are the underlying benefits with regards to the EC targets.

Subscribe to our newsletter



To top