Automated Protection and Prevention to Meet Security Requirements in DevOps Environments
Project technical manager Dr. Andrey Sadovykh demonstrates the current challenges and motivation in agile software development, continuous delivery (CD) pipelines, and DevOps practices. You will hear the voice from the industry about why we need to address this topic. The concept, mission, and project plan are introduced in this video.
Click the video to get an overview of VeriDevOps projects
Based on the user cases 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.
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.
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.